Digitalisierte Bilder gesperrt bis: 31.12.2050
| GK 2-1 |
| Manuskripte |
| 1957-[ca. 1968] |
Manuskripte und Druckmanuskripte. GK 2-1-1 ist der Durchschlag eines am 26.1.1957 eingereichten und im Archiv für mathematische Logik und Grundlagenforschung 3 (1957) publizierten Beitrags von Kreisel und H. Putnam mit dem Titel "Eine Unableitbarkeitsbeweismethode für den intuitionistischen Aussagenkalkül". Der im Druck am Ende erscheinende Nachtrag ist nicht Teil des Typoskriptes. Bei GK 2-1-2 handelt es sich um den Durchschlag eines Tpyoskriptes mit dem Titel "Spaces of computable functionals", GK 2-1-3 ist ein Typokript mit dem Titel "Extensionality conditions for functionals of type 3", GK 2-1-4 ein Typoskript mit dem Text des Artikels "A refinement of w-consistency", der im Journal of Symbolic Logic 22 (1957) publiziert wurde. Bei GK 2-1-5 handelt es sich um zwei hs. Seiten, vermutlich aus einem größeren Zusammenhang zum Thema der Beweistheorie. Eine Seite zeigt ein Schema, die zweite Seite schlüsselt die verwendendeten Kürzel auf. GK 2-1-6 ist ein hs. ergänzter Durchschlag eines Typoskriptes mit dem Titel "Ordinal logics and the characterization of informal concepts of proof", publiziert 1958. Bei GK 2-1-7 handelt es sich um einen hs. ergänzten Durchschlag eines Typoskriptes mit dem Titel "A remark on free choice sequences and the topological completeness proofs", publiziert 1958. Bei GK 2-1-8 handelt es sich um den Durchschlag eines Typoskriptes mit dem Titel "Set existence" von R.O. Gandy und Kreisel, publiziert 1960. GK 2-1-9 ist der Durchschlag eines hs. korrigierten Typoskriptes mit den Titel "Note on completeness and definability", publiziert 1961. Bei GK 2-1-10 handelt es sich um einen Durchschlag eines Typoskriptes mit dem Titel "w-models and ß-models". GK 2-1-11 ist ein Typoskript mit dem Titel "Effective versions of proofs in analytic number theory". Bei GK 2-1-12 handelt es sich um einen hs. ergänzten Matrizenabzug. Der Titel des Typoskriptes lautet: "Inductive definitions, hierarchies and subclasses of the class of recursive functions". GK 2-1-13 ist ein Typoskript mit dem Titel "Model theoretic meaning or recursive sets and effective operations". Bei GK 2-1-14 handelt es sich um die Kopie eines Typoskriptes mit dem Titel "Interpretation of analysis by means of constructive functionals of finite types", datiert auf August 1957. GK 2-1-15 ist der hs. ergänzte Durchschlag eines Typoskriptes mit dem Titel "Reflection principles and Herbrand's theorem". GK 2-1-16 sind zwei hs. Seiten mit der Überschrift "Extensionalité et continuité". Bei GK 2-1-7 handelt es sich um die Kopien von vier hs. Seiten mit der Überschrift "Finitely definable number theoretic functions and the choice of computation rules". Bei GK 2-1-18 und -19 handelt es sich um zwei Typoskripte mit den Titeln "Consequences of Brouwer's Bar Theorem" und "Proof theoretic results on intuitionistic higher order arithmetic". Beide Texte sind im Journal of Symbolic Logic 27 (1962) veröffentlicht worden. GK 2-1-20 ist der Durchschlag eines hs. Manuskriptes auf vier Seiten mit dem Titel "A formal system for intuitionistic analysis". GK 2-1-21 ist eine hektographierte Kopie mit hs. Ergänzung und mit Markierungen des Textes "Model theoretic invariants: applications to recursive and hyperarithmetic operations", den Kreisel bei einem Symposium 1963 vortrug und der 1965 publiziert wurde. Bei GK 2-1-22 handelt es sich um eine hektographierte Kopie eines hs. Textes mit dem Titel "Structured computation rules for numbertheoretic functions", bei GK 2-1-23 und 24 um Kopien zweier Typoskripte mit Corrigenda des 1967 publizierten Artikels "Informal rigour and completeness proofs". GK 2-1-25 ist eine hektographierte Kopie eines hs. Textes mit dem Titel "An eliminable use of the axiom of choice", GK 2-1-26 eine hektographierte Kopie eines hs. Textes mit dem Titel "Putting restrictions on meta-mathematical methods in their place", möglicherweise eine Vorarbeit zu dem 1967 zusammen mit Krivine veröffentlichten Band Elements of mathematical logic. GK 2-1-27 ist ein als Second Draft gekennzeichnetes Typoskript des 1967 publizierten Artikels "Two expository notes on foundations". GK 2-1-28 ist eine hektographierte Kopie eines Typoskriptes mit dem Titel "Recursive, subrecursive, metarecursive". Es handelt sich offenbar um das Druckmanuskript für die Konferenzakten von Kreisels Vortrag beim 1965 Symposium: Logic, Computability and Automata Trinkaus Manor, Oriskany, N.Y.
Gandy, R. O. (Robin O.)
Putnam, Hilary |
| Sachakte |
| GK 2-1-5 ist auf der Rückseite von schon benutztem Papier geschrieben (vermutlich Vorlesungsskript). |
