Michael Detlefsen

McMahon-Hank Professor of Philosophy (II)
Distinguished Invited Professor, University of Paris-Diderot
Distinguished Invited Professor, University of Nancy 2
Senior chaire d'excellence, Agence Nationale de la Recherche, France
Contact Information
Mailing Address:
Department of Philosophy
University of Notre Dame
100 Malloy Hall
Notre Dame, IN 46556
Phone: (574)-631-7399
E-Mail: mdetlef1@nd.edu
Office: 408 Malloy
Office Hours: By Appointment
Curriculum Vitae
TransCoop Project
Ideals of Proof
Education:
Ph.D., Johns Hopkins.
Areas of Interest:
Logic, Philosophy of Mathematics.
Selected Bibliography
Works in Progress:
Lecture Notes:
:
ENS Lectures (Oct 2008): In Search of Formalism"
- In Search of Formalism.L1f.HO.pdf
- In Search of Formalism.L2 f.HO.pdf
- In Search of Formalism.L3f.HO.pdf
- In Search of Formalism.L4f.HO.pdf
Recent Articles:
- "Peace, Justice, and Computation", in Logic, Language, and Computation: Essays in Honor of Alonzo Church, (C. Anthony Anderson and Michael Zelëny, eds.). Kluwer Academic Publishers (2001)
- "What Does Gödel's Second Theorem Say?", Philosophia Mathematica (2001)
- "Löb's Theorem as a Limitation on Mechanism", Minds and Machines (2002)
- "Formalism", Oxford Handbook for Logic and the Philosophy of Mathematics, 2004
Online Articles:
- "The Four-Color Theorem and Mathematical Proof" The Journal of Philosophy 77 (1980): 803-820.
- "Brouwerian Intuitionism", Mind, vol. 99, 501-534, 1990
- Poincare vs. Russell on the Role of Logic in Mathematics Philosophia Mathematica 1 (1993): 24-49.
- "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
- "Hilbert's Programme and Formalism", Routledge Encyclopedia of Philosophy, vol. 4, 422--29, 1997
- "Mind in the Shadows: Essay Review of Roger Penrose's The Emperor's New Mind (OUP, 1989), Shadows of the Mind (OUP, 1994) and The Large, the Small and the Human Mind (CUP, 1997)", Studies in the History and Philosophy of Modern Physics 29 (1998): 123-136.
- What does Gödel's Second Incompleteness Theorem Say? Philosophia Mathematica 9 (2001): 37-71.
- "Löb's Theorem as a Limitation on Mechanism", Minds and Machines (2002): 353-381.
Books:
- Hilbert's Program (1986)
- Proof, Logic, Formalization (1991)
- Proof and Knowledge in Mathematics (1991)
