Archive der Universität Konstanz

You are not logged in.

Archives

  • Tectonics are limited to your search, you can use the "+" to show the normal archive tree.
    Archive der Universität Konstanz
    Philosophisches Archiv
    Vor- und Nachlässe
    PAKN, OB Oskar Becker
    PAKN, RC Rudolf Carnap
    PAKN, PF Paul Feyerabend
    PAKN, GG Gerhard Gentzen
    PAKN, HJ Hans Jonas
    PAKN, WK Wilhelm Kamlah
    PAKN, VK Viktor Kraft
    PAKN, GK Georg Kreisel
    Pittsburgh-Teil
    Kreisel letters
    Manuscripts
    GK 2-1 - Manuskripte - 1957-[ca. 1968]
    GK 2-2 - Manuskripte - [ca. 1968]-[nicht nach 1978]
    GK 2-3 - Manuskripte - 1969-1971
    GK 2-4 - Manuskripte - 1968-1972
    GK 2-5 - Manuskripte - [ca. 1972]
    GK 2-6 - Manuskripte - [ca. 1973]
    GK 2-7 - Manuskripte - 1973-1978
    GK 2-8 - Manuskripte - [ca. 1978]-[ca. 1985]
    GK 2-9 - Manuskripte - [ca. 1981]-1995
    GK 2-10 - Kreisel - Krivine - 1962-[ca. 1973]
    GK 2-11 - Mostly on Gödel - [ca. 1979]
    GK 2-12 - Fragmente und Verschiedenes - 1938-1989
    GK 2-13 - Proofs and Provability - 1978
    GK 2-14 - Wittgenstein O.U.P - 1979-1980
    GK 2-15 - The Collected papers of Gerhard Gentzen - [ca. 1972]
    GK 2-16 - MSS of Kreisel Reviews - 1952-1990
    Digitized images are blocked until: 31.12.2050

    Full view Unit of Description GK 2-16

    Reference number: GK 2-16
    Title: MSS of Kreisel Reviews
    Inclusive dates: 1952-1990
    Contents: Manuskripte und Druckfahnen von Rezensionen sowie einige wenige gedruckte Rezensionen in Kopieform. Gk 2-16-1 ist eine Kopie der im Bulletin of the London Mathematical Society 22 (1990) erschienenen Rezension des 1. Bandes von Constructivism in Mathematics von A.S. Troelstra und Dirk van Dalen. Bei GK 2-16-2 handelt es sich um eine Kopie des Typoskriptes der in Grazer Philosophische Studien 24 (1985) erschienenen Rezension des Bandes Strukturtypen der Logik von Wolfgang Stegmüller und Varga von Kibéd. GK 2-16-3 und -4 sind Kopien von Typoskripten, die zwei Fassungen der im Bulletin of the American Mathematical Society (N.S.) 13 (1985) erschienenen Rezension des Bandes Fundamentals of Generalized Recursion Theory von M.C. Fitting darstellen. GK 2-16-4 ist das Druckmanuskript. Es enthält kleine hs. Zusätze, die im Druck nicht realisiert sind. Die erste Seite des Tpyoskriptes ist doppelt vorhanden, die beiden Kopien zeigen verschiedenartige Vermerke. GK 2-16-6 bis -8 sind Kopien von masch. Rezensionsmanuskripten auf Formularen vom Zentralblatt für Mathematik aus dem Jahre 1984. Es handelt sich um Texte von Göran Sundholm und Scott Weinstein, die Kreisel mit "Intuitionistische Grundlagen" verschlagwortete. GK 2-16-9 ist die Kopie eines masch. ausgefüllten Formulars vom Zentralblatt für Mathematik aus dem Jahre 1984 für eine Rezension von Joel Spencer, "Large Numbers and Unprovable Theorems" erschienen in American Mathematical Monthly 90 (1983), GK 2-16-10 enhält die Kopie einer solchen Vorlage vom Dezember 1983 für den Artikel "Constructive logic versus algebraization I", den Kreisel mit A. Macintyre 1982 publizierte. Bei GK 2-16-11 handelt es sich um die Kopie eines Typoskriptes von Kreisels Gutachten über einen von M. Kaufmann und E. Kranakis 1984 in der Zeitschrift für mathematische Logik und Grundlagen der Mathematik publizierten Artikel. Kreisels Gutachten war an die Transactions of the American Mathematical Society gerichtet. GK 2-16-12 ist die Kopie einer gedruckten Rezension von Semantical Investigations in Heyting's Intuitionistic Logic (1981) von Dov M. Gabbay. Bei GK 2-16-13, -14 und -15 handelt es sich um Kopien von masch. ausgefüllten Formularen vom Zentralblatt für Mathematik aus den Jahren 1979 und 1980. Besprochen sind Arbeiten von R.O. Gandy und J.M.E. Hyland, von de Swartz und Smorynski. GK 2-16-16 ist das hs. Manuskript eines 1979 von J.M.E. Hyland publizierten Artikels "Filter spaces and continuous functionals". Bei GK 2-16-17 handelt es sich um die Kopie eines masch. ausgefüllten Formulars vom Zentralblatt für Mathematik aus Jahre 1979. Besprochen ist ein Artikel von N. Goodmann aus dem Journal of Symbolic Logic 43 (1978). GK 2-16-18 enthält drei masch. Durchschläge, offenbar von NSF-Gutachten für William Craig, Gabriel Stolzenberg sowie Saul A. Kripke und Simon Kochen. GK 2-16-19 ist der Durchschlag eines Rezensionstyposkriptes. Der besprochene Artikel beschäftigt sich mit der Kontinuumshypothese und Mengentheorie zweiter Ordnung. GK 2-16-20 ist das Typoskript einer Rezension des 1974 publizierten Artikels von Kreisel und G. Takeuti "Formally self-referential propositions for cut free classical analysis and related systems"; GK 2-16-23 ist ein Durchschlag eines anderen Typoskriptes mit dem gleichen Text. GK 2-16-21 ist das Typoskript einer Rezension des 1975 im Journal of Symbolic Logic publizierten Artikels von William Powell, "Extending Gödel's Negative Translation to ZF". GK 2-16-22 ist der Durchschlag eines Typoskriptes mit einer Rezension des Artikels "Bemerkungen zu Regel und Schema", erschienen in den Lectures Notes in Mathematics 500 (1975) von Bruno Scarpellini. GK 2-16-24 ist die Kopie eines masch. ausgefüllten Formulars vom Zentralblatt für Mathematik aus dem Jahre 1976. Es handelt sich um eine Selbstrezension von Kreisels Artikel "Observations on a recent generalization of completeness theorems due to Schütte", erschienen in den Lectures Notes in Mathematics 500 (1975). Auf das Formular hat Kreisel hs. eine Mitteilung an Dana Scott geschrieben. GK 2-16-25 ist der Durchschlag eines Typoskriptes mit einer Rezension des Artikels "Structural Characterizations of Classes of Relations" (1972) von Yiannis N. Moschovakis. Kreisel hat hs. eine auf den 7.5.1975 datierte Mitteilung an Dana Scott und ein PS auf den Durchschlag geschrieben. GK 2-16-26 ist ein hs. Manuskript der Rezension eines Artikels von Leo Harrington aus dem Jahre 1974. Bei GK 2-16-27 und -28 handelt es sich um Kopien zweier masch. ausgefüllter Formulare vom Zentralblatt für Mathematik aus dem Jahre 1975. GK 2-16-27 ist die Rezension eines Artikel von G. Metakides/A. Nerode mit dem Titel "Recursion theory and algebra" (1975), GK 2-16-28 eine Selbstrezension des Artikels "A notion of mechanistic theory" aus Synthese 29 (1974). GK 2-16-29 ist ein hs. Entwurf zu einem Brief an F.W. Gehring, den Herausgeber der Mathematical Reviews. GK 2-16-30 ist die Kopie eines masch. ausgefüllten Formulars des Zentralblatt für Mathematik. Es handelt sich um eine Rezension des Artikels "Degree theory on admissible ordinals" (1974) von Stephen G. Simpson. GK 2-16-31 ist der masch. Durchschlag einer Rezension des Artikels "A note on indicator functions" (1973) von John Myhill, GK 2-16-32 der masch. Durchschlag einer Rezension des Artikels "Abstract computability versus analog-generability" (1973) von Marian Boykan Pour-El. GK 2-16-33 ist die Kopie eines masch. Rezensionstyposkriptes für das Zentralblatt für Mathematik aus dem Jahre 1974. Besprochen ist der Artikel "The faithfulness of the interpetation of arithmetic in the theory of constructions" (1973) von Nicholas D. Goodman. Bei GK 2-16-34 handelt es sich um einen hs. ergänzten Durchschlag eiens Rezensionstyposkriptes. Rezensiert ist der Artikel "Two theorems about projective sets" (1972) von A.S. Kechris und Y.N. Moschovakis. GK 2-16-35 ist die hektographierte Kopie eines ausgefüllten Formulars des Zentralblatt für Mathematik. Es handelt such um eine Selbstrezension von Kreisels "Which number theoretic problems can be solved in recursive progressions ..." (1972). GK 2-16-36 ist die Kopie eines Typoskriptes mit dem Titel "Waht have we learnt from Hilbert's second problem?". Vermutlich handelt es sich um ein Abstract zu dem längeren Vortrag bzw. gleichnamigen, 1974 publizierten Artikel von Kreisel. GK 2-16-37 ist ein hs. Manuskript und GK 2-16-38 der masch. Nachtrag zu einer Rezension des Artikels "Recursion in the superjump" (1974) von Aczel und Hinman. GK 2-16-39 ist ein hs. ergänzter Durchschlag eines Rezensionstyposkriptes des Artikels "The fine structure of the constructible hierarchy" (1972) von Björn Jensen. GK 2-16-40 ist der hs. korrigierte Durchschlag, und GK 2-16-41 die hektographierte Kopie eines Rezensionstyposkriptes des Artikels "Logic, Computation and Philosophy" (1971) von Hao Wang. GK 2-16-42 ist ein hs. Rezensionsmanuskript des Artikels "Omitting types" (1972) von Thomas J. Grilliot, GK 2-16-43 ein hs. Rezensionsmanuskript des Artikels "The game quantifier" (1972) von Yiannis N. Moschovakis. GK 2-16-44 ist eine hektographierte Kopie eines masch. ausgefüllten Formulars des Zentralblatt für Mathematik aus dem Jahre 1972. Es handelt sich um eine Rezension des Artikels "Recursion theoretic structure for relational systems" (1971) von Daniel Lacombe. GK 2-16-45 und -46 sind ebenfalls Kopien von masch. ausgefüllten Formularen des Zentralblatt für Mathematik aus dem Jahre 1972. Es handelt sich um Rezensionen von Artikeln aus dem Jahre 1971 von Yiannis N. Moschovakis und demselben Autor zusammen mit Peter G. Hinman. GK 2-16-47 ist der hs. korrigierte Durchschlag eines Rezensionstyposkriptes. Rezensiert sind die beiden Artikel "Arithmetische und hyperarithmetische Prädikate I" (1971) und II (1972) von D. Rödding. GK 2-16-48 ist der hs. korrigierte Durchschlag eines Rezensionstyposkriptes. Rezensiert ist der Band Einführung in die mathematische Logik. Teil II (1972) von Günter Asser. GK 2-16-49 ein hs. Rezensionsmanuskript. Rezensiert ist der Artikel "On a predicative extension of the theory of admissible sets" (1972) von W. Marek und M. Srebrny. GK 2-16-50 ist die hektographiert Kopie eines masch. ausgefüllten Formulars des Zentralblatt für Mathematik aus dem Jahre 1971. Es handelt sich um eine Selbstrezension von Kreisels "A survey of proof theory II" (1971). GK 2-16-51 ist die hektographierte eines masch. ausgefüllten Formulars der Mathematical Reviews aus dem Jahre 1971. Rezensiert ist der Artikel "Categorical algebra and set-theoretic foundations" (1971) von Saunders Mac Lane. GK 2-16-52 ist die Kopie eines masch. ausgefüllten Formulars vom Zentralblatt für Mathematik aus dem Jahre 1972. Rezensiert ist der Artikel "The next admissible set" (1971) von Barwise, Gandy und Moschovakis. Bei GK 2-16-53 handelt es sich um eine Kopie aus dem Review-Teil des Journal of Symbolic Logic 37 (1972). Sie enthält eine Rezension des Artikels "Mathematics without foundations" (1967) von Hilary Putnam. GK 2-16-54 und -55 sind Kopien von masch. ausgefüllten Formularen des Zentralblatt für Mathematik mit Selbstrezensionen von Kreisels Artikeln "Some reasons for generalizing recursion theory" (1971) und "Two notes on the foundations of set-theory" (1969). GK 2-16-56 und -57 sind Kopien von masch. ausgefüllten Formularen des Zentralblatt für Mathematik. Es handelt sich um Rezensionen der beiden Artikel "Abstract first order computability" (1969) und "Abstract computability and invariant definability" (1970) von Yiannis N. Moschovakis. Bei GK 2-16-58, -59 und -60 handelt es sich um Kopien von masch. ausgefüllten Formularen des Zentralblatt für Mathematik für Selbstrezensionen der Kreisel-Artikel "Hilbert's programme and the search for automatic proof procedures" (1970), "The formalist-positivist doctrine of mathematical precision in the light of experience" (1970) und "Church's thesis" (1970). GK 2-16-61 ist der hs. ergänzte Durchschlag eines Typoskriptes der Rezension des Artikels "Definability in axiomatic set theory II" (1970) von Azriel Lévy. GK 2-16-62 und -63 sind hs. Rezensionsmanuskripte zweier Artikel von William W. Tait. Der erste Artikel ist "Constructive reasoning" (1968), der zweite "Intensional of finite type" (1967). GK 2-16-64 ist der Durchschlag eines Typoskriptes der Rezension des Artikels "Unsolvability in the constructive predicate calculus of certain classes of formulas containing only monadic predicate variables" (1965) von S.J. Maslov, G.E. Minc und V.P. Orevkov. Bei GK 2-16-65 handelt es sich um ein hs. Rezensionsmanuskript. Kreisel hat als Überschrift notiert: "Kripke models for int. pred. logic". GK 2-16-66 ist der Durchschlag eines hs. Briefes vom 20.5.1969 an den Herausgeber der Mathematical Reviews. Gegenstand ist Kreisels Artikel "Observations on popular discussions of foundations" (1971). GK 2-16-67 ist die Kopie eines masch. ausgefüllten Formulars der Mathematical Reviews aus dem Jahre 1969. Es handelt sich um eine Rezension des Artikels "Free choice sequences" von Amitabha Ghose (1968). GK 2-16-68 ist die hektographierte Kopie eines masch. Rezensionstyposkriptes. Rezensiert ist der Artikel "Mathematics without foundations" (1967) von Hilary Putnam. GK 2-16-69 ist der Durchschlag eines hs. Rezensionsmanuskriptes. Rezensiert ist der Artikel "Axioms for computation theories - first draft" (1971) von Yiannis Moschovakis. Die Rezension erschien 1973 im Zentralblatt für Mathematik. GK 2-16-70 ist die Kopie eiens masch. ausgefüllten Formulars der Mathematical Reviews aus dem Jahre 1969. Rezensiert ist der Artikel "An Approach to constructive mathematical logic" (1968) von A.A. Markov. Bei GK 2-16-71 und -72 handelt es sich um masch. ausgefüllte Formulare der Mathematical Reviews aus dem Jahre 1969. Rezensiert sind die Artikel "The constructivisation of abstract mathematical analysis" (1968) von E. Bishop und "A conception of deductive sciences" (1967) von Maria Kokoszynska. GK 2-16-73 und -74 sind Kopien von masch. ausgefüllten Formularen für das Zentralblatt für Mathematik aus dem Jahre 1968. Rezensiert sind der Artikel "Lawless sequences of natural numbers" (1968) von Kreisel selbst und "Hyperanalytic predicates" (1967) von Yiannis Moschovakis. GK 2-16-75 ist der Durchschlag eines Typoskriptes mit dem Titel "Schwichtenberg's paper on bar recursion of types 0 and 1". Es handelt sich um ein Publikationsgutachten. GK 2-16-76 ist die Kopie einer Buchbesprechung von The Double Helix von James D. Watson, erschienen im Scientific American vom Juli 1968, GK 2-16-77 die Kopie eines masch. Briefes vom 15.7.1968 an die Herausgeber des Scientific American in Sachen dieses Artikels. GK 2-16-78 ist die Kopie eines masch. ausgefüllten Formulars für Mathematical Reviews aus dem Jahre 1965. Rezensiert ist der Artikel "Theory of provable recursive functions" (1965) von Patrick C. Fischer. Bei GK 2-16-79 handelt es sich um den Durchschlag eines Typoskriptes von einer Rezension des Artikels "Transfinite recursive progressions of axiomatic theories" von Solomon Feferman (1963). Die Rezension ist 1965 im Zentralblatt für Mathematik erschienen. GK 2-16-80 ist die Kopie eines Rezensionstyposkriptes. Besprochen ist ein 1962 publizierter Artikel von Charles Parsons für das Zentralblatt für Mathematik. GK 2-16-81 ist die Kopie eines Rezensionstyposkriptes. Besprochen ist der Artikel "On the consistency and undecidability of recursive arithmetic" (1961) von Harvey E. Rose für Mathematical Reviews. GK 2-16-82 enthält die Kopie eines Rezensionstyposkriptes und den Durchschlag einer leicht bearbeiteten Fassung. Besprochen ist der Artikel "Arithmetization of metamathematics in a general setting" (1960) von S. Feferman für Mathematical Reviews; GK 2-16-83 ist die Druckfahne, die sich vom Manuskript und auch von der gedruckten Fassung stark unterscheidet. GK 2-16-84 enthält Kopien von Rezensionen Kreisels aus dem Journal of Symbolic Logic aus der Zeit von 1952 bis 1982. Bei GK 2-16-85 handelt es sich um eine Kopie des masch. Typoskriptes der Kreisel-Rezension von Kurt Schüttes Beweistheorie (1960). Die Rezension erschien im Journal of Symbolic Logic 25 (1960)

    Gehring, Frederick W.; Mathematiker, Hochschullehrer, 1925 -
    Scott, Dana S.; Mathematiker, Logiker, Informatiker, Philosoph, 1932 -
    American Mathematical Monthly
    Bulletin (new series) of the American Mathematical Society
    Bulletin of the London Mathematical Society
    Journal of symbolic logic
    Mathematical reviews
    Scientific American
    Transactions of the American Mathematical Society
    Zentralblatt für Mathematik
    Scope: 85 Stücke (318 Bl.)
    Remarks: Eine der Seiten von GK 2-16-26 ist auf schon benutztem Papier geschrieben (Personenverzeichnis Philosophy Faculty, Herbst 1974)
    Order reference number: PAKN, GK (Georg Kreisel), GK 2-16
    GK 2-17 - Reviews from the Zentralblatt - 1978
    GK 2-18 - Kreisel Bibliographie - 1985-1991
    GK 2-19 - Bibliography Corrections - 1982-1990
    GK 2-20 - Bibliography, Old - 1962-1985
    Lecture Notes
    Salzburg-Teil
    Sonderdruck- und Schriftensammlung
    Korrespondenz mit Verena Huber-Dyson
    Korrespondenz mit Albert Visser
    Korrespondenz mit Brian McGuinness
    PAKN, PL Paul Lorenzen
    PAKN, HR Hans Reichenbach
    PAKN, BT Bruno Thüring
    Deposita
    Sozialwissenschaftliches Archiv
    Universitätsarchiv