Michael Detlefsen | Academic Influence

Michael Detlefsen's AcademicInfluence.com Rankings

Michael Detlefsen

Philosophy

#4133

World Rank

#6532

Historical Rank

#1240

USA Rank

Logic

#4081

World Rank

#5328

Historical Rank

#761

USA Rank

philosophy Degrees

Download Badge

Philosophy

Michael Detlefsen's Degrees

PhD Philosophy University of California, Berkeley
Masters Philosophy University of California, Berkeley
Bachelors Philosophy University of California, Berkeley

Similar Degrees You Can Earn

Best Online Bachelor's in Philosophy 2026

Why Is Michael Detlefsen Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Michael Detlefsen was an American philosopher who was a McMahon-Hank Professor of Philosophy at the University of Notre Dame. His areas of special interest were logic, history of mathematics, philosophy of mathematics and epistemology.

(See a Problem?)

Michael Detlefsen's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

Purity of Methods (2011) (157)
Formalism (2007) (148)
Hilbert's program (1986) (106)
Poincaré against the logicians (1992) (59)
The Four-color Theorem and Mathematical Proof (1980) (59)
Hilbert's Program: An Essay on Mathematical Instrumentalism. (1991) (38)
On an alleged refutation of Hilbert's Program using Gödel's First Incompleteness Theorem (1990) (34)
On interpreting Gödel's Second Theorem (1979) (29)
Proof: Its Nature and Significance (2009) (25)
Purity as an Ideal of Proof (2008) (25)
What Does Gödel's Second Theorem Say (2001) (16)
Proof, Logic and Formalization (1992) (16)
Proof and Knowledge in Mathematics (1996) (14)
Fregean hierarchies and mathematical explanation (1988) (13)
Interpreting Gödel: Completeness and the ends of axiomatization (2014) (13)
Prime sequences and distributivity in local Noether lattices (1974) (10)
Poincaré vs. Russell on the Rôle of Logic in Mathematicst (1993) (9)
Computation with roman numerals (1976) (8)
Hilbert's formalism (1993) (8)
Logic from A to Z (1999) (7)
Wright on the Non-mechanizability of Intuitionist Reasoning (1995) (6)
On a theorem of Feferman (1980) (5)
Discovery, Invention and Realism: Gödel and others on the Reality of Concepts (2011) (5)
Rigor, Re-proof and Bolzano's Critical Program (2010) (3)
Introduction to Special Issue on George S. Boolos (1999) (3)
Symmetric sublattices of a Noether lattice (1978) (3)
Löb's Theorem as a Limitation on Mechanism (2002) (3)
Regularity in terms of reductions in local Noether lattices (1974) (2)
Medical paternalism reconsidered. (1981) (2)
Mind in the shadows (1998) (2)
Gentzen’s Anti-Formalist Views (2015) (2)
Creation and Construction (2009) (1)
Logic from A to Z: The Routledge Encyclopedia of Philosophy Glossary of Logical and Mathematical Terms (2013) (1)
Introduction (2009) (1)
Construction, Figure & Proof (2009) (0)
The Minneapolis Hyatt Regency, Minneapolis, Minnesota May 3–4, 2001 (2001) (0)
Peace, Justice and Computation: Leibniz’ Program and the Moral and Political Significance of Church’s Theorem (2001) (0)
The Ideal of Creativity in Mathematics (2008) (0)
PROOF AND INTUITION (2004) (0)
Introduction to Logicism and the Paradoxes: A Reappraisal (2000) (0)
The Gödelian Challenge (1986) (0)
What Does Godel's Second Theorem Say?t (2005) (0)
1997–1998 Winter Meeting of the Association for Symbolic Logic (1998) (0)
Formalism and Hilbert’s understanding of consistency problems (2021) (0)
Walter van Stigt. Brouwer's Intuitionism. Amsterdam: North-Holland Publishing Co., 1990. pp. xxvi + 530. ISBN 0-444-88384-3 (Cloth). (1998) (0)
The Convergence Problem and the Problem of Strict Instrumentalism (1986) (0)
Duality, Epistemic Efficiency & Consistency (2014) (0)
Gödel's Theorems & Hilbert's Program (2009) (0)
THE CONCEPT OF LOGICAL CONSEQUENCE (2009) (0)
Forms and their Value: Economy of Thought (2008) (0)
Freedom & Consistency: Gentzen on Constructive Consistency Proofs (2009) (0)
The Stability Problem (1986) (0)
Formal Thinking, Abstraction & the Axiomatic Method (2008) (0)
Background & Basic Distinctions (2008) (0)
Varieties of Completeness (2008) (0)
Curtis, C. VV. 255 (2006) (0)
Impossibility, Permanence & the Axiom of Solvability (2011) (0)
The End of Freedom (2009) (0)
Ideals of Proof: An Overview (2007) (0)
Aleksandar Pavković, ed. , Contemporary Yugoslav Philosophy: The Analytic Approach . Reviewed by (1989) (0)
The Philosophical Fundamentals of Hilbert’s Program (1986) (0)
Introduction to the Fiftieth Anniversary Issues (2009) (0)
Rigor, Logic and Intuition (2010) (0)
Foundations of Mathematics - What and Why?' (2010) (0)
Ian Hacking. Why Is There Philosophy of Mathematics At All (2017) (0)
The importance of Goedel's second incompleteness theorem for the foundations of mathematics (1981) (0)
Freedom in Mathematics (2009) (0)
On the Motives for Proof Theory (2015) (0)
Gödel's Theorems and Platonism (2011) (0)
Computer-Assisted Proofs and Mathematical Understanding: the case of Univalent Foundations (2020) (0)
Abstraction, Axiomatization and Rigor: Pasch and Hilbert (2018) (0)
Set-Theory and Higher-Order Logic: Foundational Issues and Mathematical Developments (2011) (0)
Ideals of Proof (2008) (0)
A Closer Look at the Problems (1986) (0)
HOW TO SAY THINGS WITH FORMALISMS : David Auerbach (2005) (0)
Generalized symmetric elements generated by a prime sequence (1998) (0)
Discovery, Invention and Realism (2008) (0)
Discovermental Complexity & the Evaluation of Hilbert's Program (2008) (0)
Ideals of Completeness (2010) (0)
Conductive Use of Formulae: Efficiency, Rigor & Reliability (2008) (0)
Dedekind & the Search for Proof (2009) (0)
2000-2001 Spring Meeting of the Association for Symbolic Logic (2001) (0)
Abstracts of invited plenary speakers (2013) (0)

This paper list is powered by the following services:

Other Resources About Michael Detlefsen

en.wikipedia.org

What Schools Are Affiliated With Michael Detlefsen?

Michael Detlefsen is affiliated with the following schools: