Michael Detlefsen's Curriculum Vitae (PDF) - University of Notre Dame

“Purity as an Ideal of Proof”, The Philosophy of Mathematical Practice, Paolo Mancosu (ed.),
179–197, Oxford University Press, 2008
Interview, in Philosophy of Mathematics: 5 Questions, H. Leitgeb and V. Hendricks (eds.), 87–99,
Automatic Press/VIP, 2007
“Formalism”, Oxford Handbook of the Philosophy of Mathematics and Logic, in The Oxford Handbook
of Philosophy of Mathematics and Logic, 236–317, Oxford University Press, 2005. (Errata:
p. 297, n. 98: line 3, ‘refer’ should be ‘refers’; p. 297, n. 98, line -1 of quote from Frege: ‘whose
square is 1’ should be ‘whose square is −1’.)
“Creation and Completeness”, Proceedings of the First Seminar on Philosophy of Mathematics in
Iran, Shahid Beheshti University, Faculty of Mathematics, vol. 340, 31–62, 2003
“Löb’s Theorem as a Limitation on Mechanism”, Minds and Machines 12 (2002): 353–381. (Errata:
p. 370, line 14, ‘unjustified’ should be ‘justified’; p. 375, line -7, ‘is are’ should be ‘are’.)
“What Does Gödel’s Second Theorem Say?”, Philosophia Mathematica 9 (2001): 37–71
“Peace, Justice and Computation”, in Logic, Language, and Computation: Essays in honor of
Alonzo Church, (C. Anthony Anderson and Michael Zelëny, eds.), 447–470. Kluwer Academic
Publishers, 2001
Critical essay on John Burgess’ and Gideon Rosen’s A Subject with no Object, Philosophical Books
41 (2000): 153–163
“Mind in the Shadows.” Critical essay on Roger Penrose’s The Emperor’s New Mind, Shadows of
the Mind and The Large, the Small and the Human Mind, Studies in the History and Philosophy
of Modern Physics 29 (1998): 123–36
“Constructive Existence Claims”, Philosophy of Mathematics Today (M. Schirn, ed.), 307–335,
OUP, 1998. Other authors include: P. Benacerraf, B. Hale, H. Field, S. Shapiro, C. Chihara, P.
Maddy, J. Burgess, G. Hellman, M. Resnik, C. Parsons, K.-G. Niebergall, M. Schirn, C. Wright,
M. Dummett, G. Boolos, R. Heck, W. Tait, P. Simons, K. Fine.
“Hilbert’s Programme and Formalism”, Routledge Encyclopedia of Philosophy, vol. 4, 422–29, 1997
“Gödel’s Theorems”, Routledge Encyclopedia of Philosophy, vol. 4, 107–119, 1997
“Mathematics, Foundations of”, Routledge Encyclopedia of Philosophy, vol. 6, 181–92, 1997
Critical essay on Walter van Stigt’s Brouwer’s Intuitionism, Philosophia Mathematica 3 (1996):
235–241
“Philosophy of Mathematics in the 20th Century”, in Philosophy of Science, Logic and Mathematics
in The Twentieth Century, Routledge History of Philosophy, vol. IX, pp. 50-123, Routledge, 1996
Critical essay on Janet Folina’s Poincaré and the Philosophy of Mathematics, Philosophia Mathematica
3 (1995): 906-16
“Wright on the non-mechanizability of Intuitionist Reasoning”, Philosophia Mathematica 3 (1995):
103–119
“Gödel’s Incompleteness Theorems”, Cambridge Dictionary of Philosophy, 298–300, Cambridge
University Press, 1995
“Hilbert, David”, Cambidge Dictionary of Philosophy, 327, Cambridge University Press, 1995
4