|
Related terms:
boole
peano
skolem
kleene
tarski
minsky
zermelo
fraenkel
computable
undecidable
alan turing
von neumann
axiomatization
turing machine
incompleteness theorem
principia mathematica
Wikipedia sources: Halting problem Mathematical logic Function (mathematics) Universal Turing machine Context for words: computable function |
|