Kreisel letters

Akten

Enthält: 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

Angaben zum Objekt

• Archivaliensignatur: PAKN, GK Georg Kreisel, GK 1-11
• Umfang: 10 Stücke (107 Bl.)

Verweise und Beziehungen

• Kontext: Georg Kreisel >> Pittsburgh-Teil >> Kreisel letters
• Bestand: PAKN, GK Georg Kreisel

Beteiligte, Orts- und Zeitangaben

• Laufzeit: 1980-1981

Weitere Informationen

• Weitere Objektseiten: Objekt im "Archivportal-D" anzeigen
• Zugangsbeschränkungen: Für die Nutzung gesperrt bis 31.12.2050.
• Letzte Aktualisierung: 10.06.2025, 11:28 MESZ