La «crise» des fondements des mathématiques (1902-1931) fut l'agent de l'avènement du paradigme axiomatico-ensembliste dans lequel la plupart des tensions et stratégies fondationnelles continuent d'être formulées. Au terme d'une synthèse de ces interrogations et de leurs traductions techniques, qui suit le fil conducteur de l'opposition constructif / non-constructif, on montre quelques-unes des subversions, encore minoritaires, que subit ce paradigme. On insiste alors sur les voies possibles de son dépassement, en pointant l'essoufflement conceptuel qui transparaît derrière le dynamisme de l'une de ses branches actuelles, la théorie descriptive des ensembles. L'objectif est ainsi de contribuer à l'examen distancié, proprement épistémologique, de la nature des étapes du développement des mathématiques au 20 siècle.
The “crisis in the foundations of mathematics” (1902-1931) contributed to the advent of an axiomatic set-theoretic paradigm in terms of which the pressing questions of “Foundations of Mathematics” are still treated. Following the opposition between constructive and non-constructive philosophical and technical approaches, we provide the reader with a synthesis of these main questions, and present some minority insights which try to subvert this paradigm. We claim that the fruitful contemporary descriptive set theory, for example, actually reveals that this paradigm is getting exhausted conceptually speaking, and must be transcended. We thus hope to contribute towards a properly epistemological task : examining the nature of the stages of mathematical developments in 20 century.
@article{PHSC_2005__9_2_23_0, author = {Barot, Emmanuel}, title = {En quoi la crise des fondements des math\'ematiques est-elle termin\'ee~?}, journal = {Philosophia Scientiae}, pages = {23--39}, publisher = {\'Editions Kim\'e}, volume = {9}, number = {2}, year = {2005}, language = {fr}, url = {http://archive.numdam.org/item/PHSC_2005__9_2_23_0/} }
Barot, Emmanuel. En quoi la crise des fondements des mathématiques est-elle terminée ?. Philosophia Scientiae, Aperçus philosophiques en logique et en mathématiques, Tome 9 (2005) no. 2, pp. 23-39. http://archive.numdam.org/item/PHSC_2005__9_2_23_0/
[1] Barot, Emmanuel 2004.- La crise des fondements des mathématiques fut-elle révolutionnaire ? Sur l'avènement du paradigme axiomatico-ensembliste, Actes des journées d'étude « L'idée de révolution au XXI siècle », octobre 2003, Paris I - Sorbonne (s. d. O. Bloch et Société Chauvinoise de Philosophie), à paraître.
[2] The Prospects for Mathematical Logic in the twenty-first Century, Bulletin of Symbolic Logic, 7 (2), 169-195. | MR | Zbl
, , & 2001.-[3] Constructibility and Mathematical Existence, Oxford : Oxford University Press - Clarendon Press, 2001. | MR | Zbl
1990.-[4] In the Light of Logic, New York - Oxford : Oxford University press, 1998. | MR | Zbl
1998.-[5] Does Mathematics need New Axioms ?, Bulletin of Symbolic Logic, 6 (4), 401-46. | MR | Zbl
, , & 2000.-[6] Labyrinth of Thought. A History of Set Theory and its Role in Modern Mathematics, Birkhäuser, Basel : Science Networks, Historical Studies. | MR | Zbl
1999.-[7] The Principles of Mathematics revisited, New York : Cambridge University Press, éd. Paperback, 1999. | MR | Zbl
1996.-[8] Inner Models and Large Cardinals, Bulletin of Symbolic Logic, 1 (4), 393-407. | MR | Zbl
1995.-[9] New Directions in Descriptive Set Theory, Bulletin of Symbolic Logic, 5 (2), 161-74. | MR | Zbl
1999.-[10] Set Theory 1968. | MR | Zbl
& 1976.-[11] Intuitionnisme et théorie de la démonstration, Paris : Vrin, 1992.
(éd.) 1992.-[12] Realism in Mathematics, Oxford : Oxford University Press / Clarendon Press, 1990. | MR | Zbl
1990.-[13] Does V equal L ?, Journal of Symbolic Logic, (58), repris in Tymoczko Thomas (éd.) New Directions in Philosophy of Mathematic, Princeton New Jersey : Princenton University Press, éd. revue et augmentée 1998, 357-84. | MR
1993.-[14] Naturalism in Mathematics, Oxford : Oxford University Press / Clarendon Press, 1997. | MR | Zbl
1997.-[15] Les assises logiques et épistémologiques du progrès scientifique (posthume), Paris : Presses du Septentrion, 1989.
1989.-[16] L'objectivité mathématique. Platonisme et structures formelles, Paris : Masson, 1995.
& (éds.) 1995.-[17] Pour un platonisme transcendantal, in [Panza & Salanskis 1995, 147-78].
1995.-[18] Theory of Recursive Functions and Effective Computability, Cambridge, Massachusetts, London : MIT Press, 1987. | MR
1967.-[19] Platonisme et philosophie des mathématiques, in [Panza & Salanskis 1995, 179-212].
1995.-[20] Le constructivisme non standard, Lille : Presses Universitaires du Septentrion, 1999. | MR | Zbl
1999.-[21] Théorie des ensembles ou ensemble de théories ?, Revue d'Histoire des Sciences, 52 (1), janv.-mars 1999, 107-39. | MR | Zbl
1999.-[22] Comparaison entre procédures constructives et procédures axiomatiques en mathématiques, cité d'après la tr. fr. de Jean Largeault in Le continu et autres écrits, Vrin, 1994, 265-79. | MR
1953.-