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

Comprar eBook en PDF por 0€

Si evidenziano alcuni diffusi equivoci su argomenti fondamentali diLogica: l?interpretazione dei due Teoremi d?incompletezza, diverse leggerezzedi Chaitin e l?usuale classificazione dei Sistemi assiomatici in baseall?ordine espressivo.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 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, Chaitin?s constant, first and second order languages,consistency.

Quiero publicar un libro Ver mas libros