Kurt Gãdel (1906-1978) a fait des travaux révolutionnaires qui ont transformé la logique et d’autres aspects importants de notre compréhension des mathématiques, en particulier sa preuve de l’incomplétude de l’arithmétique formalisée. Ce livre sur différents aspects de son travail et sur des sujets dans lesquels ses idées ont une résonance contemporaine comprend des articles d'un symposium de mai 2006 célébrant le centenaire de GÃdel ainsi que des articles d'un symposium de 2004. La théorie de la preuve, la théorie des ensembles, la philosophie des mathématiques et l'édition des écrits de GÃdel font partie des sujets abordés. Plusieurs chapitres traitent de son développement intellectuel et de ses relations avec ses prédécesseurs et ses contemporains tels que Hilbert, Carnap et Herbrand. D’autres considèrent ses vues sur la justification en théorie des ensembles à la lumière de travaux plus récents et d’échos contemporains de ses théorèmes d’incomplétude et du concept d’ensembles constructibles. Langue : Anglais