Digitalisierte Bilder gesperrt bis: 31.12.2050
| GK 4-1-110 |
| Logical hygiene, foundations and abstractions: Diversity among aspects and options |
| 2006-2008 |
verschiedene Versionen des Manuskriptes, zugehörige Korrespondenz und Unterlagen. Bei dem Text handelt es sich um Kreisels Beitrag zum Gödel Centenary 2006, bzw. zu dem Tagungsband Kurt Gödel and the foundations of mathematics. Horizons of truth, hg. v. Matthias Baaz u.a., Cambridge 2011. Enthalten sind zwölf Typoskriptversionen, die älteste vom 21.12.2006, die jüngste vom 4.11.2007, Teilstücke, handschriftliche Vorfassungen, E-Mails und maschinenschriftliche Briefe von Kenneth Derus an Kreisel aus dem Zeitraum vom 30.11.2006 bis 8.10.2007, ein Verlagsvertrag mit der Cambridge University Press, den Kreisel am 1.9.2008 unterschrieben hat, Kopien der Titelei und der Abstracts über die Beiträger zu dem Band sowie fünf Versionen des Beitrages von Angus Macintyre.
Derus, Kenneth
Macintyre, Angus J.; Mathematiker, 20. Jht. |
| maschinenschriftlicher Brief von Priscilla Greville vom 10.7.2011 (verso) |
| 610 Bl. |
| PAKN, GK (Georg Kreisel), GK 4-1-110 |
