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 Bibbia è il libro più famoso del mondo. Eppure, quanti sanno leggere fra le righe del racconto biblico? Questo numero di Focus Storia entra nelle pagine dell'Antico Testamento per comprendere dove finisce il mito e comincia la storia, anche alla luce delle ultime scoperte archeologiche. E ancora: la Crimea, terra di conquista oggi come ieri; l'antagonismo fra Coca e Pepsi negli anni della Guerra Fredda; gli artisti-scienziati che, quando non c'era la fotografia, disegnavano piante e animali per studiarli e farli conoscere.

 

ABBONATI A 29,90€

Come sta la Terra? E che cosa può fare l'uomo per salvarla da se stesso? Le risposte nel dossier di Focus dedicato a chi vuol conoscere lo stato di salute del Pianeta e puntare a un progresso sostenibile. E ancora: come si forma ogni cosa? Quasi tutti gli atomi che compongono ciò che conosciamo si sono generati in astri oggi scomparsi; a cosa servono gli scherzi? A ribadire (o ribaltare) i rapporti di potere; se non ci fosse il dolore? Mancherebbe un segnale fondamentale che ci difende e induce solidarietà.

ABBONATI A 31,90€
Follow us