Digitalisierte Bilder gesperrt bis: 31.12.2050
| GK 2-5 |
| Manuskripte |
| [ca. 1972] |
Manuskripte und eine Fahnenkorrektur. GK 2-5-1 ist die Kopie eines zweiseitigen hs. Manuskripts mit dem Titel "Heyting's arithmetic and transfinite induction on primitive recursive well orderings", GK 2-5-2 die Kopie eines zweiseitigen hs. Manuskriptes mit dem Titel "What is a recursively analytic function of a complex variable" und GK 2-5-3 die Kopie eines längeren hs. Manuskriptes mit dem Titel "Two points in the theory of modeltheoretic languages". GK 2-5-4 ist die Kopie eines hs. Manuskriptes mit dem Titel "Bertrand Russell: critical or speculative philosopher". Von der Hand von Dana Scott ist vermerkt: Leeds Lecture Oct. 72. Offenbar handelt es sich um das Vortragsmanuskript eines Vortrages, den Kreisel am 16.10.1972 in Leeds gehalten hat. GK 2-5-5 ist die Kopie eines hs. Manuskriptes mit dem Titel "Bertrand Russell". Der 1972 unter dem Titel "Bertrand Russell's logic" abgedruckte Text unterscheidet sich nur in den letzten drei Abschnitten, die im hs. Text fehlen, und in kleineren stilistischen Abänderungen. GK 2-5-6 ist die Kopie eines hs. korrigierten Typoskriptes mit dem Titel "Bertrand Arthur William Russell 1872-1970, elected F.R.S. 1908". Es handelt sich vermutlich um die Druckvorlage für den Arikel in Biographical Memoirs of Fellows of the Royal Society 19 (1973), wobei allerdings Teil II fehlt. Beigegeben ist eine kurze hs. Notiz von Iris Murdoch. GK 2-5-7 ist die Kopie eines hs. korrigierten Typoskriptes, das vermutlich die Druckvorlage für Teil II des Russell-Memoirs ist. Bei GK 5-2-8 handelt es sich um die Kopie der Fahnenkorrektur des Russell-Memoirs. Die Kopie zeigt die hs. Korrekturen, wobei einige wenige Korrekturen auch noch in die Kopie eingetragen sind. GK 2-5-9 ist eine hektographierte Kopie eines hs. Manuskriptes von sieben Seiten mit dem Titel "ß-models", GK 2-5-10 eine hektographierte Kopie eines hs. Manuskriptes mit dem Titel "Choice of normalization steps: a pedagogic example". Bei GK 2-5-11 handelt es sich um die hektographierte Kopie eines hs. Manuskriptes mit dem Titel "What do we want to know about constructive mathematics?". Das Manuskript ist datiert auf den 1.8.1973. GK 2-5-12 ist eine hektographierte Kopie eines hs. Manuskriptes mit dem Titel "Countable Functionals and Neighbourhood functions". Es enthält einen Anhang mit der Auflistung von Ergänzungen, die Kreisel aufgrund der Publikation Metamathematical investigation of intuitionistic arithmetic and analysis (1973) von Anne S. Troelstra als nötig erachtete. Bei GK 2-5-13 handelt es sich um die Kopie eines hs. Manuskriptes mit dem Titel "Models and functional interpretations".
Murdoch, Iris; Philosophin, Schriftstellerin, 1919 - 1999 |
| 13 Stücke (212 Bl.) |
| PAKN, GK (Georg Kreisel), GK 2-5 |
