Michael Detlefsen

Professor of Philosophy

Contact Information

Mailing Address:
Department of Philosophy
University of Notre Dame
100 Malloy Hall
Notre Dame, IN 46556

Phone: (574)-631-7399
E-Mail: detlefsen.1@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

Recent Articles:

• "Philosophy of Mathematics in the 20th Century," vol. IX, Philosophy of Science, Logic and Mathematics in the Twentieth Century, Routledge History of Philosophy (1996)
• "Constructive Existence Claims", Philosophy of Mathematics Today, M. Schirn, ed.), Oxford University Press (1998)
• "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)