Der Philosoph Kurt Gödel: Von der Logik zur Kosmologie. Eine kritische Edition der unveröffentlichten Philosophischen Bemerkungen (Max Phil 1938–1955)
Forschungsprojekt Kurt Gödel philosophe: de la logique à la cosmologie / Kurt Gödel Philosopher: From Logic to Cosmology, gefördert von der französischen Agence Nationale de la Recherche unter der Gesamtleitung von Prof. Gabriella Crocco, L’Université de Provence, Frankreich.
Aufgabe dieses Projektes ist die Sichtung, Transkription und teilweise Veröffentlichung der noch unveröffentlichten philosophischen Bemerkungen des Mathematikers Kurt Gödel. (Editionsprojekt, Start August 2009; Laufzeit 48 Monate, gemeinsam mit Forschern aus den USA (Richard L. Tieszen, Akihiro Kanamori, Cheryl und John Dawson), Österreich (Robin Rollinger), Niederlande (Goran Sundholm) und Frankreich (Gabriella Crocco, Eric Audureau, Norma Yunez, Jean-Pascal Anfray, Marc van Atten, Paola Cantu).
Kurt-Gödel-Forschungsstelle (BBAW)