Cultura

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.

Ascesa e declino di Sparta, la polis greca che dominò il Peloponneso con la sua incredibile forza militare e un'organizzazione sociale che forgiava soldati e cittadini pronti a tutto. Perché Beethoven cambiò per sempre il mondo della musica; gli esordi dell'Aids, l'epidemia che segnò un'epoca.

ABBONATI A 29,90€
Questo numero di Focus è speciale perchè l'astronauta dell'Esa Luca Parmitano ci ha affiancato per realizzare un giornale dedicato alle frontiere della scienza, dalla caccia agli esopianeti alla lotta contro il coronavirus fino agli organi stampati in 3d. Grazie Luca per i tuoi consigli e suggerimenti!
ABBONATI A 29,90€

Cosa posso comprare nel mondo con un euro? Perché i crackers hanno i buchi? Dove vanno i gatti quando spariscono da casa? Quanto può dormire un batterio? Correre una maratona fa ringiovanire? Con Focus D&R trovi più di 250 risposte rigorosamente scientifiche alle domande più curiose, divertenti e (anche) un po' folli che potresti mai immaginare.

 

 

ABBONATI A 14,90€
Follow us