Michael Detlefsen's Curriculum Vitae (PDF) - University of Notre Dame
Michael Detlefsen's Curriculum Vitae (PDF) - University of Notre Dame
Michael Detlefsen's Curriculum Vitae (PDF) - University of Notre Dame
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Fulbright Senior Research Pr<strong>of</strong>essorship to the <strong>University</strong> <strong>of</strong> Split, Yugoslavia, 1981–82, $20,000<br />
<strong>University</strong> <strong>of</strong> Minnesota Graduate Faculty Research Supplement, 1981, $5000<br />
National Endowment for the Humanities Summer Seminar Stipend, 1980, $3000<br />
<strong>University</strong> <strong>of</strong> Minnesota Summer <strong>Curriculum</strong> Development Grant, 1979, $2500<br />
<strong>University</strong> <strong>of</strong> Minnesota Graduate Faculty Summer Research Stipend, 1978, $2500<br />
National Endowment for the Humanities Summer Research Stipend, 1977, $2500<br />
Pr<strong>of</strong>essional Activities<br />
Invited Lectures<br />
“La rigueur et la quête de la preuve.” Première “Conférence Cavaillès de philosophie des mathématiques”,<br />
La Société des amis de Jean Cavaillès, Nov 21, 2009, Ecole normale supérieure, Paris<br />
“Gödel’s Theorems & Their Consequences.” A series <strong>of</strong> four lectures at the École normale supérieure,<br />
Paris, October 23rd, October 30th, November 6th, November 13th, 2009<br />
Lecture 1: Background & Basics<br />
Lecture 2: The Representation <strong>of</strong> Metamathematics<br />
Lecture 3: Gödel’s Theorems & Hilbert’s Program<br />
Lecture 4: Gödel’s Theorems & Mechanist Views <strong>of</strong> Mind<br />
“Freedom & Consistency: Gentzen on Constructive Consistency Pro<strong>of</strong>s”, Gentzen Centenary: The<br />
Quest <strong>of</strong> Consistency, Sept 12, 2009, U. <strong>of</strong> Coimbra, Portugal. Workshop <strong>of</strong> the congress for<br />
Computer Science Logic 2009.<br />
“Freedom & Creativity in Mathematics”, The Imaginary, the Ideal and the Infinite in Mathematics,<br />
a project <strong>of</strong> the TransCoop Programme <strong>of</strong> the Alexander von Humboldt Stiftung, June 24–27, 2009<br />
“Pro<strong>of</strong>, Creation & Freedom”. A series <strong>of</strong> four lectures, Collège de France, June 3, 10, 17, 24, 2009.<br />
Subject to publication in the Collège de France Collection.<br />
Lecture 1: Creation & Freedom to Introduce Concepts (June 3, 2009)<br />
Lecture 2: Freedom & Consistency (June 10, 2009)<br />
Lecture 3: Freedom & Fruitfulness (June 17, 2009)<br />
Lecture 4: The End <strong>of</strong> Freedom (June 24, 2009)<br />
“Construction, Figure & Pro<strong>of</strong>”, The Ontological Shift in Geometry, U <strong>of</strong> Paris-Diderot, June 5,<br />
2009<br />
“Freedom & its Ends”, Conference in Honor <strong>of</strong> Harvey Friedman’s 60th Birthday, The Ohio State<br />
U, May 15, 2009<br />
“Freedom in Mathematics”, Institut d’histoire et de philosophie des sciences et des techniques<br />
(IHPST), Seminar, Paris, May 4, 2009<br />
“Dedekind & the Search for Pro<strong>of</strong>”, Faculty <strong>of</strong> Philosophy, U <strong>of</strong> Oxford, Feb 23, 2009<br />
“Creation and Construction”, Dept <strong>of</strong> Philosophy, U <strong>of</strong> Bielefeld, Jan 28, 2009<br />
8
Change language