66 found
Sort by:
Disambiguations:
G. Kreisel [48]Georg Kreisel [18]
  1. S. Feferman, G. Kreisel & S. Orey (forthcoming). 1 — Consistency and Faithful Interpretations. Archive for Mathematical Logic.
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  2. Georg Kreisel (2011). Logical Hygiene, Foundations, and Abstractions: Diversity Among Aspects and Options. In Matthias Baaz (ed.), Kurt Gödel and the Foundations of Mathematics: Horizons of Truth. Cambridge University Press. 27.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  3. G. Kreisel (1998). Second Thoughts Around Some of Göde's Writings:. Synthese 114 (1):99-160.
    No categories
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  4. G. Kreisel (1992). On the Idea(1) of Logical Closure. Annals of Pure and Applied Logic 56 (1-3):19-41.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  5. Georg Kreisel (1991). Review: Kurt Godel, Solomon Feferman, John W. Dawson, Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, Jean van Heijenoort, Collected Works of Kurt Godel 1938-1974. [REVIEW] Journal of Symbolic Logic 56 (3):1085-1089.
  6. G. Kreisel (1990). Review of K. Gödel's Collected Works, Vol. II [Oxford Univ. Press, New York, 1990]. [REVIEW] Notre Dame Journal of Formal Logic 31 (4):602-641.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  7. G. Kreisel (1989). Review: Allen Hazen, Predicative Logics. [REVIEW] Journal of Symbolic Logic 54 (3):1092-1094.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  8. Georg Kreisel (1987). Book Review: Collected Works, Vol. I [Oxford Univ. Press, New York, 1986] by K. Gödel. [REVIEW] Notre Dame Journal of Formal Logic 29 (1):160-181.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  9. Georg Kreisel (1987). Church's Thesis and the Ideal of Informal Rigour. Notre Dame Journal of Formal Logic 28 (4):499-519.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  10. M. Hyland Gurevich, G. Kreisel, G. Longo, D. S. Scott & D. van Dalen (1986). The Philosophy Department of the Rijksuniversiteit Utrecht Organizes the Conference “Church's Theses After Fifty Years”. Among the Invited Speakers Are E. Borger, RO Gandy, J.-Y. Girard, Y. [REVIEW] Annals of Pure and Applied Logic 30:330.
     
    My bibliography  
     
    Export citation  
  11. G. Kreisel (1985). Wolfgang Stegmüller und Matthias Varga Von Kibed: Strukturtypen der Logik. Grazer Philosophische Studien 24:185-195.
    No categories
    Translate to English
    | Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  12. Georg Kreisel (1985). Mathematical Logic: Tool and Object Lesson for Science. Synthese 62 (2):139 - 151.
    The object lesson concerns the passage from the foundational aims for which various branches of modern logic were originally developed to the discovery of areas and problems for which logical methods are effective tools. The main point stressed here is that this passage did not consist of successive refinements, a gradual evolution by adaptation as it were, but required radical changes of direction, to be compared to evolution by migration. These conflicts are illustrated by reference to set theory, (...)
    No categories
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  13. G. Kreisel (1984). Frege's Foundations and Intuitional Logic. The Monist 67 (1):72-91.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  14. G. Kreisel (1983). Saul A. Kripke, Wittgenstein on Rules and Private Language Reviewed By. Philosophy in Review 3 (6):287-289.
    Direct download  
     
    My bibliography  
     
    Export citation  
  15. G. Kreisel (1982). D. Van Dalen, Ed., Brouwer's Cambridge Lectures on Intuitionism Reviewed By. Philosophy in Review 2 (5):249-251.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  16. G. Kreisel (1982). Review: Marian Boykan Pour-El, Ian Richards, A Computable Ordinary Differential Equation with Possesses No Computable Solution; Marian Boykan Pour-El, Ian Richards, The Wave Equation with Computable Initial Data Such That its Unique Solution is Not Computable. [REVIEW] Journal of Symbolic Logic 47 (4):900-902.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  17. Georg Kreisel (1978). The Motto of 'Philosophical Investigations' and the Philosophy of Proofs and Rules. Grazer Philosophische Studien 6:13-38.
    Ausgangspunkt dieses Artikels ist die Einsicht, die auch von Wittgenstein und der "schweigenden Mehrheit" geteilt wird, daß die meisten sogenannten fundamentalen Begriffe und Probleme der Philosophie erkenntnistheoretisch unrentabel sind, insbesondere der Begriff der Gültigkeit (von Beweis- und Rechenregeln) und seine traditionelle Problematik. Im Gegensatz zu Wittgenstein wird diese Einsicht aber nicht auf "Sinnlosigkeit", d.h. Präzisionsunfähigkeitjener Problematik, sondern auf ihre Oberflächl d.h. unangemessene Allgemeinheit, zurückgeführt.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  18. Georg Kreisel (1975). Review: Solomon Feferman, Ordinals and Functionals in Proof Theory. [REVIEW] Journal of Symbolic Logic 40 (4):625-626.
    Direct download  
     
    My bibliography  
     
    Export citation  
  19. G. Kreisel (1974). A Notion of Mechanistic Theory. Synthese 29 (1-4):11 - 26.
    No categories
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  20. Georg Kreisel (1974). Review: Hao Wang, Logic, Computation and Philosophy. [REVIEW] Journal of Symbolic Logic 39 (2):358-359.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  21. G. Kreisel (1972). Which Number Theoretic Problems Can Be Solved in Recursive Progressions on Π 1/1-Paths Through O? Journal of Symbolic Logic 37 (2):311-334.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  22. G. Kreisel & J. Zucker (1972). Review: Eduard Wette, Jack J. Bulloff, Thomas C. Holyoke, S. W. Hahn, Definition Eines (Relativ Vollstandigen) Formalen Systems Konstruktiver Arithmetik. [REVIEW] Journal of Symbolic Logic 37 (1):203-204.
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  23. Georg Kreisel (1972). Informal Rigour and Completeness Proofs. In Imre Lakatos (ed.), Problems in the Philosophy of Mathematics. North-Holland. 138--157.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  24. Georg Kreisel (1972). Review: Hilary Putnam, Mathematics Without Foundations. [REVIEW] Journal of Symbolic Logic 37 (2):402-404.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  25. Th Skolem, G. Hasenjaeger, G. Kreisel, A. Robinson, H. Wang, L. Henkin & J. Łoś (eds.) (1971). Mathematical Interpretation of Formal Systems. North-Holland Pub. Co..
     
    My bibliography  
     
    Export citation  
  26. G. Kreisel (1970). Principles of Proof, Etc. In A. Kino, John Myhill & Richard Eugene Vesley (eds.), Intuitionism and Proof Theory. Amsterdam,North-Holland Pub. Co.. 489--5.
    No categories
     
    My bibliography  
     
    Export citation  
  27. G. Kreisel (1970). Review: Saul A. Kripke, J. N. Crossley, M. A. E. Dummett, Semantical Analysis of Intuitionistic Logic I. [REVIEW] Journal of Symbolic Logic 35 (2):330-332.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  28. G. Kreisel & A. S. Troelstra (1970). Formal Systems for Some Branches of Intuitionistic Analysis. Annals of Mathematical Logic 1 (3):229-387.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  29. Georg Kreisel (1970). Review: S. Ju. Maslov, G. E. Minc, V. P. Orevkov, E. Mendelson, Unsolvability in the Constructive Predicate Calculus of Certain Classes of Formulas Containing Only Monadic Predicate Variables. [REVIEW] Journal of Symbolic Logic 35 (1):143-144.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  30. G. Kreisel (1969). Two Notes on the Foundations of Set‐Theory. Dialectica 23 (2):93-114.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  31. G. Kreisel (1968). A Survey of Proof Theory. Journal of Symbolic Logic 33 (3):321-388.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  32. Georg Kreisel & Azriel Lévy (1968). Reflection Principles and Their Use for Establishing the Complexity of Axiomatic Systems. Zeitschrift für Mathematische Logic Und Grundlagen der Mathematik 14 (1):97--142.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  33. G. Kreisel (1967). Review: A. Heyting, Infinitistic Methods From a Finitist Point of View. [REVIEW] Journal of Symbolic Logic 32 (4):515-515.
    Direct download  
     
    My bibliography  
     
    Export citation  
  34. G. Kreisel (1967). Review: P. Lorenzen, Ein Dialogisches Konstruktivitatskriterium. [REVIEW] Journal of Symbolic Logic 32 (4):516-516.
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  35. G. Kreisel (1967). Reply to Professor Bar-Hillel. In Imre Lakatos (ed.), Problems in the Philosophy of Mathematics. Amsterdam, North-Holland Pub. Co.. 175--178.
    No categories
     
    My bibliography  
     
    Export citation  
  36. G. Kreisel (1967). What Can Be Done for Mathematical Logic. In Ralph Schoenman (ed.), Bertrand Russell: Philosopher of the Century. 273--303.
    No categories
     
    My bibliography  
     
    Export citation  
  37. G. Kreisel & A. Ehrenfeucht (1967). Review: A. S. Esenine-Volpine, Le Programme Ultra-Intuitionniste des Fondements des Mathematiques. [REVIEW] Journal of Symbolic Logic 32 (4):517-517.
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  38. Georg Kreisel (1967). Elements of Mathematical Logic. Amsterdam, North Holland Pub. Co..
    No categories
     
    My bibliography  
     
    Export citation  
  39. W. A. Howard & G. Kreisel (1966). Transfinite Induction and Bar Induction of Types Zero and One, and the Role of Continuity in Intuitionistic Analysis. Journal of Symbolic Logic 31 (3):325-358.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  40. Georg Kreisel (1966). Review: N. A. Sanin, On the Constructive Interpretation of Mathematical Judgments; S. C. Kleene, A Formal System of Intuitionistic Analysis. [REVIEW] Journal of Symbolic Logic 31 (2):258-261.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  41. G. Kreisel & Gerald E. Sacks (1965). Metarecursive Sets. Journal of Symbolic Logic 30 (3):318-338.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  42. G. Kreisel & Heinrich Scholz (1963). Review: H. Hermes, F. Hambartel, J. Ritter, Mathesis Universalis Abhandlungen Zur Philosophie Ats Strenger Wissenschaft. [REVIEW] Journal of Symbolic Logic 28 (4):283-288.
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  43. G. Kreisel (1962). On Weak Completeness of Intuitionistic Predicate Logic. Journal of Symbolic Logic 27 (2):139-158.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  44. Georg Kreisel & William W. Tait (1961). Finite Definability of Number-Theoretic Functions and Parametric Completeness of Equational Calculi. Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 7 (1-5):28-38.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  45. G. Kreisel (1960). Review: Wittgenstein's Theory and Practice of Philosophy. [REVIEW] British Journal for the Philosophy of Science 11 (43):238 - 251.
  46. Georg Kreisel (1960). Review: Kurt Schutte, Beweistheorie. [REVIEW] Journal of Symbolic Logic 25 (3):243-249.
    Translate to English
    | Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  47. G. Kreisel (1959). Review: A. Grzegorczyk, Computable Functionals. [REVIEW] Journal of Symbolic Logic 24 (1):50-51.
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  48. G. Kreisel (1959). Review: Marc Krasner, Theorie de la Definition. [REVIEW] Journal of Symbolic Logic 24 (3):230-231.
    Direct download  
     
    My bibliography  
     
    Export citation  
  49. G. Kreisel (1959). Review: S. C. Kleene, A Note on Computable Functionals. [REVIEW] Journal of Symbolic Logic 24 (1):51-52.
    Direct download  
     
    My bibliography  
     
    Export citation  
  50. Georg Kreisel (1959). Interpretation of Analysis by Means of Constructive Functionals of Finite Types. In A. Heyting (ed.), Constructivity in Mathematics. Amsterdam, North-Holland Pub. Co.. 101--128.
    No categories
     
    My bibliography  
     
    Export citation  
1 — 50 / 66