Teoremi di incompletezza di Gödel

Da TecnoLogica.

Versione delle 16:49, 2 ott 2011, autore: Lucarck (Discussione | contributi)
(diff) ← Versione meno recente | Versione attuale (diff) | Versione più recente → (diff)

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.

La consultazione di TecnoLogica è preordinata alla lettura delle avvertenze

Ogni contributore è responsabile dei propri inserimenti.
Il progetto è opera di Luca Buoninconti © 2011-2024.

Estratto da "http://www.tecnologica.altervista.org/php5/index.php?title=Teoremi_di_incompletezza_di_G%C3%B6del"
Strumenti personali