Publications HAL de Michael,Detlefsen

2011

Article dans une revue

ref_biblio
Michael Detlefsen, Andrew Arana. Purity of Methods. Philosophers' Imprint, Michigan Publishing, 2011, 11 (2), pp.1-20. ⟨hal-00587851⟩
Accès au bibtex
BibTex
ref_biblio
Andrew Arana, Michael Detlefsen. Purity of methods. Philosophers' Imprint, Michigan Publishing, 2011, 11 (2). ⟨hal-00586784⟩
Accès au bibtex
BibTex

Communication dans un congrès

ref_biblio
Michael Detlefsen. Impossibility, Permanence & the Axiom of Solvability. Impossibility Proofs in Mathematics, REHSEIS-SPHERE, Feb 2011, Paris, France. ⟨hal-00588528⟩
Accès au bibtex
BibTex

Chapitre d'ouvrage

ref_biblio
Michael Detlefsen. Sensing Objectivity: comment on Mary Leng's ''Creation and Discovery in Mathematics''. John Polkinghorne. Mathematics and Its Significance, Oxford University Press, pp.70-71, 2011. ⟨hal-00587859⟩
Accès au bibtex
BibTex
ref_biblio
Michael Detlefsen. Gödel's Theorems and Platonism: comment on Roger Penrose's ''Mathematics, the Mind, and the Physical World''. John Polkinghorne. Mathematics and Its Significance, Oxford University Press, pp.46-47, 2011. ⟨hal-00587865⟩
Accès au bibtex
BibTex
ref_biblio
Michael Detlefsen. Discovery, Invention and Realism: Gödel and others on the Reality of Concepts. John Polkinghorne. Mathematics and Its Significance, Oxford University Press, pp.73-96, 2011. ⟨hal-00587854⟩
Accès au bibtex
BibTex

2010

Communication dans un congrès

ref_biblio
Michael Detlefsen. Freedom in Mathematics. Montreal Inter-University Workshop on History & Philosophy of Mathematics, McGill University, Oct 2010, Canada. ⟨hal-00588529⟩
Accès au bibtex
BibTex
ref_biblio
Michael Detlefsen. Rigor and Intuition. Dept of Philosophy, Speakers series, University of Calgary, Sep 2010, United States. ⟨hal-00588530⟩
Accès au bibtex
BibTex
ref_biblio
Michael Detlefsen. Ideals of Completeness. Dept of Philosophy, Colloquium, University of Alberta, Sep 2010, United States. ⟨hal-00588531⟩
Accès au bibtex
BibTex
ref_biblio
Michael Detlefsen. Ideals of Completeness. Young Researchers Days \& Workshop on the Relations between Logic, Philosophy and History of Science, The Royal Flemish Academy of Belgium for Science and the Arts together with the National Committee on Logic, History and Philosophy of Science, Palais des Académies, Brussels, Sep 2010, Belgium. ⟨hal-00588533⟩
Accès au bibtex
BibTex
ref_biblio
Michael Detlefsen. Symbolic Methods in Nineteenth Century Mathematics. Styles of Mathematical Practice in the Nineteenth Century, research seminar in the philosophy of mathematics, REHSEIS-SPHERE, University of Paris 7 - Diderot, directed by Prof. James Tappenden, Jun 2010, Paris, France. ⟨hal-00588534⟩
Accès au bibtex
BibTex
ref_biblio
Michael Detlefsen. Foundations of Mathematics - What and Why?'. PHILMATH INTERSEM 2010, U of Paris7-Diderot, Jun 2010, Paris, France. ⟨hal-00588535⟩
Accès au bibtex
BibTex
ref_biblio
Michael Detlefsen. Rigor, Logic and Intuition. Logic and Knowledge, Conference sponsored by the Department of Phhilosophical and Epistemological Studies, University of Rome La Sapienza, Villa Mirafiori, Rome, Jun 2010, Italy. ⟨hal-00588536⟩
Accès au bibtex
BibTex
ref_biblio
Michael Detlefsen. Philosophical Challenges from History of Mathematics. Contexts, Emergence and issues of Cartesian Geometry, Conference in honor of Henk Bos' 70th birthday, ENS, May 2010, Paris, France. ⟨hal-00588537⟩
Accès au bibtex
BibTex
ref_biblio
Michael Detlefsen. The Critical Movement in 19th and 20th Century Foundations of Mathematics. PHILMATH INTERSEM 2010, May 2010, Paris, France. ⟨hal-00588538⟩
Accès au bibtex
BibTex
ref_biblio
Michael Detlefsen. Analysis and Freedom. The inaugural meeting of the Society for the History of Analytic Philosophy. Chicago (conjoint with the annual meeting of the Central Division of the APA), Feb 2010, Chicago, United States. ⟨hal-00588540⟩
Accès au bibtex
BibTex

