L'ereditá di Gödel: rivisitando la Logica (Italian Edition)
Book Details
Author(s)Giuseppe Raguní
ISBN / ASINB00529QKGM
ISBN-13978B00529QKG2
Sales Rank2,867,581
MarketplaceUnited States 🇺🇸
Description
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, semantic completeness, categoricity, randomness, Chaitin's constant, first and second order languages, consistency.
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, semantic completeness, categoricity, randomness, Chaitin's constant, first and second order languages, consistency.
