Enthält: Korrespondenz zwischen Georg Kreisel und Dana Scott aus dem Zeitraum 8.1.1985 bis 19.11.1986, Briefe von oder an Dritte und Anlagen. GK 1-15-4 ist ein masch. Brief vom 23.7.1986 von Michael Detlefsen an Dana Scott. GK 1-15-5 ist ein hs. Brief vom 28.4.1986 an L. De Filippo, Sekretärin von Dana Scott an der Carnegie-Mellon-University. GK 1-15-7 ist der Durchschlag einer hs. Briefes vom 12.2.1986 an Richard Statman, GK 1-15-23 ein hs. Entwurf vom 19.4.1985 zu einem Brief an Statman. GK 1-15-8 enthält drei hs. Briefe vom 20.9., 1.10 und 10.11.1986 an De Filippo und einen masch. Brief von Dana Scott vom 4.11.1986. GK 1-15-16 enthält als Anlage eine Liste mit Corrigenda zur Kreisel-Bibliographie (Vorstufen: GK 2-8-7 und -8). GK 1-15-26 enthält als Anlage die Kopie eines Nachrufes von Rudolf Peierls auf Paul Adrien Maurice Dirac aus Physics Today 38 vom Januar 1985. GK 1-15-29 enthält als Anlage die Kopie der Vorderseite einer Postkarte, hs. beschrieben von Anne Getty. Die Kopie ist hs. kommentiert von unbekannter Hand. GK 1-15-33 ist die Kopie eines hs. Briefentwurfes vom 12.2.1985 an Julius Moravcsik. Bei GK 1-15-34 handelt es sich um die Kopie eines kurzen hs. korrigierten Typoskriptes mit dem Titel "Proof theory and the synthesis of programs: potential and limitations". GK 1-15-36 ist eine Karte mit der Bitte um einen Sonderdruck, ausgefüllt von Lynn England, mit Poststempel vom 10.9.1985 GK 1-15-39 ist die Kopie eines masch. Briefes vom 30.1.1985 von J. Moravcsik. Auf der Kopie hat Kreisel eine hs. Kurznachricht an Dana Scott notiert. GK 1-15-40 ist die Kopie eines masch. Briefes an Allen Wood vom 25.1.1985. Kreisel hat dem masch. Brief hs. hinzugefügt: Re: L.P.D. van den Dries. GK 15-1-41 ist die Kopie eines Zeitschriftenartikels von Anil Nerode und Leo A. Harrington mit dem Titel "The Work of Harvey Friedman". Bei GK 1-15-42 handelt es sich um die Kopie von zusammenhängenden Seiten aus einem größeren hs. Text zur Frage der Formalisierung und des Alltagswissens. GK 1-15-47 ist die Kopie eines hs. Briefes vom 3.12.1984 an Angus Macintyre. GK 1-15-48 enthält Kopien von fünf hs. Briefen an Horst Luckhardt aus dem Zeitraum Nov. 1984 bis Jan. 1985. GK 1-15-49 enthält Kopien eines masch. Briefes von Julius Moravcsik vom 21.12.1984 und Kreisels hs. Antwort.
Detlefsen, Michael, 1948 -
De Filippo, Lydia
England, Lynn
Getty, Ann.
Harrington, Leo A.
Macintyre, Angus
Moravcsik, J. M. E.
Nerode, Anil, 1932 -
Peierls, Rudolf Ernst, Sir, 1907 -
Statman, Richard
Scott, Dana S.
Wood, Allen W.
Physics today
Zentralblatt für Mathematik
