Briefe von Georg Kreisel an Dana Scott und einen Gegenbrief Scotts aus dem Zeitraum vom 7.7.1981 bis 18.4.1983, Korrespondenz mit Dritten und Anlagen. Ein Großteil der Dokumente GK 1-13-1 bis -44 betrifft die von Kreisel initierte Gödel-Tagung im Juli 1983 in Salzburg. GK 1-13 enthält zwei hs. Briefe an Solomon Feferman vom 13. und vom 15.4.1983 sowie die Kopie des Druckmanuskriptes von Kreisels Rezension von G. F. van der Hoevens Projections of lawless sequences für das Zentralblatt für Mathematik mit Eingangsstempel vom 28.3.1983. GK 1-13-4 ist die Kopie eines hs. Briefes an Olga Taussky-Todd vom 12.4.1983. GK 1-13-5 enthält in Kopieform einen hs. Briefes an Solomon Feferman vom 11.4.83 (verso mit hs. Kurznachricht an Dana Scott), einen masch. Brief von Stephen C. Kleene an Paul Weingartner vom 1.4.1983, Kreisels hs. Antwortbrief vom 6.4.1983 sowie die Kopie eines hs. Manuskriptes über "Some remarks on the undecidability results" von Kurt Gödel. Eine Kopie dieses Textes von Gödel liegt bei. Es handelt sich um eine Druckfahne mit hs. Korrekturen, vermutlich im Zusammenhang der Publikation in der Gödel-Werkausgabe von Feferman und anderen. Bei GK 1-13-8 handelt es sich um ein hs. Gutachten über einen den Forschungsantrag eines ungenannten Antragstellers, bei GK 1-13-9 um die Kopie eines hs. Briefes an Lou van den Dries vom 15.3.1983. GK 1-13-10 enthält die Kopie eines hs. Briefes vom 21.3.1983 an Karl Popper und die Kopie des hs. Antwortschreibens. Bei GK 1-13-11 handelt es sich um die Kopie eines masch. Briefes von Stephen Kleene vom 15.3.1983, bei GK 1-13-12 um die Kopie eines masch. Briefes vom 8.3.1983 von Leopold Schmetterer. GK 1-13-14 ist ein Notizzettel mit Telefonnummern. GK 1-13-15 ist ein hektographiertes hs. Manuskript mit der Überschrift "What is to be done?", datiert auf den 22.2.1983. GK 1-13-16 ist die Kopie eines hs. Briefes vom 24.2.1983 an Michael Dummett, GK 1-13-17 die Kopie eines hs. Briefes vom 21.2.1983 an Paul Weingartner. GK 1-13-24 ist ein hs., von Kreisel mit Streichungen versehener Brief vom 23.11.1982 an Stanley Wainer, GK 1-13-23 die masch. Abschrift. Bei GK 1-3-26 handelt es sich um ein hs. Exposé zu einer wissenschaftlichen Veranstaltung zur Würdigung Kurt Gödels mit einem kurzen Anschreiben an Leopold Schmetterer. GK 1-13-27 ist ein hs. Brief vom 6.10.1982 an Irene Scott mit einem langen Nachtrag an Dana Scott. GK 1-13-31 ist die Kopie eines hs. Briefes an Jean-Yves Girard vom 18.10.1982. GK 1-13-34 ist die Kopie eines hs. Briefes vom 4.10.1982 von Kleene, GK 1-1-34-32 eine Kopie der masch. Antwort Kreisels und GK 1-13-33 eine Kopie der Corrigenda-Seite zu Kreisels Gödel-Memoir von 1980. GK 1-13-35 enthält zwei hs. Briefe vom 17.9. und vom 4.5.1982 von A. S. Troelstra an Dana Scott sowie eine Kopie von Kreisels Rezension des Aufsatzes "The interpolation theorem in fragments of logics" (1981) von G. R. Renardel de Lavalette (Druckmanuskript in GK 1-13-46). GK 1-13-37 enthält einen masch. Brief von Dana Scott an John M. Kemeny vom 7.9.1982 und den masch. Antwortbrief. GK 1-13-46 enthält die Kopie eines masch. Briefes, datiert auf den 30.11.1981, von Walter Kaufmann-Bühler vom Springer-Verlag (New York) eine Gödel-Edition betreffend, mit hs. Antwortschreiben Kreisels sowie Kopien von Artikeln bzw. Druckmanuskripten folgender Rezensionen Kreisels: Carlo Celluci, "Proof Theory and Theory of Meaning" (1981), ein nicht identifizierbares Werk zur Beweistheorie, Kreisels Beitrag "Aussagequantoren" in der Festschrift für R. Freundlich (1981), ein nicht identifizierbares Werk zur mathematischen Logik in philosophischer Sicht, zwei Artikel von Marian Boykan Pour-El und Ian Richards (1979) und (1981). Beigegeben sind die erste Seite von Kreisels "Monadic Operators" (1981), ein Autoreferat zu einem Nachtrag zu "Constructivistic approaches to logic" sowie eine Originalseite aus Time vom 15.3.1982 mit einem Artikel über Ethnotherapie. GK 1-13-47 ist die Kopie eines hs. Briefes an Andrej Scedrov vom 2.6.1982, GK 1-13-48 die Kopie eines hs. Briefes an G. van der Hoeven vom selben Datum. GK 1-13-49 ist die Kopie einer masch. Publikationsliste Scedrovs. Bei GK 1-13-55 handelt es sich um ein Blatt mit Notizen, auch Telefonnummern, vermutlich von der Hand von Dana Scott. GK 1-13-57 ist die Durchschrift eines hs. Manuskriptes mit dem Titel "On Gramov's theorem - by van den Dries and Wilkie". GK 1-13-59 enthält 2 hs. Blätter. Kreisel hat notiert: Solovay's Notes. Bei GK 1-13-64 handelt es sich um einen hs. Entwurf zu einem Gutachten über die Dissertation von Wolfgang Friedrich.
Dummett, Michael, 1925 - 2011
Feferman, Solomon
Girard, Jean-Yves
Kaufmann-Bühler, Walter
Kleene, Stephen, 1909 - 1994
Popper, Karl R. (Karl Raimund), 1902 - 1994
Schmetterer, Leopold, 1919 -
Scedrov, Andrej, 1955 -
Scott, Irene Schreier
Solovay, Robert M.
Taussky, Olga
Van den Dries, Lou.
Van der Hoeven, Gerrit
Wainer, S. S.
Weingartner, Paul
Springer Publishing Company
Time (New York, N.Y. : 1923) |
