<--- Back to Details
First PageDocument Content
Theory of computation / Mathematics / Alan Turing / Turing machine / Hypercomputation / Turing test / Church–Turing thesis / Jack Copeland / Entscheidungsproblem / Computability theory / Theoretical computer science / Computer science
Date: 2006-10-06 14:59:11
Theory of computation
Mathematics
Alan Turing
Turing machine
Hypercomputation
Turing test
Church–Turing thesis
Jack Copeland
Entscheidungsproblem
Computability theory
Theoretical computer science
Computer science

Book Review The Essential Turing

Add to Reading List

Source URL: www.ams.org

Download Document from Source Website

File Size: 843,90 KB

Share Document on Facebook

Similar Documents

Theoretical Computer Science–40  www.elsevier.com/locate/tcs Presorting algorithms: An average-case point of view

Theoretical Computer Science–40 www.elsevier.com/locate/tcs Presorting algorithms: An average-case point of view

DocID: 1xVR3 - View Document

Theoretical Computer Science – 551 www.elsevier.com/locate/tcs On the computational strength of pure ambient calculi夡 Sergio Maffeis, Iain Phillips∗

Theoretical Computer Science – 551 www.elsevier.com/locate/tcs On the computational strength of pure ambient calculi夡 Sergio Maffeis, Iain Phillips∗

DocID: 1xUAX - View Document

Theoretical Computer Science–24  Contents lists available at ScienceDirect Theoretical Computer Science www.elsevier.com/locate/tcs

Theoretical Computer Science–24 Contents lists available at ScienceDirect Theoretical Computer Science www.elsevier.com/locate/tcs

DocID: 1xUr4 - View Document

Advanced Topics in SAT-Solving Part II: Theoretical Aspects Carsten Sinz Wilhelm-Schickard-Institut for Computer Science University of T¨ubingen

Advanced Topics in SAT-Solving Part II: Theoretical Aspects Carsten Sinz Wilhelm-Schickard-Institut for Computer Science University of T¨ubingen

DocID: 1xTuz - View Document

CS 153  Current Topics in Theoretical Computer Science Spring 2016

CS 153 Current Topics in Theoretical Computer Science Spring 2016

DocID: 1vryF - View Document