Herausgegeben von Eckehart Köhler, Peter Weibel, Michael Stöltzner, Bernd Buldt, Carsten Klein und Werner DePauli-Schimanovich-Göttig. Die Gesamtwürdigung "Kurt Gödel - Wahrheit und Beweisbarkeit" besteht aus zwei Bänden. Band 1: Dokumente und historische Analysen. Band 2: Kompendium zum Werk. Band 2 ist ein umfassender Wegbegleiter durch Gödels Werk. In Einzeldarstellungen beleuchten namhafte Experten Gödels wissenschaftliches Vermächtnis sowohl historisch als auch aus Sicht der heutigen Forschung. Gegliedert ist der Band in die Kapitel: Formale Logik, Informatik-Logik, Mengenlehre, Kosmologie und Philosophie. Jedem thematischen Abschnitt ist ein kurzer Auszug aus der entsprechenden Originalarbeit Gödels vorangestellt, teilweise gefolgt von einschlägigen Briefen an und von Paul Bernays, Jacques Herbrand, Johann von Neumann, Hao Wang und Ernst Zermelo.