Inhalt einer mit der Aufschrift "Kreisel/Troelstra 1968" beschrifteten Kladde, zwei Briefe im Zusammenhang (GK 1-17-1 und -2) sowie Briefe, die sich ursprünglich an anderen Stellen fanden (GK 1-17-22 bis -30). GK 1-17-1 ist der Durchschlag eines masch. Briefes vom 29.9.1960 an William Tait, GK 1-17-2 ein masch. Brief vom 20.9.1967 von A.S. Troelstra. GK 1-17-4 enthält einen hs. undatierten Brief von Troelstra und den Durchschlag des Druckmanuskriptes von Kreisels Heyting-Rezension, erschienen in Journal of Symbolic Logic 32 (1967). GK 1-17-5 und -6 sind Kopien der jeweils ersten Seite von masch. Briefen von Troelstra vom 3.1. und vom 30.1.1968. GK 1-17-7 sind hs. Ausführungen mit dem Titel "A Formal System for Intuitionistic Analysis", offenbar Vorarbeiten für den Artikel von Troelstra und Kreisel in Annals of Mathematical Logic 1 (1970). Bei GK 1-18-8 und -9 handelt es sich um vier Seiten mit Notizen von der Hand Troelstras. GK 1-17-10 ist die Kopie einer masch. Zusammenstellung von Corrigenda, GK 1-17-11 ein dreiseitiges masch. Typoskript von Troelstra. GK 1-17-12 bis -16 sind Durchschläge hs. Briefe vom 8.2., 12.2., 15.2. und vom 17.2.1968 an Troelstra. GK 1-17-17 enthält einen Durchschlag eines hs. Briefes vom 20.2.1968 an Troelstra sowie einen masch. Brief vom 28.2.1968 von Troelstra. GK 1-17-18 ist die Kopie eines masch. Briefes vom 9.4.1968 an Troelstra. Bei GK 1-17-19 handelt es sich um die Kopie eines Typoskriptes von Troelstra mit dem Titel "The Theory of Choice Sequences"; GK 1-17-20 ist eine hs. Vorfassung. GK 1-17-21 ist die Kopie eines masch. Briefes vom 14.12.1970, unterschrieben von Dick de Jongh, Nelson Goodman, Akiko Kino, John Myhill und Richard E. Vesley. Bei GK 1-17-22 handelt es sich um einen hs. Brief vom 21.9.1979 an Dana Scott, GK 1-17-26 ist die Kopie eines masch. Briefes vom 13.12.1984 von Scott und GK 1-17-27 ein hs. Brief vom 18.12.1992 an Scott. GK 1-17-23 ist der Durchschlag eines masch. Briefes vom 26.1.1979 an einen Mr. Hunt vom Büro des Direktors des Institute for Advanced Study Gödels Nachlass betreffend. GK 1-17-25 ist die Kopie eines hs. Briefes vom 3.12.1984 an Andrej Scedrov, 1-17-25 die Kopie eines hs. Briefes vom selben Datum an Angus Macintyre. Bei GK 1-17-28 handelt es sich um eine hs. Laudatio of C.A.R. Hoare. Die Kopie der ersten Seite eines Artikels von Hoare aus einem Newsletter der Oxford University von 1993 ist beigegeben. GK 1-17-29 enthält einen hs. Brief an Dana Scott vom 28.12.1995, Kopien von zwei hs. Briefen an William Farmer vom 28.12.1995 und vom 10.1.1996 (mit hs. Notiz an Dana Scott) sowie eine Kopie von Kreisels Rezension des Bandes Computability in Analysis and Physics von M.B. Pour El und J.I. Richards in +Jahresbericht der Deutschen Mathematiker-Vereinigung+2 94 (1992). Kreisel hat die Kopie hs. annotiert.
Goodman, Nelson
Hoare, C. A. R. (Charles Antony Richard), 1934 -
Jongh, Dick de.
Kino, A.
Macintyre, Angus
Myhill, John
Scedrov, Andrej, 1955 -
Scott, Dana S.
Tait, William W. 1929 -
Troelstra, Anne S.; 1939 -
Vesley, Richard Eugene, 1932 -
Institute for Advanced Study (Princeton, N.J.)
Jahresbericht der Deutschen Mathematiker-Vereinigung |
