Der Mathematiker Kurt Gödel hat über einen Zeitraum von 22 Jahren (1934-1955) philosophische Bemerkungen, die so genannten Maximen Philosophie (Max Phil), niedergeschrieben. Sie sind in 15 Notizbüchern in der Kurzschrift Gabelsberger...

First English translation of revolutionary paper (1931) that established that even in elementary parts of arithmetic, there are propositions which cannot be proved or disproved within the system. Introduction by R. B. Braithwaite. von...

"Wahrheit & Beweisbarkeit: Dokumente und historische Analysen" von Kurt Gödel ist eine Sammlung seiner wichtigsten Arbeiten und Schriften. Das Buch bietet einen tiefen Einblick in die Gedankenwelt dieses bedeutenden Logikers und...