<--- Back to Details
First PageDocument Content
Turing machine / Computability theory / Alan Turing / Models of computation / Universal Turing machine / Computability / Hypercomputation / Computable function / Church–Turing thesis / Theoretical computer science / Computer science / Theory of computation
Date: 2006-10-01 17:12:17
Turing machine
Computability theory
Alan Turing
Models of computation
Universal Turing machine
Computability
Hypercomputation
Computable function
Church–Turing thesis
Theoretical computer science
Computer science
Theory of computation

Add to Reading List

Source URL: www.philosopher-animal.com

Download Document from Source Website

File Size: 105,43 KB

Share Document on Facebook

Similar Documents

Theory of computation / Computability theory / Busy beaver / Computable function / Computability / Turing machine / Halting problem / Hypercomputation / Computable number / Algorithm / Alan Turing / Ackermann function

Who Can Name the Bigger Number? Scott Aaronson∗ 1999 In an old joke, two noblemen vie to name the bigger number. The first, after ruminating for hours, triumphantly announces ”Eighty-three!” The second,

DocID: 1oyBY - View Document

Computability theory / Theory of computation / Computable number / Computable analysis / Mathematical analysis / Mathematical logic / Function / Computable function / Hypercomputation

Topics in the Theory and Practice of Computable Analysis Branimir Lambov PhD Dissertation

DocID: 1mW2Q - View Document

Theory of computation / Computability theory / Busy beaver / Computable function / Computability / Turing machine / Halting problem / Hypercomputation / Computable number / Algorithm / Alan Turing / Ackermann function

Who Can Name the Bigger Number? Scott Aaronson∗ 1999 In an old joke, two noblemen vie to name the bigger number. The first, after ruminating for hours, triumphantly announces ”Eighty-three!” The second,

DocID: 1kzqb - View Document

Logic, General Intelligence, and Hypercomputation — and beyond ... Selmer Bringsjord Rensselaer AI & Reasoning (RAIR) Lab

DocID: 1b4oy - View Document

Computability theory / Turing machine / Alan Turing / Models of computation / Hypercomputation / Computability / Computational complexity theory / Church–Turing thesis / Hava Siegelmann / Theoretical computer science / Computer science / Theory of computation

work (5). A contact network is a directed graph with a single special source s and a single special sink t. Each edge is labeled with either x or 2, where x is some variahle. Given any assignment of values to the variabl

DocID: 19TcA - View Document