Teoremi di incompletezza di Gödel

Da TecnoLogica.

Definizioni

Primo teorema di Gödel

Tutte le assiomatizzazioni coerenti dell'aritmetica contengono proposizioni indecidibili

Descrizione

Coppia di teoremi elaborati dal matematico austriaco Kurt Gödel sulla incompletezza del sistema aritmetica, che però può estendersi a qualsiasi sistema formale e non.