Related terms:
axiomatic
kleene
conjecture
incompleteness theorem
hodges p
david hilbert
undecidable
fraenkel
brouwer
emil post
mathematical logic
mathematik
peano
zermelo
axiomatization
number theory
ackermann
discrete mathematics
recursion theory
halting problem
entscheidungsproblem
foundations of mathematics
applied mathematics
computability theory
carl friedrich gauss
minsky
unbounded
functional analysis
alan turing
matematika
Wikipedia sources:
David Hilbert
Max Born
Mathematical logic
Turing machine
Halting problem
Certainty
R-tree
Polygon
Geometry
John von Neumann
Diophantine equation
Mathematics
Discrete mathematics
Millennium Prize Problems
Unsolved problems in mathematics
Ackermann function
Stranger Than Fiction (film)
Axiom
Ergodic theory
Context for words:
hilbert
|
|