Logica matematica/Incompletezza: differenze tra le versioni

Contenuto cancellato Contenuto aggiunto
FrescoBot (discussione | contributi)
m Bot: apostrofo dopo l'articolo indeterminativo
Nessun oggetto della modifica
Riga 1:
Dopo tanti risultati positivi arriviamo in questo capitolo ad un risultato fortemente negativo: l' incompletezza.
 
Dobbiamo a GoedelGodel questo grande risultato: ogni sistema logico abbastanza potente da descrivere l' aritmetica è necessariamente incompleto, cioè esisteranno delle verità non dimostrabili.
 
Questo risultato ha sconvolto la logica, quando è stato pubblicato. Il sogno di Hilbert si è infranto in un limite intrinseco del sistema.
 
La dimostrazione di GoedelGodel è ostica, ma questo risultato è intuibile in modo completamente diverso dai teoremi di Lowenheim e Skolem: un sistema di dimostrazione riesce a dimostrare le frasi vere in tutti i modelli, se una teoria non è categorica avremo frasi vere in un modello e non in un altro, quindi dimostrabili solo raffinando gli assiomi ed escludendo modelli alternativi.
Per i teoremi di Lowenheim e Skolem se ho un modello di cardinalità infinita ne ho altri di ogni cardinalità, quindi una teoria con modelli infiniti non può essere categorica. Aggiungere assiomi non la renderà mai categorica ed ecco che abbiamo un enorme "serbatoio" di frasi vere ma non dimostrabili.