107 found
Sort by:
  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. Howard Kreisel (2011). Moses Maimonides. In H. Lagerlund (ed.), Encyclopedia of Medieval Philosophy. Springer. 808--815.
    Direct download  
     
    My bibliography  
     
    Export citation  
  4. Howard Kreisel (2009). From Esotericism to Science: The Account of the Chariot in Maimonidean Philosophy Till the End of the Thirteenth Century. In James T. Robinson (ed.), The Cultures of Maimonideanism: New Approaches to the History of Jewish Thought. Brill. 9--21.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  5. Howard Kreisel (2007). Maimonides on Divine Religion. In Jay Michael Harris (ed.), Maimonides After 800 Years: Essays on Maimonides and His Influence. Distributed by Harvard University Press.
  6. Martha Kreisel (2006). Photography Books Index Iii: A Subject Guide to Photo Anthologies. Scarecrow Press.
    This reference guide provides an important index to contemporary as well as historical photographers, including those for whom full monographs have not been published.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  7. Haim Kreisel (2005). Maimonides' Political Philosophy. In Kenneth Seeskin (ed.), The Cambridge Companion to Maimonides. Cambridge University Press. 193.
  8. 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  
  9. Howard Kreisel (1997). Moses Maimonides. In Daniel H. Frank & Oliver Leaman (eds.), History of Jewish Philosophy. Routledge. 2--245.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  10. G. Kreisel (1992). On the Idea(1) of Logical Closure. Annals of Pure and Applied Logic 56 (1-3):19-41.
    The article begins and ends with reminiscences and reflections about conversations with Myhill . The topic in the title was never far from these conversations, but remained off stage: questions about the suitability of the focus on logical languages and logical consequence, here meant in contrast to incomparable categories of propositions and proofs. The body of the article goes into cases where this focus has contributed to—and where it has distracted from more rewarding categories for—effective knowledge in mathematics. There are (...)
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  11. 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.
  12. 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  
  13. G. Kreisel (1990). Book Review: Gödel, "Collected Works, Volume II". [REVIEW] Notre Dame Journal of Formal Logic 31:602-642.
     
    My bibliography  
     
    Export citation  
  14. 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  
  15. Georg Kreisel (1988). Book Review: "Kurt Gödel, Collected Works, Vol. I". [REVIEW] Notre Dame Journal of Formal Logic 29:160-181.
     
    My bibliography  
     
    Export citation  
  16. 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  
  17. 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  
  18. 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  
  19. 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  
  20. 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  
  21. Georg Kreisel & Gaisi Takeuti (1985). Formally Self-Referential Propositions for Cut Free Analysis and Related Systems. Journal of Symbolic Logic 50 (1):244-246.
    Direct download  
     
    My bibliography  
     
    Export citation  
  22. G. Kreisel (1984). Frege's Foundations and Intuitional Logic. The Monist 67 (1):72-91.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  23. 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  
  24. G. Kreisel (1983). SaulA. Kripke, Wittgenstein on Rules and Private Language. [REVIEW] Philosophy in Review 3:287-289.
  25. G. Kreisel (1982). D. Van Dalen, Ed., Brouwer's Cambridge Lectures on Intuitionism Reviewed By. Philosophy in Review 2 (5):249-251.
    Direct download  
     
    My bibliography  
     
    Export citation  
  26. G. Kreisel (1982). D. Van Dalen, Ed., Brouwer's Cambridge Lectures On Intuitionism. [REVIEW] Philosophy in Review 2:249-251.
     
    My bibliography  
     
    Export citation  
  27. 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  
  28. David Hilbert, Mary Winston Newsom, Felix E. Browder, Donald A. Martin, G. Kreisel & Martin Davis (1979). Mathematical Problems. Lecture Delivered Before the International Congress of Mathematicians at Paris in 1900. Journal of Symbolic Logic 44 (1):116-119.
    Direct download  
     
    My bibliography  
     
    Export citation  
  29. G. Kreisel (1979). Comment on Zinoviev's paper. Logique Et Analyse 22 (87):243.
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  30. 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  
  31. U. Kasper, E. Kreisel & H. J. Treder (1977). On the Covariant Formulation of Quantum Mechanics. Foundations of Physics 7 (5-6):375-389.
    We give picture-covariant formulations of the equations of motion for observables and states such that the Hamiltonian operator is transformed asH-0304;=U(t)HU † (t) under a time-dependent unitary transformationU(t). Next, we consider the explicit and implicit covariance of Heisenberg's equations of motion for observables with respect to general transformations of coordinate operators. Most of our representation is spread out over a number of textbooks and articles, where the subject has been considered with greater or lesser clarity from different points of view.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  32. G. Kreisel, R. O. Gandy & C. E. M. Yates (1975). Some Reasons for Generalizing Recursion Theory. Journal of Symbolic Logic 40 (2):230-232.
    Direct download  
     
    My bibliography  
     
    Export citation  
  33. 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  
  34. G. Kreisel (1974). A Notion of Mechanistic Theory. Synthese 29 (1-4):11 - 26.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  35. 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  
  36. S. Feferman, G. Kreisel & Solomon Feferman (1972). Persistent and Invariant Formulas Relative to Theories of Higher Order. Journal of Symbolic Logic 37 (4):764-765.
    Direct download  
     
    My bibliography  
     
    Export citation  
  37. 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  
  38. 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  
  39. Georg Kreisel (1972). Informal Rigour and Completeness Proofs. In Imre Lakatos (ed.), Problems in the Philosophy of Mathematics. North-Holland. 138--157.
    Direct download  
     
    My bibliography  
     
    Export citation  
  40. 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  
  41. Andrzej Mostowski, Imre Lakatos, G. Kreisel, A. Robinson & A. Mostowski (1972). Recent Results in Set Theory. Journal of Symbolic Logic 37 (4):765-766.
    Direct download  
     
    My bibliography  
     
    Export citation  
  42. G. Kreisel (1971). Remark on Complete Interpretations by Models. Journal of Symbolic Logic 36 (1):169-169.
    Direct download  
     
    My bibliography  
     
    Export citation  
  43. Georg Kreisel, G. Kreisel & A. Heyting (1971). Gödel's Intepretation of Heyting's Arithmetic. Journal of Symbolic Logic 36 (1):169-171.
    Direct download  
     
    My bibliography  
     
    Export citation  
  44. 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  
  45. G. Kreisel (1970). Analysis of Cantor-Bendixson Theorem by Means of the Analytic Hierarchy. Journal of Symbolic Logic 35 (2):334-334.
    Direct download  
     
    My bibliography  
     
    Export citation  
  46. 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  
  47. 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.
  48. G. Kreisel (1970). The Axiom of Choice and the Class of Hyperarithmetic Functions. Journal of Symbolic Logic 35 (2):333-334.
    Direct download  
     
    My bibliography  
     
    Export citation  
  49. G. Kreisel & A. S. Troelstra (1970). Formal Systems for Some Branches of Intuitionistic Analysis. Annals of Mathematical Logic 1 (3):229-387.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  50. 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  
1 — 50 / 107