Post–Turing machine
Sign in to saveabstract calculator
Connections
Stephen Cole Kleene
Entity
computer science
Entity
Alan Turing
Entity
International Standard Book Number
Entity
programming language
Entity
computer program
Entity
Kurt Gödel
Entity
binary numeral system
Entity
mathematical logic
Entity
Roger Penrose
Entity
sequence
Entity
Turing machine
Entity
computer storage media
Entity
Marvin Minsky
Entity
Alonzo Church
Entity
finite set
Entity
lambda calculus
Entity
instruction set architecture
Entity
infinite set
Entity
halting problem
Entity