L’eredità di Gödel: rivisitando la Logica

Descargar eBook en PDF

Si evidenziano alcuni diffusi equivoci su argomenti fondamentali diLogica: linterpretazione dei due Teoremi dincompletezza, diverse leggerezzedi Chaitin e lusuale classificazione dei Sistemi assiomatici in baseallordine espressivo.Some common fallacies about fundamental themes of Logic are exposed:the First and Second incompleteness Theorem interpretations,Chaitins various superficialities and the usual classification of the axiomaticTheories in function of its language order.PAROLE CHIAVE: Incompletezza, indecidibilit, coerenza, categoricit, completezzasemantica, casualit, complessit, linguaggi del primo ordine,linguaggi del secondo ordine.KEYWORDS: Incompleteness, undecidability, semantic completeness, categoricity,randomness, Chaitins constant, first and second order languages,consistency.

Quiero publicar un libro Ver más libros