Gödel's completeness theorem
Teorema de completitud de Gödel
- Date
- 1929 · confidence high
- Place
- Vienna, Austria
- Credited to
- Kurt Gödel
- Field
- Knowledge & symbols
What was discovered
Mathematical logic theorem stating that every logically valid formula of first-order logic can be formally proved from its axioms; proved by Kurt Gödel in his doctoral dissertation.
Wikidata attributed the theorem to "Osiris Adán Gonzalez Rodriguez"; corrected to its actual author, Kurt Gödel.
What it led to
- Foundations of model theory and proof theory
- Gödel's incompleteness theorems (1931)
- Development of 20th-century mathematical logic