Unbestellbar bis: 31.12.2050,
Grund: personenbezogene Schutzfrist
Digitalisierte Bilder gesperrt bis: 31.12.2050
| GK 1-11 |
| Kreisel letters |
| 1980-1981 |
Briefe von Kreisel an Dana Scott aus dem Zeitraum 15.3. bis 4.4.1981, zwei weitere Briefe an/von Dritten sowie Anlagen (Artikel und Manuskripte). Bei den Stücken GK 1-11-1 bis -3 handelt es sich um drei Versionen des 1981 publizierten Artikels "Extraction of bounds. Interpreting some tricks of the trade". Die Typoskripte (Kopien) zeigen die Datierungen: 16.3.1981, 10.2.1981 und 19.1.1981. Bei GK 1-11-4 handelt es sich um die Kopie einer Fahne des Artikels "Neglected possibilities of processing assertions and proofs mechanically. Choice of problems and data". Die Fahne zeigt hs. Korrekturen und größere masch. Ergänzungen. Alle Korrekturen und Ergänzungen sind im Druck realisiert. Hs. ist als Datum Juni 1980 vermerkt. GK 1-11-5 ist die Kopie eines hs. Briefes vom 3.4.1981 an Harvey Friedman. GK 1-11-8 enthält einen hs. Brief von Daniel H. Fowler an Dana Scott vom 5.3.1981, ein Typoskript Fowlers mit dem Titel "Anthyphairetic ratio and Eudoxan proportion" und eine Seite aus einem anderen, offenbar bereits publizierten Artikel Fowlers. GK 1-11-9 ist die Kopie eines Artikel von William W. Tait mit dem Titel "A realizability interpretation of the theory of species", 1975. GK 1-11-10 ist die Kopie des Druckmanuskriptes für Kreisels Artikel "Zur Bewertung mathematischer Definitionen", 1981.
Fowler, D. H.
Friedman, Harvey, 1948 -
Scott, Dana S. (Dana Stewart)
Tait, William |
| 10 Stücke (107 Bl.) |
| PAKN, GK (Georg Kreisel), GK 1-11 |
