Gödel's incompleteness theorem
Proper noun
This text is extracted from the Wiktionary and it is available under the CC BY-SA 3.0 license | Terms and conditions | Privacy policy 0.002
Proper noun
- One of two theorems in mathematical logic that demonstrate the inherent limitations of every formal axiomatic system containing basic arithmetic.
- French: théorème d'incomplétude de Gödel
- German: Gödelscher Unvollständigkeitssatz
This text is extracted from the Wiktionary and it is available under the CC BY-SA 3.0 license | Terms and conditions | Privacy policy 0.002