L'ereditá di Gödel: rivisitando la Logica

SOMMARIO: Si evidenziano alcuni diffusi equivoci su argomenti fondamentali di Logica: l’interpretazione dei due Teoremi d’incompletezza, diverse leggerezze di Chaitin e l’usuale classificazione dei Sistemi assiomatici in base all’ordine espressivo. PAROLE CHIAVE: Incompletezza, indecidibilità, coerenza, categoricità, completezza semantica, casualità, complessità, linguaggi del primo ordine, linguaggi del secondo ordine. ABSTRACT: Some common fallacies about fundamental themes of Logic are exposed: the First and Second incompleteness Theorem interpretations, Chaitin’s various superficialities and the usual classification of the axiomatic Theories in function of its language order . KEYWORDS: Incompleteness, undecidability, consistency, categoricity, soundness, randomness, complexity, first order languages, second order languages.