Kurt Godel (1906-1978) leistete bahnbrechende Arbeiten, die die Logik und andere wichtige Aspekte unseres Verständnisses von Mathematik veränderten, insbesondere seinen Beweis der Unvollständigkeit der formalisierten Arithmetik. Dieses Buch über verschiedene Aspekte seines Schaffens und über Themen, in denen seine Ideen auf zeitgenössische Resonanz stoßen, enthält Beiträge von einem Symposium im Mai 2006 zur Feier des hundertjährigen Bestehens von GÃdel sowie Beiträge von einem Symposium aus dem Jahr 2004. Beweistheorie, Mengenlehre, Philosophie der Mathematik und die Herausgabe von GÃdels Schriften gehören zu den behandelten Themen. Mehrere Kapitel befassen sich mit seiner intellektuellen Entwicklung und seinem Verhältnis zu Vorgängern und Zeitgenossen wie Hilbert, Carnap und Herbrand. Andere betrachten seine Ansichten zur Rechtfertigung in der Mengenlehre im Lichte neuerer Arbeiten und zeitgenössischer Echos seiner Unvollständigkeitssätze und des Konzepts der konstruierbaren Mengen. Sprache: Englisch