Abstract

I address Gödel’s Incompleteness Theorem through four stages: by revisiting Aristotle’s Principle of Non-Contradiction; by revisiting Tarski’s Metalanguage; and, in a secondary way, by revisiting Hegel’s dialectic; as well as by using Gödelian mathematics to formalize the system. In short, I change the interpretative framework of Gödel’s theorem while its calculus remains untouched. The result provides a complete and coherent system.

Keywords: Completeness, Coherence, Demonstration, Gödel.

È una prova di consistenza e completezza del sistema.[1]

La metateoria misurante la consistenza e completezza del sistema, per sistemi abbastanza potenti da esprimere le proprietà elementari dell’aritmetica (PA – Peano Arithmetic, da Giuseppe Peano), è il Teorema di Incompletezza di Gödel. Esso risponde alla domanda: il sistema è consistente e completo? Per esso, il sistema non può essere assieme consistente e completo.

Rivisitiamo la prova gödeliana: anzitutto semplifico in tre parti il suo teorema, evidenziando gli elementi centrali a questa prova, dopodiché dichiaro l’oggetto della presente dimostrazione (lemma) e – qui mi sospendo con una integrazione matematica leggibile primo o dopo i tre teoremi – di conseguenza rivisitiamo la completezza, la coerenza e la dimostrazione. Non è il calcolo di Gödel a essere messo alla prova, ma la teoria entro cui lo interpreta.

Continua a leggere →