Switch to: References

Add citations

You must login to add citations.
  1. On Explaining Non-dynamically the Quantum Correlations Via Quantum Information Theory: What It Takes.Laura Felline & Mauro Dorato - 2018 - In Sven Ove Hansson, Technology and Mathematics: Philosophical and Historical Investigations. Cham, Switzerland: Springer Verlag.
    Within the current mainstream research in the foundations of physics, much attention has been turned to the program of Axiomatic Reconstruction of Quantum Theory in terms of Information-Theoretic principles (ARQIT). ARQIT aims at finding a few general information-theoretic principles from which, once translated into mathematical terms, one can formally derive the structure of quantum theory. This chapter explores the role of mechanistic explanations and mathematical explanations (in particular, structural explanations) within ARQIT. With such considerations as a point of departure, we (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Proof verification and proof discovery for relativity.Naveen Sundar Govindarajalulu, Selmer Bringsjord & Joshua Taylor - 2015 - Synthese 192 (7):2077-2094.
    The vision of machines autonomously carrying out substantive conjecture generation, theorem discovery, proof discovery, and proof verification in mathematics and the natural sciences has a long history that reaches back before the development of automatic systems designed for such processes. While there has been considerable progress in proof verification in the formal sciences, for instance the Mizar project’ and the four-color theorem, now machine verified, there has been scant such work carried out in the realm of the natural sciences—until recently. (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • A three-pronged simonesque approach to modeling and simulation in deviant “bi-pay” auctions, and beyond.Joe Johnson, Naveen Sundar Govindarajulu & Selmer Bringsjord - 2014 - Mind and Society 13 (1):59-82.
    In order to employ and exhibit our Simon-inspired approach to computational economics, and specifically defend our version of the view that even logically untrained humans are rational, albeit no more than “boundedly” so, we provide two models, both rooted in computational logic, of how it is that logically untrained humans perform in a seemingly irrational fashion in a particular “deviant” auction (the bi-pay auction).
    Download  
     
    Export citation  
     
    Bookmark