Related terms:
peano
kleene
brouwer
hilbert
axioms
euclid
mathematik
axiomatic
david hilbert
undecidable
conjecture
peano arithmetic
leonhard euler
parallel postulate
mathematical logic
computability theory
number theory
set theory
functional analysis
foundations
foundations of mathematics
mathematicians
theorem
arithmetic
logic
geometry
mathematics
Wikipedia sources:
Mathematical logic
Axiom
Halting problem
John Boyd (military strategist)
History of mathematics
David Hilbert
Mathematics
Context for words:
incompleteness
theorem
|
|