La Logica matematica dopo Gödel

Descargar eBook en PDF

Incomplemento al libro I confini logici della Matematica dello stesso autore,si sottolinea lesigenza di una revisione di tipo semantico della Logicamatematica. Essa, trascurando la classificazione delle Teorie in base allordineespressivo, rivaluta il ruolo della Teoria formale degli insiemi. Inoltre siindeboliscono le ipotesi del primo Teorema dincompletezza e si chiarisce lasua esatta relazione con i paradossi semantici (di Berry, Richard,etc.). Inaddition to the book I confini logici della Matematica by the sameauthor, it is emphasized that a semantic type revision of the mathematicalLogic is necessary. Neglecting the usual expressive-order type classificationof Theories, this revision re-evaluates the role of the formal Set Theory.Moreover it is achieved a weakening of the hypotheses of the firstincompleteness Theorem and its exact relationship with the semantic paradoxes (Berry,Richard, etc.) is clarified.

Quiero publicar un libro Ver más libros