Related terms:
tt
rosser
minsky
ruby
hodges p
emil post
unsolvable
recursive
undecidable
alan turing
algorithm
halting problem
turing machine
lambda calculus
recursion theory
source lang
computable function
entscheidungsproblem
mathematical logic
computability theory
incompleteness theorem
computer science
programming language
Wikipedia sources:
Algorithm
Turing machine
Halting problem
Mathematical logic
Asterisk
Tautology (logic)
Lambda calculus
Switch statement
Context for words:
kleene
|
|