Opere. Vol. 4: Corrispondenza A-G - 9788833920290

Opere. Vol. 4: Corrispondenza A-G: Kurt Gödei è autore di un'opera che ha influenzato tutti gli sviluppi successivi della logica nonché l'ulteriore riflessione sui fondamenti della matematica. I risultati che hanno reso famoso Gödei sono la completezza semantica del calcolo dei predicati (1930), l'incompletezza dei sistemi assiomatici contenenti l'aritmetica - il cosiddetto teorema d'incompletezza di Godei (1930-31) - e, infine, la non contraddittorietà dell'assioma di scelta e dell'ipotesi del continuo con gli altri assiomi della teoria degli insiemi (1940). Con i volumi dedicati alla corrispondenza di interesse logico, filosofico e scientifico intrattenuta da Gödei nel corso della vita, si conclude questa edizione delle sue "Opere", pubblicata sotto gli auspici della Association for Symbolic Logic. Come già nei precedenti volumi, anche qui le note introduttive ai singoli carteggi, ricche di notizie storiche e d'inquadramenti tecnici, permettono al lettore di seguire le varie questioni di volta in volta dibattute. Nel complesso, questa edizione intende rendere accessibile e utilizzabile l'opera di Gödei a un pubblico non limitato a logici e matematici ma comprendente anche studiosi di filosofia, di storia della scienza, d'informatica e addirittura di fisica, come pure molti lettori non specialisti con una formazione scientifica in senso lato.
Kurt G??dei is the author of a work which influenced all subsequent developments of logic and the further reflection on the foundations of mathematics. The results that made it famous G??dei are semantic completeness of predicate calculus (1930), the incompleteness of axiomatic systems containing the arithmetic-the so-called Pythagorean theorem of incompleteness of enjoyed myself (1930-31)-and, finally, the non-contradiction of the axiom of choice and continuum hypothesis with the other axioms of set theory (1940). With volumes devoted to logic, philosophical and scientific interest matching entertained by G??dei in life, concludes this edition of his "works", published under the auspices of the Association for Symbolic Logic. As in previous volumes, here too the introductory notes to the individual letters, full of historical and technical frameworks, allow the reader to follow the various issues from time to time under discussion. Overall, this edition aims to make accessible and usable G??dei's work to an audience not limited to mathematical and logical but also including scholars of philosophy, history of science, computer science and physics, as well as even many non-specialist readers with a scientific background in a broad sense.