Gödel's incompleteness theorem

English

Proper noun

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

One of two theorems in mathematical logic that demonstrate 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

See also

Rosser's trick

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