- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
An Appreciation of Kreisel
In Piergiorgio Odifreddi (ed.), Kreiseliana. About and Around Georg Kreisel. A K Peters. pp. 81 (1996)
Abstract
This article has no associated abstract. (fix it)My notes
Similar books and articles
Review: Georg Kreisel, Godel's Intepretation of Heyting's Arithmetic; G. Kreisel, Relations Between Classes of Constructive Functionals; Georg Kreisel, A. Heyting, Interpretation of Analysis by Means of Constructive Functionals of Finite Types. [REVIEW]D. van Dalen - 1971 - Journal of Symbolic Logic 36 (1):169-171.
Kreisel's unwinding of Artin's proof.Charles Delzell - 1996 - In Piergiorgio Odifreddi (ed.), Kreiseliana. About and Around Georg Kreisel. A K Peters. pp. 113--246.
Kreisel's 'Unwinding Program'.Solomon Feferman - 1996 - In Piergiorgio Odifreddi (ed.), Kreiseliana. About and Around Georg Kreisel. A K Peters. pp. 247--273.
Bounds extracted by Kreisel from ineffective proofs.Horst Luckhardt - 1996 - In Piergiorgio Odifreddi (ed.), Kreiseliana. About and Around Georg Kreisel. A K Peters. pp. 289--300.
Kreisel, Generalized Recursion Theory, Stanford and Me.Richard A. Platek - 1996 - In Piergiorgio Odifreddi (ed.), Kreiseliana. About and Around Georg Kreisel. A K Peters. pp. 97.
Kreisel, Generalized.Gerald E. Sacks - 1996 - In Piergiorgio Odifreddi (ed.), Kreiseliana. About and Around Georg Kreisel. A K Peters. pp. 103.
Some Reminiscences of Kreisel.Rohit Parikh - 1996 - In Piergiorgio Odifreddi (ed.), Kreiseliana. About and Around Georg Kreisel. A K Peters. pp. 89.
Review: G. Kreisel, On the Interpretation of Non-Finitist Proofs; G. Kreisel, Some Elementary Inequalities. [REVIEW]J. Barkley Rosser - 1953 - Journal of Symbolic Logic 18 (1):78-80.
On Theorems of Gödel and Kreisel: Completeness and Markov's Principle.D. C. McCarty - 1994 - Notre Dame Journal of Formal Logic 35 (1):99-107.
Georg Kreisel: a Few Personal Recollections.Francis Crick - 1996 - In Piergiorgio Odifreddi (ed.), Kreiseliana. About and Around Georg Kreisel. A K Peters. pp. 25.
Extended artistic appreciation.Robert A. Wilson - 2013 - Behavioral and Brain Sciences 36 (2):162-163.
Theories Very Close to PA Where Kreisel's Conjecture Is False.Pavel Hrubeš - 2007 - Journal of Symbolic Logic 72 (1):123 - 137.
Bridging two worlds that care about art: Psychological and historical approaches to art appreciation.William Forde Thompson & Mark Antliff - 2013 - Behavioral and Brain Sciences 36 (2):159-160.
Kreisel, the continuum hypothesis and second order set theory.Thomas Weston - 1976 - Journal of Philosophical Logic 5 (2):281 - 298.
Aesthetic Appreciation of Nature and Environmentalism.Allen Carlson - 2011 - Royal Institute of Philosophy Supplement 69:137-155.
Analytics
Added to PP
2014-01-28
Downloads
1 (#1,820,130)
6 months
1 (#1,241,711)
2014-01-28
Downloads
1 (#1,820,130)
6 months
1 (#1,241,711)
Historical graph of downloads
Sorry, there are not enough data points to plot this chart.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-67c5d994d4-h99d7 uwo