Storia

Che cosa enuncia il teorema di incompletezza sintattica?

Nel 1931 l’americano di origine austroungarica Kurt Gödel (foto) pubblicò “Sulle proposizioni formalmente indecidibili dei Principia mathematica e di sistemi affini”, dove enunciava quello che...

Nel 1931 l’americano di origine austroungarica Kurt Gödel (foto) pubblicò “Sulle proposizioni formalmente indecidibili dei Principia mathematica e di sistemi affini”, dove enunciava quello che sarebbe diventato noto come teorema di Gödel. Il teorema dimostra l’incompletezza sintattica dei sistemi assiomatici matematici, cioè l’impossibilità di dimostrare alcune proposizioni e il loro contrario dall’interno del sistema. Gödel dimostrò in pratica che un sistema matematico, cioè un insieme di assiomi (proposizioni di partenza) e dei teoremi da essi derivati, non può essere allo stesso tempo completo e corretto. In altre parole un sistema matematico che non contiene errori deve avere almeno una affermazione sulla cui correttezza il sistema stesso non può decidere. Inoltre il teorema dimostra che la coerenza del sistema non è dimostrabile con il linguaggio del sistema stesso.

26 giugno 2002
Ora in Edicola
Scopri il mondo Focus. Ogni mese in edicola potrai scegliere la rivista che più di appassiona. Focus il magazine di divulgazione scientifica più letto in Italia, Focus Storia per conoscere la storia in modo nuovo ed avvincente e Focus Domande & Risposte per chi ama l'intrattenimento curioso e intelligente.

La smisurata ambizione di Napoleone trasformò l’Europa in un enorme campo di battaglia e fece tremare tutte le monarchie dell’epoca. Per molti era un idolo, per altri un tiranno sanguinario. E oggi la sua figura continua a essere oggetto di dibattito fra storici e intellettuali. E ancora: tra lasciti stravaganti e vendette "postume", i testamenti di alcuni grandi personaggi del passato che fecero litigare gli eredi; le bizzarre toilette con cui l’aristocrazia francese del Settecento si "faceva bella" agli occhi del mondo; nelle scuole residenziali indiane, i collegi-lager dove venivano rinchiusi i bambini nativi americani, per convertirli e "civilizzarli"; Dio, patria e famiglia nelle cartoline natalizie della Grande guerra.

ABBONATI A 29,90€

Il corpo va tenuto in forma, ma le sue esigenze cambiano nel corso della vita. Quale sport è meglio fare con gli anni che passano? E quali sono le regole di alimentazione per uno sportivo? E ancora: il primo modello numerico completo che permette di simulare il nostro cuore; perché i velivoli senza pilota stanno assumendo un ruolo fondamentale in guerra; l’impatto che l'Intelligenza artificiale avrà sull’economia e sulla società; tutto quello che si ottiene avendo pazienza.

ABBONATI A 31,90€
Follow us