Gödel’s incompleteness theorem
Origin: Lat. theorēma, Gr. θεώρημα, Lat. incomplētus
Theorem postulated by Kart Gödel, Austrian mathematician, that establishes that in a mathematical system strong enough to generate natural numbers, there inevitably exist propositions that could be equally proved or not.
Spanish: Teorema de Godel sobre la incomplementariedad.
Sources and references
- Kurzweil, Ray. “The Age of Spiritual Machine.”cited 12 times
Term connections
Enjoying this dictionary? Support The Millennium Project's work to keep it free.
Donate