000 06621cam a2200685Ia 4500
001 ocn817536625
003 OCoLC
005 20220711183818.0
006 m o d
007 cr mn|||||||||
008 121113t20132013si a ob 000 0 eng d
040 _aHKP
_beng
_epn
_cHKP
_dOCLCO
_dYDXCP
_dGPM
_dMHW
_dE7B
_dCDX
_dN$T
_dDEBSZ
_dSTF
_dIDEBK
_dOCLCQ
_dOCLCF
_dOCLCQ
_dGZM
_dAGLDB
_dVGM
_dOCLCQ
_dVTS
_dM8D
_dVLY
_dOCLCO
019 _a1086430148
_a1162393070
_a1241945015
_a1300587291
020 _a9789814374309
_q(electronic bk.)
020 _a981437430X
_q(electronic bk.)
020 _z9814374296
_q(print)
020 _z9789814374293
_q(print)
020 _a1283850710
020 _a9781283850711
029 1 _aAU@
_b000054190844
029 1 _aDEBBG
_bBV043117434
029 1 _aDEBSZ
_b379331004
029 1 _aDEBSZ
_b421306939
029 1 _aDEBSZ
_b454997841
035 _a(OCoLC)817536625
_z(OCoLC)1086430148
_z(OCoLC)1162393070
_z(OCoLC)1241945015
_z(OCoLC)1300587291
050 4 _aQA267.7
_b.C6455 2013eb
072 7 _aMAT
_x016000
_2bisacsh
072 7 _aMAT
_x018000
_2bisacsh
082 0 4 _a511.3
_223
049 _aMAIN
245 0 2 _aA computable universe :
_bunderstanding and exploring nature as computation /
_ceditor, Hector Zenil ; foreword by Roger Penrose.
264 1 _aSingapore :
_bWorld Scientific,
_c[2013]
264 4 _c©2013
300 _a1 online resource (xliv, 810 pages) :
_billustrations
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
504 _aIncludes bibliographical references and index.
520 _aThis volume, with a foreword by Sir Roger Penrose, discusses the foundations of computation in relation to nature. It focuses on two main questions: What is computation? How does nature compute?The contributors are world-renowned experts who have helped shape a cutting-edge computational understanding of the universe. They discuss computation in the world from a variety of perspectives, ranging from foundational concepts to pragmatic models to ontological conceptions and philosophical implications. The volume provides a state-of-the-art collection of technical papers and non-technical essays, representing a field that assumes information and computation to be key in understanding and explaining the basic structure underpinning physical reality. It also includes a new edition of Konrad Zuse's “Calculating Space” (the MIT translation), and a panel discussion transcription on the topic, featuring worldwide experts in quantum mechanics, physics, cognition, computation and algorithmic complexity. The volume is dedicated to the memory of Alan M Turing — the inventor of universal computation, on the 100th anniversary of his birth, and is part of the Turing Centenary celebrations.
505 0 _a1. Introducing the computable universe / H. Zenil -- 2. Origins of digital computing: Alan Turing, Charles Babbage, & Ada Lovelace / D. Swade -- 3. Generating, solving and the mathematics of Homo sapiens. E. Post's views on computation / L. De Mol -- 4. Machines / R. Turner -- 5. Effectiveness / N. Dershowitz & E. Falkovich -- 6. Axions for computability: do they allow a proof of Church's thesis / W. Sieg -- 7. The mathematician's bias -- and the return to embodied computation / S.B. Cooper -- 8. Intuitionistic mathematics and realizability in the physical world / A. Baver -- 9. What is computation? Actor model versus Turing's model / C. Hewitt -- 10. Reaction systems: a natural computing approach to the functioning of living cells / A. Ehrenfeucht [and others] -- 11. Bacteria, Turing machines and hyperbolic cellular automata / M. Margenstern -- 12. Computation and communication in unorganized systems / C. Teuscher -- 13. The many forms of amorphous computational systems / J. Wiedermann -- 14. Computing on rings / G.J. Martinez, A. Adamatzky & H.V. McIntosh -- 15. Life as evolving software / G.J. Chaitin -- 16. Computability and algorithmic complexity in economics / K.V. Velupillai & S. Zambelli -- 17. Blueprint for a hypercomputer / F.A. Doria -- 18. Information-theoretic teleodynamics in natural and artificial systems / A.F. Beavers & C.D. Harrison -- 19. Discrete theoretical processes (DTP) / E. Fredkin -- 20. The fastest way of computing all universes / J. Schmidhuber -- 21. The subjective computable universe / M. Hutter -- 22. What is ultimately possible in physics / S. Wolfram -- 23. University, Turing incompleteness and observers / K. Sutner -- 24. Algorithmic causal sets for a computational spacetime / T. Bolognesi -- 25. The computable universe hypothesis / M.P. Szudzik -- 26. The universe is lawless or "panton chrematon metron anthropon einai" / C.S. Calude, F.W. Meyerstein & A. Salomaa -- 27. Is feasibility in physics limited by fantasy alone? / C.S. Calude & K. Svozil -- 28. What is computation? (How) does nature compute? / D. Deutsch -- 29. The universe as quantum computer / S. Lloyd -- 30. Quantum speedup and temporal inequalities for sequential actions / M. Zukowski -- 31. The contextual computer / A. Cabello -- 32. A Godel-Turing perspective on quantum states indistinguishable from inside / T. Breuer -- 33. When humans do compute quantum / P. Zizzi -- 34. Open discussion on a computable universe / A. Bauer [and others] -- 35. What is computation? (How) does nature compute? / C.S. Calude [and others] -- 36. Calculating space (Rechnender Raum) / K. Zuse -- Afterword to Konrad Zuse's Calculating Space / A. German & H. Zenil.
546 _aEnglish.
590 _aeBooks on EBSCOhost
_bEBSCO eBook Subscription Academic Collection - Worldwide
650 0 _aComputational complexity.
_972785
650 6 _aComplexité de calcul (Informatique)
_9868997
650 7 _aMATHEMATICS
_xInfinity.
_2bisacsh
650 7 _aMATHEMATICS
_xLogic.
_2bisacsh
650 7 _aComputational complexity.
_2fast
_0(OCoLC)fst00871991
_972785
655 0 _aElectronic books.
655 4 _aElectronic books.
700 1 _aZenil, Hector.
_9277532
700 1 _aPenrose, Roger.
_964754
776 0 8 _iPrint version:
_tComputable universe.
_dSingapore ; Hackensack, NJ : World Scientific, ©2013
_z9789814374293
_w(DLC) 2012554867
_w(OCoLC)758387132
856 4 0 _uhttps://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=504173
938 _aCoutts Information Services
_bCOUT
_n24343067
938 _aebrary
_bEBRY
_nebr10627494
938 _aEBSCOhost
_bEBSC
_n504173
938 _aProQuest MyiLibrary Digital eBook Collection
_bIDEB
_ncis24343067
938 _aYBP Library Services
_bYANK
_n9930030
994 _a92
_bINOPJ
999 _c2742037
_d2742037