Lo scopo fondamentale dell'articolo è correggere un grave errore di interpretazione di un inesatto commento di Gödel al congresso di Königsberg del 1930. Malgrado la scorrettezza di Gödel sia assolutamente veniale, la
sua erronea lettura ha prodotto e continua a produrre frutti nefasti, come l'applicabilità dei Teoremi d'incompletezza all'Aritmetica del secondo ordine full e la deducibilità, mediante essi, dell'incompletezza semantica
di questo linguaggio. I primi tre paragrafi servono da introduzione e se ne approfitta sia per definire i linguaggi intrinsecamente semantici sia per evidenziare il fatto che una Teoria non formale può essere semanticamente completa pur impiegando un linguaggio semanticamente incompleto. Infine si propone un'interpretazione alternativa per l'infelice osservazione di
Gödel.
Details
- Publication Date
- Mar 12, 2015
- Language
- Italian
- Category
- Science & Medicine
- Copyright
- All Rights Reserved - Standard Copyright License
- Contributors
- By (author): Giuseppe Ragunì
Specifications
- Format