La Logica matematica dopo Gödel

Comprar eBook en PDF por 0€

Incomplemento al libro ?I confini logici della Matematica? dello stesso autore,si sottolinea l?esigenza di una revisione di tipo semantico della Logicamatematica. Essa, trascurando la classificazione delle Teorie in base all?ordineespressivo, rivaluta il ruolo della Teoria formale degli insiemi. Inoltre siindeboliscono le ipotesi del primo Teorema d?incompletezza 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 mas libros