Borrow it
 Albert D. Cohen Management Library
 Architecture/Fine Arts Library
 Archives and Special Collections
 Bibliothèque AlfredMonnin (Université de SaintBoniface)
 Bill Larson Library (Grace Hospital)
 Carolyn Sifton  Helene Fuld Library (St. Boniface General Hospital)
 Concordia Hospital Library
 Donald W. Craik Engineering Library
 E.K. Williams Law Library
 EckhardtGramatté Music Library
 Elizabeth Dafoe Library
 Fr. H. Drake Library (St. Paul's College)
 J.W. Crane Memorial Library (Deer Lodge Centre)
 Libraries Annex (not open to the public; please see web page for details)
 Neil John Maclean Health Sciences Library
 Sciences and Technology Library
 Seven Oaks General Hospital Library
 Sister St. Odilon Library (Misericordia Health Centre)
 St. John's College Library
 Victoria General Hospital Library
 William R Newman Library (Agriculture)
The Resource A COMPUTABLE UNIVERSE : UNDERSTANDING AND EXPLORING NATURE AS COMPUTATION, (electronic resource)
A COMPUTABLE UNIVERSE : UNDERSTANDING AND EXPLORING NATURE AS COMPUTATION, (electronic resource)
Resource Information
The item A COMPUTABLE UNIVERSE : UNDERSTANDING AND EXPLORING NATURE AS COMPUTATION, (electronic resource) represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of Manitoba Libraries.This item is available to borrow from all library branches.
Resource Information
The item A COMPUTABLE UNIVERSE : UNDERSTANDING AND EXPLORING NATURE AS COMPUTATION, (electronic resource) represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of Manitoba Libraries.
This item is available to borrow from all library branches.
 Summary
 This 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 worldrenowned experts who have helped shape a cuttingedge 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 stateoftheart collection of technical papers and nontechnical essays, re
 Language
 eng
 Extent
 1 online resource (855 p.)
 Note
 Description based upon print version of record
 Contents

 Contents; Foreword R. Penrose; Preface; Acknowledgements; 1. Introducing the Computable Universe H. Zenil; 1. Understanding Computation & Exploring Nature as Computation; 1.1. What is computation? How does nature compute?; 2. The Algorithmic Approach; 2.1. Information and structure in living organisms; 3. Determinism from Quantum Mechanics?; 4. From String Theory to Bit String Theory; 4.1. An algorithmic approach to the problem of fine tuning; 4.2. Black holes as perfect data compressors; References; Historical, Philosophical & Foundational Aspects of Computation
 2. Origins of Digital Computing: Alan Turing, Charles Babbage, & Ada Lovelace D. Swade1. The Grand Narrative; 2. Automatic Computation; 3. From Calculation to Computation; 4. Computation as Systematic Method; 5. Formal Description; 6. Ada Lovelace; 7. Legacy of the 19th Century; 8. Turing, Inuence, and the Modern Era; References; 3. Generating, Solving and the Mathematics of Homo Sapiens. E. Post's Views on Computation L. De Mol; 1. Introduction; 2. Why Turing Rules; 3. Two Theses, Two Sides; 3.1. Post's thesis I: Generating sequences and limits of the computable
 3.2. Post's thesis II: Solvability and the realm of the computable3.3. \When the bubble of symbolic logic finally burst...""; 4. Some Afterthoughts; References; 4. Machines R. Turner; 1. Abstract Machines; 2. Specification and Implementation; 3. Complexity and Uniformity; 4. Extensional Implementation; 5. The Empirical Perspective; 6. Intensional Stance; References; 5. Effectiveness N. Dershowitz & E. Falkovich; 1. Introduction; 2. Discrete Algorithms; 3. States; 3.1. Abstract states; 3.2. Effective states; 3.3. Oracular states; 4. Transitions; 4.1. Effective transitions
 4.2. Classical algorithms5. Effectiveness; 5.1. Algorithms; 5.2. Effective algorithms; 5.3. Relatively effective algorithms; 6. Conclusion; References; 6. Axioms for Computability: Do They Allow a Proof of Church's Thesis? W. Sieg; Background; 1. Church Canons; 1.1. The thesis; 1.2. Semicircles; 1.3. Symbolic processes; 2. Computors; 2.1. Preliminary step; 2.2. Boundedness and locality; 2.3. Generalizations; 3. Axiomatics; 3.1. Patterns & local operations; 3.2. Axioms & a theorem; 4. Adequacy & Philosophical Errors; References; Postscriptum: Is There a Proof of Church's Thesis?; 1. A proof?
 2. Postulates?3. Improvements?; Wilfried Sieg; References; 7. The Mathematician's Bias  and the Return to Embodied Computation S. B. Cooper; 1. Computation Disembodied; 1.1. The Mathematician's bias; 2. The Mathematics of Embodiment?; 3. Emergent Natural Patterns; 4. The Mind as Mathematics?; 5. Embodiment Restored; References; 8. Intuitionistic Mathematics and Realizability in the Physical World A. Bauer; 1. Intuitionistic Understanding of Truth; 2. Synthetic Differential Geometry; 3. The Realizability Interpretation; 4. Realizability in the Real World; References
 9. What is Computation? Actor Model versus Turing's Model C. Hewitt
 Isbn
 9789814374293
 Label
 A COMPUTABLE UNIVERSE : UNDERSTANDING AND EXPLORING NATURE AS COMPUTATION
 Title
 A COMPUTABLE UNIVERSE
 Title remainder
 UNDERSTANDING AND EXPLORING NATURE AS COMPUTATION
 Title variation

 A COMPUTABLE UNIVERSE : UNDERSTANDING AND EXPLORING NATURE AS COMPUTATION
 COMPUTABLE UNIVERSE, A
 COMPUTABLE UNIVERSE, A: UNDERSTANDING AND EXPLORING NATURE AS COMPUTATION
 Computable Universe
 A Computable Universe
 Language
 eng
 Summary
 This 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 worldrenowned experts who have helped shape a cuttingedge 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 stateoftheart collection of technical papers and nontechnical essays, re
 Cataloging source
 AUPeEL
 http://library.link/vocab/creatorName
 Zenil, Hector
 Dewey number
 004.0151
 LC call number
 QA241
 Nature of contents
 dictionaries
 http://library.link/vocab/subjectName

 Computer science  Mathematics
 Computer science
 Number theory
 Label
 A COMPUTABLE UNIVERSE : UNDERSTANDING AND EXPLORING NATURE AS COMPUTATION, (electronic resource)
 Note
 Description based upon print version of record
 Contents

 Contents; Foreword R. Penrose; Preface; Acknowledgements; 1. Introducing the Computable Universe H. Zenil; 1. Understanding Computation & Exploring Nature as Computation; 1.1. What is computation? How does nature compute?; 2. The Algorithmic Approach; 2.1. Information and structure in living organisms; 3. Determinism from Quantum Mechanics?; 4. From String Theory to Bit String Theory; 4.1. An algorithmic approach to the problem of fine tuning; 4.2. Black holes as perfect data compressors; References; Historical, Philosophical & Foundational Aspects of Computation
 2. Origins of Digital Computing: Alan Turing, Charles Babbage, & Ada Lovelace D. Swade1. The Grand Narrative; 2. Automatic Computation; 3. From Calculation to Computation; 4. Computation as Systematic Method; 5. Formal Description; 6. Ada Lovelace; 7. Legacy of the 19th Century; 8. Turing, Inuence, and the Modern Era; References; 3. Generating, Solving and the Mathematics of Homo Sapiens. E. Post's Views on Computation L. De Mol; 1. Introduction; 2. Why Turing Rules; 3. Two Theses, Two Sides; 3.1. Post's thesis I: Generating sequences and limits of the computable
 3.2. Post's thesis II: Solvability and the realm of the computable3.3. \When the bubble of symbolic logic finally burst...""; 4. Some Afterthoughts; References; 4. Machines R. Turner; 1. Abstract Machines; 2. Specification and Implementation; 3. Complexity and Uniformity; 4. Extensional Implementation; 5. The Empirical Perspective; 6. Intensional Stance; References; 5. Effectiveness N. Dershowitz & E. Falkovich; 1. Introduction; 2. Discrete Algorithms; 3. States; 3.1. Abstract states; 3.2. Effective states; 3.3. Oracular states; 4. Transitions; 4.1. Effective transitions
 4.2. Classical algorithms5. Effectiveness; 5.1. Algorithms; 5.2. Effective algorithms; 5.3. Relatively effective algorithms; 6. Conclusion; References; 6. Axioms for Computability: Do They Allow a Proof of Church's Thesis? W. Sieg; Background; 1. Church Canons; 1.1. The thesis; 1.2. Semicircles; 1.3. Symbolic processes; 2. Computors; 2.1. Preliminary step; 2.2. Boundedness and locality; 2.3. Generalizations; 3. Axiomatics; 3.1. Patterns & local operations; 3.2. Axioms & a theorem; 4. Adequacy & Philosophical Errors; References; Postscriptum: Is There a Proof of Church's Thesis?; 1. A proof?
 2. Postulates?3. Improvements?; Wilfried Sieg; References; 7. The Mathematician's Bias  and the Return to Embodied Computation S. B. Cooper; 1. Computation Disembodied; 1.1. The Mathematician's bias; 2. The Mathematics of Embodiment?; 3. Emergent Natural Patterns; 4. The Mind as Mathematics?; 5. Embodiment Restored; References; 8. Intuitionistic Mathematics and Realizability in the Physical World A. Bauer; 1. Intuitionistic Understanding of Truth; 2. Synthetic Differential Geometry; 3. The Realizability Interpretation; 4. Realizability in the Real World; References
 9. What is Computation? Actor Model versus Turing's Model C. Hewitt
 Dimensions
 unknown
 Extent
 1 online resource (855 p.)
 Form of item
 electronic
 Isbn
 9789814374293
 Specific material designation
 remote
 System control number

 (CKB)3400000000087213
 (EBL)1080969
 (OCoLC)817536625
 Label
 A COMPUTABLE UNIVERSE : UNDERSTANDING AND EXPLORING NATURE AS COMPUTATION, (electronic resource)
 Note
 Description based upon print version of record
 Contents

 Contents; Foreword R. Penrose; Preface; Acknowledgements; 1. Introducing the Computable Universe H. Zenil; 1. Understanding Computation & Exploring Nature as Computation; 1.1. What is computation? How does nature compute?; 2. The Algorithmic Approach; 2.1. Information and structure in living organisms; 3. Determinism from Quantum Mechanics?; 4. From String Theory to Bit String Theory; 4.1. An algorithmic approach to the problem of fine tuning; 4.2. Black holes as perfect data compressors; References; Historical, Philosophical & Foundational Aspects of Computation
 2. Origins of Digital Computing: Alan Turing, Charles Babbage, & Ada Lovelace D. Swade1. The Grand Narrative; 2. Automatic Computation; 3. From Calculation to Computation; 4. Computation as Systematic Method; 5. Formal Description; 6. Ada Lovelace; 7. Legacy of the 19th Century; 8. Turing, Inuence, and the Modern Era; References; 3. Generating, Solving and the Mathematics of Homo Sapiens. E. Post's Views on Computation L. De Mol; 1. Introduction; 2. Why Turing Rules; 3. Two Theses, Two Sides; 3.1. Post's thesis I: Generating sequences and limits of the computable
 3.2. Post's thesis II: Solvability and the realm of the computable3.3. \When the bubble of symbolic logic finally burst...""; 4. Some Afterthoughts; References; 4. Machines R. Turner; 1. Abstract Machines; 2. Specification and Implementation; 3. Complexity and Uniformity; 4. Extensional Implementation; 5. The Empirical Perspective; 6. Intensional Stance; References; 5. Effectiveness N. Dershowitz & E. Falkovich; 1. Introduction; 2. Discrete Algorithms; 3. States; 3.1. Abstract states; 3.2. Effective states; 3.3. Oracular states; 4. Transitions; 4.1. Effective transitions
 4.2. Classical algorithms5. Effectiveness; 5.1. Algorithms; 5.2. Effective algorithms; 5.3. Relatively effective algorithms; 6. Conclusion; References; 6. Axioms for Computability: Do They Allow a Proof of Church's Thesis? W. Sieg; Background; 1. Church Canons; 1.1. The thesis; 1.2. Semicircles; 1.3. Symbolic processes; 2. Computors; 2.1. Preliminary step; 2.2. Boundedness and locality; 2.3. Generalizations; 3. Axiomatics; 3.1. Patterns & local operations; 3.2. Axioms & a theorem; 4. Adequacy & Philosophical Errors; References; Postscriptum: Is There a Proof of Church's Thesis?; 1. A proof?
 2. Postulates?3. Improvements?; Wilfried Sieg; References; 7. The Mathematician's Bias  and the Return to Embodied Computation S. B. Cooper; 1. Computation Disembodied; 1.1. The Mathematician's bias; 2. The Mathematics of Embodiment?; 3. Emergent Natural Patterns; 4. The Mind as Mathematics?; 5. Embodiment Restored; References; 8. Intuitionistic Mathematics and Realizability in the Physical World A. Bauer; 1. Intuitionistic Understanding of Truth; 2. Synthetic Differential Geometry; 3. The Realizability Interpretation; 4. Realizability in the Real World; References
 9. What is Computation? Actor Model versus Turing's Model C. Hewitt
 Dimensions
 unknown
 Extent
 1 online resource (855 p.)
 Form of item
 electronic
 Isbn
 9789814374293
 Specific material designation
 remote
 System control number

 (CKB)3400000000087213
 (EBL)1080969
 (OCoLC)817536625
Library Locations

Albert D. Cohen Management LibraryBorrow it181 Freedman Crescent, Winnipeg, MB, R3T 5V4, CA49.807878 97.129961


Archives and Special CollectionsBorrow it25 Chancellors Circle (Elizabeth Dafoe Library), Room 330, Winnipeg, MB, R3T 2N2, CA49.809961 97.131878

Bibliothèque AlfredMonnin (Université de SaintBoniface)Borrow it200, avenue de la Cathédrale, Local 2110, Winnipeg, MB, R2H 0H7, CA49.888861 97.119735

Bill Larson Library (Grace Hospital)Borrow it300 Booth Drive, G227, Winnipeg, MB, R3J 3M7, CA49.882400 97.276436

Carolyn Sifton  Helene Fuld Library (St. Boniface General Hospital)Borrow it409 Tache Avenue, Winnipeg, MB, R2H 2A6, CA49.883388 97.126050

Concordia Hospital LibraryBorrow it1095 Concordia Avenue, Winnipeg, MB, R2K 3S8, CA49.913252 97.064683

Donald W. Craik Engineering LibraryBorrow it75B Chancellors Circle (Engineering Building E3), Room 361, Winnipeg, MB, R3T 2N2, CA49.809053 97.133292


EckhardtGramatté Music LibraryBorrow it136 Dafoe Road (Taché Arts Complex), Room 257, Winnipeg, MB, R3T 2N2, CA49.807964 97.132222

Elizabeth Dafoe LibraryBorrow it25 Chancellors Circle, Winnipeg, MB, R3T 2N2, CA49.809961 97.131878

Fr. H. Drake Library (St. Paul's College)Borrow it70 Dysart Road, Winnipeg, MB, R3T 2M6, CA49.810605 97.138184

J.W. Crane Memorial Library (Deer Lodge Centre)Borrow it2109 Portage Avenue, Winnipeg, MB, R3J 0L3, CA49.878000 97.235520

Libraries Annex (not open to the public; please see web page for details)Borrow it25 Chancellors Circle (in the Elizabeth Dafoe Library), Winnipeg, MB, R3T 2N2, CA49.809961 97.131878

Neil John Maclean Health Sciences LibraryBorrow it727 McDermot Avenue (Brodie Centre), 200 Level, Winnipeg, MB, R3E 3P5, CA49.903563 97.160554

Sciences and Technology LibraryBorrow it186 Dysart Road, Winnipeg, MB, R3T 2M8, CA49.811526 97.133257

Seven Oaks General Hospital LibraryBorrow it2300 McPhillips Street, Winnipeg, MB, R2V 3M3, CA49.955177 97.148865

Sister St. Odilon Library (Misericordia Health Centre)Borrow it99 Cornish Avenue, Winnipeg, MB, R3C 1A2, CA49.879592 97.160425


Victoria General Hospital LibraryBorrow it2340 Pembina Highway, Winnipeg, MB, R3T 2E8, CA49.806755 97.152739

William R Newman Library (Agriculture)Borrow it66 Dafoe Road, Winnipeg, MB, R3T 2R3, CA49.806936 97.135525
Library Links
Embed
Settings
Select options that apply then copy and paste the RDF/HTML data fragment to include in your application
Embed this data in a secure (HTTPS) page:
Layout options:
Include data citation:
<div class="citation" vocab="http://schema.org/"><i class="fa faexternallinksquare fafw"></i> Data from <span resource="http://link.lib.umanitoba.ca/portal/ACOMPUTABLEUNIVERSEUNDERSTANDINGAND/R2jFs2igO80/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.lib.umanitoba.ca/portal/ACOMPUTABLEUNIVERSEUNDERSTANDINGAND/R2jFs2igO80/">A COMPUTABLE UNIVERSE : UNDERSTANDING AND EXPLORING NATURE AS COMPUTATION, (electronic resource)</a></span>  <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.lib.umanitoba.ca/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.lib.umanitoba.ca/">University of Manitoba Libraries</a></span></span></span></span></div>
Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements
Preview
Cite Data  Experimental
Data Citation of the Item A COMPUTABLE UNIVERSE : UNDERSTANDING AND EXPLORING NATURE AS COMPUTATION, (electronic resource)
Copy and paste the following RDF/HTML data fragment to cite this resource
<div class="citation" vocab="http://schema.org/"><i class="fa faexternallinksquare fafw"></i> Data from <span resource="http://link.lib.umanitoba.ca/portal/ACOMPUTABLEUNIVERSEUNDERSTANDINGAND/R2jFs2igO80/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.lib.umanitoba.ca/portal/ACOMPUTABLEUNIVERSEUNDERSTANDINGAND/R2jFs2igO80/">A COMPUTABLE UNIVERSE : UNDERSTANDING AND EXPLORING NATURE AS COMPUTATION, (electronic resource)</a></span>  <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.lib.umanitoba.ca/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.lib.umanitoba.ca/">University of Manitoba Libraries</a></span></span></span></span></div>