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