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:

• Inaugural Lecture. Paris. Slides. Circ. HO.pdf
• Inaugural Lecture. Nancy. Slides. Circ. HO.pdf

:

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)