Chapitre d'ouvrage

ref_biblio
Michael Detlefsen. Rigor, Re-proof and Bolzano's Critical Program. Bour, P. et al. Construction, Festschrift for Gerhard Heinzmann, King's College Publications, pp.171-184, 2010. ⟨hal-00587871⟩
Accès au bibtex
BibTex

2009

Communication dans un congrès

ref_biblio
Michael Detlefsen. La rigueur et la quete de la preuve. Première "Conférence Cavaillès de philosophie des mathématiques, La Société des amis de Jean Cavaillès, Nov 2009, Paris, France. ⟨hal-00588541⟩
Accès au bibtex
BibTex
ref_biblio
Michael Detlefsen. Gödel's Theorems & Mechanist Views of Mind. 'Gödel's Theorems & Their Consequences: A series of four lectures at the Ecole normale supérieure, Paris, Nov 2009, Paris, France. ⟨hal-00588546⟩
Accès au bibtex
BibTex
ref_biblio
Michael Detlefsen. Gödel's Theorems & Hilbert's Program. Gödel's Theorems & Their Consequences''. A series of four lectures at the Ecole normale supérieure, Paris, Nov 2009, Paris, France. ⟨hal-00588544⟩
Accès au bibtex
BibTex
ref_biblio
Michael Detlefsen. The Representation of Metamathematics. Gödel's Theorems & Their Consequences, Oct 2009, Paris, France. ⟨hal-00588543⟩
Accès au bibtex
BibTex
ref_biblio
Michael Detlefsen. Background & Basics. Gödel's Theorems & Their Consequences: A series of four lectures at the Ecole normale supérieure, Paris, Oct 2009, Paris, France. ⟨hal-00588542⟩
Accès au bibtex
BibTex
ref_biblio
Michael Detlefsen. Freedom & Consistency: Gentzen on Constructive Consistency Proofs. Gentzen Centenary: The Quest of Consistency, U. of Coimbra, Portugal. Workshop of the congress for Computer Science Logic 2009, Sep 2009, Portugal. ⟨hal-00588547⟩
Accès au bibtex
BibTex
ref_biblio
Michael Detlefsen. The End of Freedom. Proof, Creation & Freedom''. A series of four lectures, Collège de France, Jun 2009, France. ⟨hal-00588553⟩
Accès au bibtex
BibTex
ref_biblio
Michael Detlefsen. Freedom & Creativity in Mathematics. The Imaginary, the Ideal and the Infinite in Mathematics, a project of the TransCoop Programme of the Alexander von Humboldt Stiftung, Jun 2009, France. ⟨hal-00588548⟩
Accès au bibtex
BibTex
ref_biblio
Michael Detlefsen. Freedom & Fruitfulness. Proof, Creation & Freedom''. A series of four lectures, Colège de France, Jun 2009, France. ⟨hal-00588552⟩
Accès au bibtex
BibTex
ref_biblio
Michael Detlefsen. Freedom & Consistency. Proof, Creation & Freedom. A series of four lectures, Collège de France, Jun 2009, France. ⟨hal-00588551⟩
Accès au bibtex
BibTex
ref_biblio
Michael Detlefsen. Construction, Figure & Proof. The Ontological Shift in Geometry, U of Paris-Diderot, Jun 2009, France. ⟨hal-00588554⟩
Accès au bibtex
BibTex
ref_biblio
Michael Detlefsen. Creation & Freedom to Introduce Concepts. Proof, Creation & Freedom. A series of four lectures, Collège de France, Jun 2009, France. ⟨hal-00588550⟩
Accès au bibtex
BibTex
ref_biblio
Michael Detlefsen. Freedom & its Ends. Conference in Honor of Harvey Friedman's 60th Birthday, The Ohio State U, May 2009, United States. ⟨hal-00588555⟩
Accès au bibtex
BibTex
ref_biblio
Michael Detlefsen. 'Freedom in Mathematics. Institut d'histoire et de philosophie des sciences et des techniques (IHPST), May 2009, Paris, France. ⟨hal-00588558⟩
Accès au bibtex
BibTex
ref_biblio
Michael Detlefsen. Dedekind & the Search for Proof. Faculty of Philosophy, U of Oxford, Feb 2009, United Kingdom. ⟨hal-00588559⟩
Accès au bibtex
BibTex
ref_biblio
Michael Detlefsen. Creation and Construction. Dept of Philosophy, U of Bielefeld, Jan 2009, Germany. ⟨hal-00588560⟩
Accès au bibtex
BibTex
ref_biblio
Michael Detlefsen. Formalism & Formalization. panel discussion, Dept of Philosophy, U of Bielefeld, Jan 2009, Germany. ⟨hal-00588561⟩
Accès au bibtex
BibTex

