2024
Ouvrages
- ref_biblio
- Emmylou Haffner, David Rabouin, Andrew Arana (Dir.). Idéaux de preuves. Vrin, 2024, 978-2-7116-3190-2. ⟨hal-04859513⟩
- Accès au bibtex
-
2011
Article dans une revue
- ref_biblio
- Michael Detlefsen, Andrew Arana. Purity of Methods. Philosophers' Imprint, 2011, 11 (2), pp.1-20. ⟨hal-00587851⟩
- Accès au 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
-
Chapitre d'ouvrage
- 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
-
- ref_biblio
- Michael Detlefsen. Gödel's Theorems and Platonism. John Polkinghorne. Mathematics and Its Significance, Oxford University Press, pp.46-47, 2011. ⟨hal-00587865⟩
- Accès au bibtex
-
- ref_biblio
- Michael Detlefsen. Sensing Objectivity. John Polkinghorne. Mathematics and Its Significance, Oxford University Press, pp.70-71, 2011. ⟨hal-00587859⟩
- Accès au 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
-
- 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
-
- ref_biblio
- Michael Detlefsen. Ideals of Completeness. Dept of Philosophy, Colloquium, University of Alberta, Sep 2010, United States. ⟨hal-00588531⟩
- Accès au 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
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
-
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
-
- 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
-
- 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
-
- ref_biblio
- Michael Detlefsen. The Representation of Metamathematics. Gödel's Theorems & Their Consequences, Oct 2009, Paris, France. ⟨hal-00588543⟩
- Accès au 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- ref_biblio
- Michael Detlefsen. Formalism & Formalization. panel discussion, Dept of Philosophy, U of Bielefeld, Jan 2009, Germany. ⟨hal-00588561⟩
- Accès au bibtex
-
- ref_biblio
- Michael Detlefsen. Creation and Construction. Dept of Philosophy, U of Bielefeld, Jan 2009, Germany. ⟨hal-00588560⟩
- Accès au 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
-
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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
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
-
- ref_biblio
- Michael Detlefsen. Ideals of Proof: An Overview. REHSEIS, Dec 2007, Paris, France. ⟨hal-00588580⟩
- Accès au bibtex
-