|
Related terms:
kleene
axiom
minsky
emil post
unsolvable
predicate
alan turing
undecidable
set theory
new foundations
algorithm
lambda calculus
turing machine
natural numbers
entscheidungsproblem
mathematical logic
Wikipedia sources: Algorithm Ordered pair Halting problem Lambda calculus Willard Van Orman Quine FBI Ten Most Wanted Fugitives, 2000s Context for words: rosser |
|