- Bestand PAKN, GK Georg Kreisel
Vollansicht Verzeichnungseinheit GK 1-12
| Signatur: | GK 1-12 |
| Titel: | Kreisel letters |
| Laufzeit: | 1981-1982 |
| Enthält: | 12 Briefe von Georg Kreisel an Dana Scott aus dem Zeitraum vom 7.10.1981 bis 27.5.1982 und Anlagen in Form von Manuskripten, Zeitungsausschnitten und Kopien von Briefen an Dritte. Bei GK 1-12-2 handelt es sich um ein hs. Manuskript einer Rezension von Brouwer's Cambridge lectures on intuitionism, ed. D. van Dalen, Cambridge 1981. GK 1-12-4 enthält Kopien von zwei Druckmanuskripten zu Rezensionen Kreisels für das Zentralblatt für Mathematik. Die erste Rezension bezieht sich auf den Band Logik, Ethik und Sprache. Festschrift für R. Freundlich (1981), die zweite (mit Eingangsstempel vom 7.4.1982) auf den Beitrag von Anne Troelstra in Studia Logica 40 (1981). GK 1-12-5 enthält die Kopie eines Typoskriptes mit dem Titel "Some Applications of a Model Theoretic Fact To (Semi-) Algebraic Geometry" von Lou van den Dries, die Kopie der ersten Seiten eines hs. Briefes an Delzell vom 17.2.1982, die Kopie eines hs. Briefes an Anne Troelstra vom 9.2.1982 und einen hs. annotierten Originalzeitungsausschnitt mit einem Artikel von Bill Beyda über einen Algorithmus zur Bestimmung von Primzahlen. GK 1-12-6 enthält die Kopie eines Forschungsantrags an den NSF von Penolope Maddy mit Datum vom 2.2.1982, eine hs. ergänzte Seite aus dem Manuskript der Rezension von zwei Aufsätzen von Marian B. Pour-El und Ian Richards, die Kreisel für The Journal of Symbolic Logic 47 (1982) verfaßte, sowie die Kopie eines hs. Briefes vom 12.1.1982 an William Craig. GK 1-12-7 enthält das vollständige Rezensionsmanuskript zu der Seite in GK 1-12-6 sowie das hs. Manuskript für eine Selbstrezension von Kreisels "Monadic operators defined by means of propositional quantification in intuitionistic logic", aus +1Reports on Mathematical Logic 12 (1981). GK 1-12-8 ist ein hs., GK 1-12-9 ein masch. Manuskript eines im November 1981 gehaltenen Vortrags. Der Text stellt offenbar eine Vorstufe dar zu "Mathematical logic: Tool and object lesson for science", erschienen in Synthese 62 (1985). GK 1-12-13 enthält eine hs. Fassung eines Anhangs zum eigentlichen Text, die masch. Fassung dieses Anhangs ist in GK 1-12-14 enthalten. GK 1-12-10 enthält die Notiz über einen eingegangenen Anruf für Dana Scott von Kreisel und eine Telefonnummer von Harvey Friedman. GK 1-12-12 enthält das Druckmanuskript einer Rezension von Albert Vissers Beitrag in Indagationes Mathematicae 84 (1981) für das Zentralblatt für Mathematik (Eingangsstempel: 9.11.81), die Kopie eines hs. Briefes vom 23.11.81 an Francis Crick sowie ein hs. ergänztes Typoskript des Artikels "Finiteness theorems in arithmetic". Die hs. eingetragene Ergänzung ist im Druck berücksichtigt. GK 1-12-14 enthält die Kopie eines hs. Entwurfs zu einem Brief an G. Takeuti vom 7.12.1981, ein hs. korrigiertes Typoskript der Rezension eines Artikels von M. Kaufmann und E. Kranakis aus der Zeitschrift für Mathematik und Grundlagen der Logik 30 (1984) sowie die Kopie eines Druckmanuskriptes für eine Rezension von C. Celluccis Artikel "Proof theory and the theory of meaning" (1981) für das Zentralblatt für Mathematik (Eingangsstempel: 9.11.81). Bei GK 1-12-15 handelt es sich um das Druckmanuskript des 1982 erschienenen Artikels "Constructive logic versus algebraization I" von Kreisel und A. Macintyre. Beyda, William J. Craig, William, 1918 - Crick, Francis, 1916 - 2004 Delzell, Charles N. 1953- Friedman, Harvey, 1948 - Macintyre, Angus Maddy, Penelope Scott, Dana S. (Stewart) Takeuti, Gaisi, 1926 - Troelstra, A. S. (Anne Sjerb) Van den Dries, Lou. |
| Umfang: | 15 Stücke (214 Bl.) |
| Bestellsignatur: | PAKN, GK (Georg Kreisel), GK 1-12 |