Post–Turing machine

Results: 4



#Item
1Computer science / Computability theory / Models of computation / Alan Turing / Universal Turing machine / Computability / Post correspondence problem / Algorithm / Counter machine / Theory of computation / Theoretical computer science / Turing machine

PDF Document

Add to Reading List

Source URL: web.engr.illinois.edu

Language: English - Date: 2014-12-28 09:05:14
2Computer science / Theory of computation / Church–Turing thesis / Computable function / Halting problem / Entscheidungsproblem / Turing machine / Emil Leon Post / Computable number / Theoretical computer science / Computability theory / Mathematics

Generating, solving and the mathematics of Homo Sapiens. Emil Post’s views on computation Liesbeth De Mol∗ [removed] “For if symbolic logic has failed to give wings to mathematicians this study of

Add to Reading List

Source URL: logica.ugent.be

Language: English - Date: 2011-11-29 04:43:49
3Turing machine / Models of computation / Computability theory / Alan Turing / Virtual machine / Turing completeness / VM / Computability / Programming language / Theoretical computer science / Computer science / Theory of computation

Post-publication version of “Aaron Sloman develops a distinctive view of – Virtual Machinery and Evolution of Mind (Part 1)” pages[removed]In Alan Turing - His Work and Impact, eds S. B. Cooper & J. van Leeuwen, Els

Add to Reading List

Source URL: www.cs.bham.ac.uk

Language: English - Date: 2013-09-07 19:32:51
4Theory of computation / Computer science / Computability theory / Formal methods / Reversible computing / Computation history / Computability / Reverse computation / Post–Turing machine / Turing machine / Models of computation / Theoretical computer science

C. H. Bennett Logical Reversibility of Computation* Abstract: The usual general-purpose computing automaton (e.g.. a Turing machine) is logically irreversible- its transition function lacks a single-valued inverse. Here

Add to Reading List

Source URL: www.math.ucsd.edu

Language: English - Date: 2013-01-12 09:26:33
UPDATE