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

Philosophical Association (Chicago), April 1984
‘On the Resolution of Some Intensional Problems Concerning Gödel’s Second Incompleteness Theorem’,
Colloquium Paper, Western Division Meetings of the American Philosophical Association,
Cincinnati, April 1978 (Prof. John Corcoran, SUNY-Buffalo, commentator)
Educational Initiatives
Programmatic Initiatives
Planner and director (with Prof. Jean-Jacques Szczeciniarz, U of Paris–Diderot and Prof. Claude
Debru, École Normale Supérieure) first annual Paris-Notre Dame Seminar in the History & Philosophy
of Mathematics, École Normale Supérieure, Paris, May–June 2009–present
Organized joint annual Paris-Nancy PhilMath Workshop and directing groups, 2009–present
Planner, organizer and director, annual Midwest PhilMath Workshop, 2002–present
Initiated, organized and designed (with Prof. Julia Knight, Dept. of Mathematics, University of
Notre Dame) program for joint PhD (between the Departments of Mathematics and Philosophy)
in Logic and Foundational Studies at Notre Dame, 1994–present
Organization and Direction of Conferences, Workshops & Seminars
Member, Program Committee of the Association of Symbolic Logic’s Logic Colloquium 2010, Paris,
July 24–Aug 2, 2010. Organized special symposia on (i) the 200th anniversary of Bolzano’s and
(ii) “Complexity of Proofs”
Planner and director (with Prof. Jean-Jacques Szczeciniarz, U of Paris–Diderot and Prof. Claude
Debru, École Normale Supérieure) first annual Paris-Notre Dame Seminar in the History & Philosophy
of Mathematics, École Normale Supérieure, Paris, May–June 2009–present
Planner and director of 7th IP Fellows Seminar, École Normale Supérieure, Paris, Jan 25, 2010.
Speakers: Prof. Andrew Arana (Kansas State U), “The complexity of pure and impure proof”; Prof.
Jeremy Avigad (Carnegie Mellong U), “Understanding, formal verification, and the philosophy of
mathematics”; Prof. Walter Dean (U of Warwick), “Models and recursivity”; Sean Walsh (U of
Notre Dame), “Weierstrass, Frege, and Husserl on the Equality of Numbers.”
Planner and director of the 6th IP (Ideals of Proof) Fellows’ Seminar, École Normale Supérieure,
Paris, November 9, 2009. Speakers: Davide Crippa, “As simple as possible: Descartesalgebraic
interpretation of Pappus’ norm”; Henri Gallinon, “The ideal of truth” (U of Paris 1 & IHPST);
Dr. Richard Pettigrew (Depts. of Mathematics & Philosophy), “Prospects for a foundation for
mathematics in category theory”; Dr. Andrei Rodin (U of Paris 7 & ENS), “Renewing foundations.”
Planner and director of the first annual Paris-Nancy PhilMath Workshop, Oct 21–22, 2009, Université
de Nancy 2. Speakers: Dr. Paola Cantù (U of Milan & Clermont-Ferrand U), “On Real
and Ideal Elements in Mathematics”; Prof. Harvey Friedman (Dept of Mathematics, Ohio State
U), “Conceptus Calculus”; Prof. Volker Halbach (Philosophy, New College, Oxford), “Computational
Structuralism”; Dr. Annika Kanckos (U of Helsinki), “Hilberts second problem: a possible
and necessary consistency proof”; Prof. Michael Potter (Fitzwilliam College, U of Cambridge),
16