Kurt Gödel, un profilo - 9788843075133

Kurt Gödel, un profilo: Kurt Gödel è stato certamente il logico più influente del Novecento. I suoi lavori, visti come delle pietre miliari e come tali richiamati ancora oggi nella letteratura specialistica, investono aspetti fondamentali per la ricerca in campo matematico, quali la relazione tra verità e dimostrabilità o questioni relative alla natura e ai limiti della conoscenza matematica. Questo profilo nasce dal tentativo di correggere l'impressione che la grandezza del personaggio possa essere ricondotta a uno dei suoi molteplici contributi in particolare, come ad esempio il teorema di incompletezza per le teorie assiomatiche al quale egli deve gran parte della sua fama. Al contrario, il volume cerca di offrire una panoramica per quanto possibile esaustiva dell'opera logica e matematica di Gödel, così da valutarne meglio la portata.
Kurt G??del was certainly the most influential logician of the twentieth century. His works, seen as milestones and mentioned as such in specialist literature still, investing fundamentals to mathematical research, such as the relationship between truth and demonstrability or questions relating to the nature and the limits of mathematical knowledge. This profile comes from trying to correct the impression that the greatness of character can be traced back to one of his many contributions in particular, such as the incompleteness theorem to axiomatic theories to whom he owes much of his fame. On the contrary, the book tries to offer an overview as comprehensive as possible of logic and mathematics work of G??del, in order to assess better the range.