Mark VAN ATTEN
Affiliation : Directeur de recherche au CNRS
Équipe : Archives Husserl
Champs de recherche : Phénoménologie ; Philosophie des mathématiques
Présentation de la recherche
Mes recherches relèvent de la philosophie des mathématiques. Quelques exemples de questions caractéristiques dans ce domaine sont :
– Qu’est-ce qu’un objet mathématique ? Est-il construit ou découvert ?
– Comment la connaissance mathématique est-elle possible ? Qu’est-ce que le rôle du sujet en mathématiques ?
– En quoi consiste la vérité en mathématiques ? Qu’est-ce qu’une démonstration ?
– Qu’est-ce que la relation entre démonstration et vérité ? Les mathématiques ont-elles besoin d’un fondement philosophique ? Si c’est le cas, est-ce que cela pourrait conduire à des révisions des mathématiques ?
– Est-ce que les mathématiques ont nécessairement un rapport avec le langage ? Est-ce que la fonction du langage en mathématiques est fondatrice ou seulement pratique ?
Le thème principal de mes recherches est l’approche phénoménologique des questions de ce genre : la phénoménologie des mathématiques. “Phénoménologie” ici veut dire la phénoménologie transcendentale de Husserl.
Mots clé : Husserl, Brouwer, intuitionnisme, constructivisme, Gödel, Kant, Leibniz
Choix de publications
- M. van Atten, On Brouwer. Belmont (MA), Wadsworth, 2004.
- M. van Atten, Brouwer Meets Husserl: On the Phenomenology of Choice Sequences, Dordrecht, Springer, 2007
- M. van Atten, G. Sundholm, M. Bourdeau et V. van Atten, “’Que les principes de la logique ne sont pas fiables.’ Nouvelle traduction française annotée et commentée de l’article de 1908 de L.E.J. Brouwer”, Revue d’Histoire des Sciences, 67(2), 257-281, 2014
- M. van Atten, “Kant and real numbers”, in : P. Dybjer, S. Lindström, E. Palmgren et G. Sundholm (eds), Epistemology versus Ontology : Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Löf, Dordrecht, Springer, 2012, pp. 3-23
- M. van Atten, Essays on Gödel’s Reception of Leibniz, Husserl, and Brouwer. Dordrecht, Springer, 2015
- M. van Atten, “The Creating Subject, the Brouwer-Kripke Schema, and infinite proofs”. Indagationes Mathematicae, 29, 1565-1636, 2018
- M. van Atten, “Luitzen Egbertus Jan Brouwer”, in : E. Zalta (ed.), The Stanford Encyclopedia of Philosophy, Spring 2020 edition
- M. van Atten, “The development of intuitionistic logic”, in : E. Zalta (ed.), The Stanford Encyclopedia of Philosophy, Summer 2022 edition
- M. van Atten, “Dummett’s objection to the ontological route to intuitonistic logic : a rejoinder”, Inquiry 65(6), 2022, pp. 725-742
- M. van Atten, “Natural constructive proofs of A via A → B, proof paradoxes, and impredicativity”, in : A. Klev et S. Rahman (eds), The Architecture and Archaeology of Modern Logic: Studies dedicated to Göran Sundholm. Dordrecht, Springer [à paraître]
- M. van Atten, “Intuition, iteration, induction”, Philosophia
Mathematica, en ligne novembre 2023, https://doi.org/10.1093/philmat/nkad017
