Gödel's incompleteness theorem

English

Proper noun

Gödel 's incompleteness theorem (plural Gödel's incompleteness theorems)

(logic, mathematics) One of two theorems in mathematical logic that demonstrates the inherent limitations of every formal axiomatic system containing basic arithmetic.

Translations

theorem

Estonian: Gödeli mittetäielikkuse teoreem
Finnish: Gödelin epätäydellisyyslause
French: théorème d’incomplétude de Gödel
German: Gödelscher Unvollständigkeitssatz m
Icelandic: ófullkomleikasetning Gödels f
Russian: Теоремы Гёделя о неполноте (Teoremy Gjódelja o nepolnote)

See also

Rosser's trick

Further reading

Gödel's incompleteness theorem on Wikipedia.Wikipedia

This article is issued from Wiktionary. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.