Sort Order Display Format Items / Page  
  Click the serial number on the left to view the details of the item.
 #  AuthorTitleAccn#YearItem Type Claims
1 Aguirre, Anthony Undecidability, Uncomputability, and Unpredictability I11665 2021 eBook  
2 Nigel Cutland Computability: An introduction to recursive function theory 002626 1980 Book  
(page:1 / 1) [#2]     

No image available
TitleUndecidability, Uncomputability, and Unpredictability
Author(s)Aguirre, Anthony;Merali, Zeeya;Sloan, David
PublicationCham, Springer International Publishing, 2021.
DescriptionVIII, 180 p. 27 illus., 17 illus. in color : online resource
Abstract NoteFor a brief time in history, it was possible to imagine that a sufficiently advanced intellect could, given sufficient time and resources, in principle understand how to mathematically prove everything that was true. They could discern what math corresponds to physical laws, and use those laws to predict anything that happens before it happens. That time has passed. G??del???s undecidability results (the incompleteness theorems), Turing???s proof of non-computable values, the formulation of quantum theory, chaos, and other developments over the past century have shown that there are rigorous arguments limiting what we can prove, compute, and predict. While some connections between these results have come to light, many remain obscure, and the implications are unclear. Are there, for example, real consequences for physics ??? including quantum mechanics ??? of undecidability and non-computability? Are there implications for our understanding of the relations between agency, intelligence, mind, and the physical world? This book, based on the winning essays from the annual FQXi competition, contains ten explorations of Undecidability, Uncomputability, and Unpredictability. The contributions abound with connections, implications, and speculations while undertaking rigorous but bold and open-minded investigation of the meaning of these constraints for the physical world, and for us as humans
Keyword(s)1. Computability and Recursion Theory 2. COMPUTABLE FUNCTIONS 3. EBOOK 4. EBOOK - SPRINGER 5. Foundations of Physics and Cosmology 6. MATHEMATICAL PHYSICS 7. PHILOSOPHY OF SCIENCE 8. PROBABILITIES 9. PROBABILITY THEORY 10. RECURSION THEORY 11. SCIENCE 12. Science???Philosophy 13. Theoretical, Mathematical and Computational Physics
Item TypeeBook
Multi-Media Links
Please Click here for eBook
Circulation Data
Accession#  Call#StatusIssued ToReturn Due On Physical Location
I11665     On Shelf    

No image available
TitleComputability: An introduction to recursive function theory
Author(s)Nigel Cutland
PublicationCambridge, Cambridge University Press, 1980.
Item TypeBook

Circulation Data
Accession#  Call#StatusIssued ToReturn Due On Physical Location
002626   510.57/CUT/002626  On Shelf    

+Copy Specific Information
(page:1 / 1) [#2]