Teoremi di incompletezza di Gödel
Da TecnoLogica.
(Differenze fra le revisioni)
(Creata pagina con '==Definizioni== ===Primo teorema di Gödel=== Tutte le assiomatizzazioni coerenti dell'aritmetica contengono proposizioni [[indecidibilità|indecidibili]...') |
m (Ha protetto "Teoremi di incompletezza di Gödel" ([edit=autoconfirmed] (infinito) [move=autoconfirmed] (infinito))) |
Versione delle 16:50, 2 ott 2011
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.
|