Teoremi di incompletezza di Gödel
Da TecnoLogica.
(Differenze fra le revisioni)
m (Ha protetto "Teoremi di incompletezza di Gödel" ([edit=autoconfirmed] (infinito) [move=autoconfirmed] (infinito))) |
|||
Riga 1: | Riga 1: | ||
==Definizioni== | ==Definizioni== | ||
===Primo teorema di Gödel=== | ===Primo teorema di Gödel=== | ||
- | Tutte le assiomatizzazioni [[coerenza (sistemica)|coerenti]] dell'aritmetica contengono proposizioni [[indecidibilità|indecidibili]] | + | Tutte le assiomatizzazioni [[coerenza (sistemica)|coerenti]] dell'aritmetica contengono proposizioni [[indecidibilità|indecidibili]]. |
+ | ===Secondo teorema di Gödel=== | ||
+ | Un [[sistema#sistemi formali|sistema formale]] completo non può dimostrare la propria [[completezza (sistemica)|completezza]]. | ||
+ | ===Sinonimi=== | ||
+ | Teoremi limitativi della [[logica]]. | ||
==Descrizione== | ==Descrizione== | ||
Coppia di teoremi elaborati dal matematico austriaco Kurt Gödel sulla incompletezza del [[sistema]] aritmetica, che però può estendersi a qualsiasi [[sistema#sistemi formali|sistema formale]] e non. | Coppia di teoremi elaborati dal matematico austriaco Kurt Gödel sulla incompletezza del [[sistema]] aritmetica, che però può estendersi a qualsiasi [[sistema#sistemi formali|sistema formale]] e non. | ||
{{Footer}} | {{Footer}} |
Versione delle 16:56, 2 ott 2011
Definizioni
Primo teorema di Gödel
Tutte le assiomatizzazioni coerenti dell'aritmetica contengono proposizioni indecidibili.
Secondo teorema di Gödel
Un sistema formale completo non può dimostrare la propria completezza.
Sinonimi
Teoremi limitativi della logica.
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.
|