Michael Detlefsen
Affiliations: | University of Notre Dame, Notre Dame, IN, United States |
Area:
Mathematics, PhilosophyGoogle:
"Michael Detlefsen"Children
Sign in to add trainee| Andrew P. Arana | grad student | 2003 | Notre Dame |
| Joongol Kim | grad student | 2004 | Notre Dame |
| Iulian D. Toader | grad student | 2011 | Notre Dame |
| Graham E. Leach-Krouse | grad student | 2013 | Notre Dame |
BETA: Related publications
See more...
Publications
|
You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect. |
| Detlefsen M. (2017) Ian Hacking. Why Is There Philosophy of Mathematics At All Philosophia Mathematica. 25: 407-412 |
| Detlefsen M. (2002) Löb's theorem as a limitation on mechanism Minds and Machines. 12: 353-381 |
| Detlefsen M. (2001) What Does Gödel's Second Theorem Say Philosophia Mathematica. 9: 37-71 |
| Detlefsen M. (1998) Walter van Stigt. Brouwer's Intuitionism. Amsterdam: North-Holland Publishing Co., 1990. pp. xxvi + 530. ISBN 0-444-88384-3 (Cloth). Philosophia Mathematica. 6: 235-241 |
| Detlefsen M. (1995) Wright on the non-mechanizability of intuitionist reasoning Philosophia Mathematica. 3: 103-119 |
| Detlefsen M. (1993) Poincaré vs. Russell on the rôle of logic in mathematicst Philosophia Mathematica. 1: 24-49 |
| Detlefsen M. (1992) Poincaré against the logicians Synthese. 90: 349-378 |
| Steiner M, Detlefsen M. (1991) Hilbert's Program: An Essay on Mathematical Instrumentalism. The Journal of Philosophy. 88: 331 |
| Detlefsen M. (1990) On an alleged refutation of Hilbert's Program using Gödel's First Incompleteness Theorem Journal of Philosophical Logic. 19: 343-377 |
| Detlefsen M. (1988) Fregean hierarchies and mathematical explanation International Studies in the Philosophy of Science. 3: 97-116 |