Kreisel letters

Akten

Enthält: Briefe von Georg Kreisel an Dana Scott und einige Gegenbriefe, Korrespondenz mit Dritten und z.T. umfangreiche Anlagen. Die Korrespondenz mit Dana Scott umfaßt den Zeitraum vom 15.8. bis 12.12.1978. GK 1-6-1 enthält neben zwei Briefen an Dana Scott die Kopie eines Textes zur Ergänzung eines Wiederabdrucks eines 1953 veröffentlichten Artikels (weitere Kopie: GK 2-7-10). GK 1-6-3 enthält die Kopie eines masch. Briefes vom 18.11.1978 von G.E. Minc an Saunders Mac Lane und die Kopien zweier hs. Entwürfe Kreisels vom 4. und vom 6.12.1978. GK 1-6-4 ist ein masch. Brief vom 30.8.1978 von Ernst Kani an Dana Scott. Bei GK 1-6-5 und -6 handelt es sich um die Durchschläge kurzer masch. Texte Kreisels. GK 1-6-5 betrifft ein Aristoteles-Seminar, GK 1-6-6 ist Teil einer Vorfassung eines Redaktionsmanuskriptes mit einer Rezension eines Artikels von Y. L. Ersov (= GK 1-6-17) für das Zentralblatt für Mathematik. Bei GK 1-6-7 handelt es sich um die Kopie eines auf den 17-9.1978 datierten hs. Manuskriptes mit dem Titel "Definitions and some of their propositions needed für Analysing the Cantor-Bendixson theorem in terms of logical complexity". GK 1-6-14 enthält einen hs. Entwurf zu einem Gutachten über Göran Sundholm (Kopie einer hs. Vorfassung: GK 1-6-18) und die hs. Fassung des kurzen masch. Textes von GK 1-6-5. GK 1-6-16 und -25 sind Kopien eines Redaktionsmanuskriptes zu einer Rezension eines Artikels von Anders Kock im Zentralblatt für Mathematik. Der Eingangsstempel zeigt das Datum vom 4.4.1978. GK 1-6-19 enthält die hs. Entwürfe zu zwei Briefen Rudolf Gödel, den Bruder Kurt Gödels. Bei GK 1-6-20 handelt es sich um den Durchschlag eines Typoskriptes mit dem Titel "Sachlage und Elementarsatz" von Boguslaw Wolniewicz. Das Typoskript ist auf den 16.8.1977 datiert, ein Blatt mit einer hs. Ergänzung ist beigegeben. GK 1-6-23 enthält eine hs. Kurznotiz von Sara Dake und die Kopie eines masch. Briefentwurfes - vermutlich eines Briefes, den Scott Dake als Antwort auf einen Brief von Kreisel vom 23.10.1978 diktiert hatte. Bei GK 1-6-35 handelt es sich um eine Kopie der Einleitung zu einem von Kreisel konzipierten Band zur Beweistheorie (Original: GK 2-13-2). Diese Kopie zeigt die Aufschrift "Suppes". GK 1-6-37 enthält die Kopie eines Artikels von C. Smorynski aus dem Journal for Symbolic Logic 42 (1977) und die Kopie des Redaktionsmanuskriptes von Kreisels Rezension für das Zentralblatt für Mathematik mit Eingangsstempel vom 14.11.1978. GK 1-6-38 ist die Kopie einer Seite aus einer Veröffentlichung. Es handelt sich um eine Art Forschungsüberblick (Mathematik). Autor des Beitrags, aus dem die Seite stammt, ist Felix E. Browder. GK 1-6-39 ist die Kopie eines Forschungsantrags, vermutlich an die University of Stanford, von Kreisel. GK 1-6-41 ist die Kopie eines masch. Förderantrages an die National Science Foundation (NSF) von Nicolas D. Goodman über den Zeitraum Juni 1979 bis Mai 1981. GK 1-6-40 ist eine hs. Stellungnahme Kreisels. Das erste Blatt ist verso ein masch. Brief vom 2.2.1977 von B.E. Vance von der Reidel Publishing Company mit dem Vorschlag an Kreisel, einen Band zur Synthese Library zu beizutragen. GK 1-6-43 ist die Kopie eines masch. Förderantrages an die NSF von John E. Doner über den Zeitraum Juli 1979 bis Juni 1980, GK 1-6-42 Kreisels hs. Stellungnahme. GK 1-6-45 ist die Kopie eines masch. Förderantrages an die NSF von Harvey Friedman, Robert Byerly und Daniel Leivant über den Zeitraum vom Januar 1979 bis Juni 1980, GK 1-6-44 ist eine hs. Stellungnahme von Kreisel zu Byerly und Leivant. GK 1-4-46 ist eine hs. ergänzte Kopie eines Textes von Kreisel mit dem Titel "Monadic operators defined by means of propositional quantification in intuitionistic logic".

Browder, Felix E.
Byerly, Robert
Dake, Sara
Doner, John E.
Friedman, Harvey, 1948 -
Gödel, R. (Rudolf)
Goodman, Nicholas D.
Kani, Ernst J.
Leivant, Daniel Maurice Raphël.
Mac Lane, Saunders, 1909 - 2005
Minc, G. É
Scott, Dana S. (Dana Stewart)
Smorynski, Craig
Vance, B. E.
Wolniewicz, Boguslaw
National Science Foundation (U.S.)
Reidel Publishing Company
Journal for symbolic logic (Pasadena, Calif.)
Zentralblatt für Mathematik und ihre Grenzgebiete

Object Details

• Reference number: PAKN, GK Georg Kreisel, GK 1-6
• Extent: 46 Stücke (185 Bl.)

References and Relationships

• Context: Georg Kreisel >> Pittsburgh-Teil >> Kreisel letters
• Holding: PAKN, GK Georg Kreisel

Contributors, Places and Time

• Date of creation: 1977-1978

Further information

• Other object pages: Show object in "Archivportal-D"
• Zugangsbeschränkungen: Für die Nutzung gesperrt bis 31.12.2050.
• Last update: 10.06.2025, 11:28 AM CEST