Chapitre d'ouvrage

ref_biblio
Michael Detlefsen. Proof: Its Nature and Significance. Proof and Other Dilemmas: Mathematics and Philosophy, Cambridge University Press, pp.3-32, 2009. ⟨hal-00587890⟩
Accès au bibtex
BibTex

2008

Communication dans un congrès

ref_biblio
Michael Detlefsen. Conductive Use of Formulae: Efficiency, Rigor & Reliability. In Search of Formalism. A series of four lectures at the Ecole normale supérieure, Oct 2008, France. ⟨hal-00588566⟩
Accès au bibtex
BibTex
ref_biblio
Michael Detlefsen. Forms and their Value: Economy of Thought. In Search of Formalism. A series of four lectures at the Ecole normale supérieure, Oct 2008, France. ⟨hal-00588565⟩
Accès au bibtex
BibTex
ref_biblio
Michael Detlefsen. Formal Thinking, Abstraction & the Axiomatic Method. In Search of Formalism. A series of four lectures at the Ecole normale supérieure, Oct 2008, France. ⟨hal-00588564⟩
Accès au bibtex
BibTex
ref_biblio
Michael Detlefsen. Background & Basic Distinctions. In Search of Formalism. A series of four lectures at the Ecole normale supérieure, Oct 2008, France. ⟨hal-00588563⟩
Accès au bibtex
BibTex
ref_biblio
Michael Detlefsen. The Creative Ideal in Mathematics. Mathematics Between Natural Sciences & the Humanities at the Lichtenberg Kolleg, Georg-August Universität, Göttingen, Oct 2008, Germany. ⟨hal-00588567⟩
Accès au bibtex
BibTex
ref_biblio
Michael Detlefsen. Discovery, Invention and Realism. the second meeting of the Mathematics and Its Significance group, King's College, Cambridge University, Sep 2008, United Kingdom. ⟨hal-00588569⟩
Accès au bibtex
BibTex
ref_biblio
Michael Detlefsen. The Ideal of Creativity in Mathematics. Congres du Société Française d'Histoire des Sciences et des Techniques, Sep 2008, Paris, France. ⟨hal-00588570⟩
Accès au bibtex
BibTex
ref_biblio
Michael Detlefsen, Andrew Arana. Purity of Proof & Understanding. international workshop on Mathematical Understanding, Département Histoire et Philosophie des Sciences, Université Denis Diderot - Paris 7, Jun 2008, Paris, France. ⟨hal-00588572⟩
Accès au bibtex
BibTex
ref_biblio
Michael Detlefsen. On the Nature and Value of Construction. Institut d'histoire et de philosophie des sciences et des techniques (IHPST), Apr 2008, Paris, France. ⟨hal-00588573⟩
Accès au bibtex
BibTex
ref_biblio
Michael Detlefsen. Discovermental Complexity & the Evaluation of Hilbert's Program. IP Seminar, U of Nancy, Mar 2008, France. ⟨hal-00588575⟩
Accès au bibtex
BibTex
ref_biblio
Michael Detlefsen. Varieties of Completeness. inaugural lecture, ANR senior chaire d'excellence, University of Paris - Diderot, Feb 2008, France. ⟨hal-00588576⟩
Accès au bibtex
BibTex
ref_biblio
Michael Detlefsen. Ideals of Proof. inaugural lecture, ANR senior chaire d'excellence, University of Nancy 2, Jan 2008, Nancy, France. ⟨hal-00588577⟩
Accès au bibtex
BibTex

2007

Communication dans un congrès

ref_biblio
Michael Detlefsen. Ideals of Proof: An Overview. MSH (Maison des Sciences de l'Homme), Lorraine, Dec 2007, Nancy, France. ⟨hal-00588579⟩
Accès au bibtex
BibTex
ref_biblio
Michael Detlefsen. Ideals of Proof: An Overview. REHSEIS, Dec 2007, Paris, France. ⟨hal-00588580⟩
Accès au bibtex
BibTex