Unbestellbar bis: 31.12.2050,
Grund: personenbezogene Schutzfrist
Digitalisierte Bilder gesperrt bis: 31.12.2050
| GK 1-7 |
| Kreisel letters |
| 1978-1979 |
acht Briefe Kreisels an Dana Scott aus dem Zeitraum vom 9.10.1978 bis 12.12.1979 (GK 1-7-1, -4 und -5), Material zu zwei Gutachten (GK 1-7-1 und -7), eine Kopie von Seiten aus den Dissertationes Mathematicae (GK 1-7-15), eine masch. Selbstdarstellung der wissenschaftliche Resultate Göran Sundholms und zwei hs. Entwürfe Kreisels zu einem Gutachten über Sundholm (siehe auch GK 1-6-14 bzw. -18) sowie Kopien masch. und hs. Texte von Kreisel. Bei GK 1-7-2 handelt es sich um die Kopie einer masch. Vorfassung von Kreisels Artikel "Kurt Gödel : 1906-1978", GK 1-7-3 ist eine hs. Vorfassung des Teils IV der späteren, umfangreicheren Fassung (siehe GK 2-14-8), GK 1-7-8 eine masch. Vorfassung für Teil II dieser umfangreicheren Fassung. GK 1-7-6 ist ein hs. Entwurf zu einem Gutachten über Richard Statman, GK 1-7-7 die Kopie eines hs. Manuskriptes mit dem Titel "Some Questions on Fregean structures". GK 1-7-9 ist die Kopie eines Typoskriptes mit dem Titel "How Proof Theory Came By and Comes By Its Ordinals". Es handelt sich um eine Übersetzung des deutschsprachigen Beitrags aus dem Jahresbericht der Deutschen Mathematiker-Vereinigung 78 (1977). Die Seitenzahlen dieser Ausgabe sind am Rand aufgeführt. Bei den Stücken GK 1-7-10 bis -13 handelt es sich um Kopien der Korrekturfahnen zu den Artikeln "Finitismus", "Widerspruchsfreiheit", "Modell" und "Modelltheorie" aus dem Handbuch wissenschaftstheoretischer Begriffe, hrsg. von Josef Speck. Bei GK 1-7-14 handelt es sich um die Kopie eines hs. Entwurfes zu einem Inhaltsverzeichnis für ein Buch über Beweistheorie (vgl. GK 2-13)
Statman, Richard
Sundholm, Göran
Dissertationes mathematicae
Handbuch wissenschaftheoretischer Begriffe |
| 15 Stücke (119 Bl.) |
| PAKN, GK (Georg Kreisel), GK 1-7 |
