ORPP logo
Image from Google Jackets

Computability : Turing, Gödel, Church, and Beyond.

By: Contributor(s): Material type: TextTextSeries: The MIT Press SeriesPublisher: Cambridge : MIT Press, 2013Copyright date: ©2013Edition: 1st edDescription: 1 online resource (373 pages)Content type:
  • text
Media type:
  • computer
Carrier type:
  • online resource
ISBN:
  • 9780262312677
Subject(s): Genre/Form: Additional physical formats: Print version:: ComputabilityDDC classification:
  • 511.352
LOC classification:
  • QA267.7.C677 2013eb
Online resources:
Contents:
Intro -- Contents -- Introduction: The 1930s Revolution -- 1 Turing versus Gödel on Computability and the Mind -- 2 Computability and Arithmetic -- 3 About and around Computing over the Reals -- 4 The Church-Turing "Thesis" as a Special Corollary of Gödel's Completeness Theorem -- 5 Computability and Constructibility -- 6 After Gödel -- 7 The Open Texture of Computability -- 8 Gödel's Philosophical Challenge (to Turing) -- 9 Interactive Computing and Relativized Computability -- 10 Why Philosophers Should Care about Computational Complexity -- 11 Is Quantum Mechanics Falsifiable? A Computational Perspective on the Foundations of Quantum Mechanics -- About the Authors -- Index.
Summary: Computer scientists, mathematicians, and philosophers discuss the conceptual foundations of the notion of computability as well as recent theoretical developments.
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
No physical items for this record

Intro -- Contents -- Introduction: The 1930s Revolution -- 1 Turing versus Gödel on Computability and the Mind -- 2 Computability and Arithmetic -- 3 About and around Computing over the Reals -- 4 The Church-Turing "Thesis" as a Special Corollary of Gödel's Completeness Theorem -- 5 Computability and Constructibility -- 6 After Gödel -- 7 The Open Texture of Computability -- 8 Gödel's Philosophical Challenge (to Turing) -- 9 Interactive Computing and Relativized Computability -- 10 Why Philosophers Should Care about Computational Complexity -- 11 Is Quantum Mechanics Falsifiable? A Computational Perspective on the Foundations of Quantum Mechanics -- About the Authors -- Index.

Computer scientists, mathematicians, and philosophers discuss the conceptual foundations of the notion of computability as well as recent theoretical developments.

Description based on publisher supplied metadata and other sources.

Electronic reproduction. Ann Arbor, Michigan : ProQuest Ebook Central, 2024. Available via World Wide Web. Access may be limited to ProQuest Ebook Central affiliated libraries.

There are no comments on this title.

to post a comment.

© 2024 Resource Centre. All rights reserved.