The Resource A COMPUTABLE UNIVERSE : UNDERSTANDING AND EXPLORING NATURE AS COMPUTATION, (electronic resource)

A COMPUTABLE UNIVERSE : UNDERSTANDING AND EXPLORING NATURE AS COMPUTATION, (electronic resource)

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
Creator
Subject
Genre
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 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, re
Cataloging source
AU-PeEL
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)
Instantiates
Publication
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. Semi-circles; 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)
Publication
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. Semi-circles; 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 it
    181 Freedman Crescent, Winnipeg, MB, R3T 5V4, CA
    49.807878 -97.129961
  • Architecture/Fine Arts LibraryBorrow it
    84 Curry Place, Winnipeg, MB, CA
    49.807716 -97.136226
  • Archives and Special CollectionsBorrow it
    25 Chancellors Circle (Elizabeth Dafoe Library), Room 330, Winnipeg, MB, R3T 2N2, CA
    49.809961 -97.131878
  • Bibliothèque Alfred-Monnin (Université de Saint-Boniface)Borrow it
    200, avenue de la Cathédrale, Local 2110, Winnipeg, MB, R2H 0H7, CA
    49.888861 -97.119735
  • Bill Larson Library (Grace Hospital)Borrow it
    300 Booth Drive, G-227, Winnipeg, MB, R3J 3M7, CA
    49.882400 -97.276436
  • Carolyn Sifton - Helene Fuld Library (St. Boniface General Hospital)Borrow it
    409 Tache Avenue, Winnipeg, MB, R2H 2A6, CA
    49.883388 -97.126050
  • Concordia Hospital LibraryBorrow it
    1095 Concordia Avenue, Winnipeg, MB, R2K 3S8, CA
    49.913252 -97.064683
  • Donald W. Craik Engineering LibraryBorrow it
    75B Chancellors Circle (Engineering Building E3), Room 361, Winnipeg, MB, R3T 2N2, CA
    49.809053 -97.133292
  • E.K. Williams Law LibraryBorrow it
    224 Dysart Road, Winnipeg, MB, R3T 5V4, CA
    49.811829 -97.131017
  • Eckhardt-Gramatté Music LibraryBorrow it
    136 Dafoe Road (Taché Arts Complex), Room 257, Winnipeg, MB, R3T 2N2, CA
    49.807964 -97.132222
  • Elizabeth Dafoe LibraryBorrow it
    25 Chancellors Circle, Winnipeg, MB, R3T 2N2, CA
    49.809961 -97.131878
  • Fr. H. Drake Library (St. Paul's College)Borrow it
    70 Dysart Road, Winnipeg, MB, R3T 2M6, CA
    49.810605 -97.138184
  • J.W. Crane Memorial Library (Deer Lodge Centre)Borrow it
    2109 Portage Avenue, Winnipeg, MB, R3J 0L3, CA
    49.878000 -97.235520
  • Libraries Annex (not open to the public; please see web page for details)Borrow it
    25 Chancellors Circle (in the Elizabeth Dafoe Library), Winnipeg, MB, R3T 2N2, CA
    49.809961 -97.131878
  • Neil John Maclean Health Sciences LibraryBorrow it
    727 McDermot Avenue (Brodie Centre), 200 Level, Winnipeg, MB, R3E 3P5, CA
    49.903563 -97.160554
  • Sciences and Technology LibraryBorrow it
    186 Dysart Road, Winnipeg, MB, R3T 2M8, CA
    49.811526 -97.133257
  • Seven Oaks General Hospital LibraryBorrow it
    2300 McPhillips Street, Winnipeg, MB, R2V 3M3, CA
    49.955177 -97.148865
  • Sister St. Odilon Library (Misericordia Health Centre)Borrow it
    99 Cornish Avenue, Winnipeg, MB, R3C 1A2, CA
    49.879592 -97.160425
  • St. John's College LibraryBorrow it
    92 Dysart Road, Winnipeg, MB, R3T 2M5, CA
    49.811242 -97.137156
  • Victoria General Hospital LibraryBorrow it
    2340 Pembina Highway, Winnipeg, MB, R3T 2E8, CA
    49.806755 -97.152739
  • William R Newman Library (Agriculture)Borrow it
    66 Dafoe Road, Winnipeg, MB, R3T 2R3, CA
    49.806936 -97.135525
Processing Feedback ...