Abstracts
Résumé
Cet article examine la thèse de Lautman selon laquelle la réalité des mathématiques doit être approchée par la « réalisation des idées dialectiques ». Pour ce faire, nous reprenons deux exemples que Lautman a lui-même traités. La question est de savoir si on peut ou non mieux décrire les idées dialectiques comme mathématiques, particulièrement maintenant que les moyens mathématiques d’approcher ces idées au niveau de généralisation appropriée existent. Ainsi, la théorie des catégories, inconnue de Lautman, peut donner une description très approfondie de l’idée de dualité. Je soumets de plus que les instances, données par Lautman, de la réalisation des idées dialectiques en dehors des mathématiques et de la physique mathématique sont assez maigres, ce qui suggère fortement que les idées qu’il a décrites si admirablement sont immanentes à la pratique des mathématiques, au lieu d’appartenir à « une réalité idéale, supérieure aux mathématiques ».
Abstract
This paper examines Lautman’s claim that the reality of mathematics is to be addressed through the “realisation of dialectical ideas”. This is done in the context of two examples treated by Lautman himself. The question is raised as to whether we might better describe dialectical ideas as mathematical ones, especially now that we have mathematical means to approach these ideas at the right level of generality. For example, category theory, unknown to Lautman, can describe the idea of duality very thoroughly. It is argued that the instances given by Lautman of the realisation of dialectical ideas outside of mathematics and mathematical physics are rather slight, leading us to conclude that the ideas he so brilliantly describes are immanent to mathematical practice, rather than belonging to “an ideal reality, superior to mathematics”.
Appendices
Bibliographie
- André, Y. Ambiguity theory, old and new, 2008 [en ligne : http://arxiv.org/abs/0805.2568].
- Baez, J. et M. Shulman. Lectures on n-Categories and Cohomology, 2006 [en ligne : http://arxiv.org/abs/math/0608420].
- Gepner, D. Galois Groups in Rational Conformal Field Theory, 2006 [en ligne : http://arxiv.org/abs/hep-th/0606081].
- Gowers, W. T. « The Two Cultures of Mathematics », in Mathematics : Frontiers and Perspectives, V. I. Arnold et al. (dir.), American Mathematical Society, 1999.
- Kapustin, A. et E. Witten. Electric-Magnetic Duality and The Geometric Langlands Program, 2006 [en ligne : http://arxiv.org/abs/hep-th/0604151].
- Kim, M. Blog comment, 2007 [en ligne : http://golem.ph.utexas.edu/category/2007/04/the two cultures of mathematic.html#c009058].
- Lambek, J. et P. J. Scott. Introduction to Higher-Order Categorical Logic, Cambridge University Press.
- Lawvere, F. W. « Categories of Space and of Quantity », in The Space of mathematics, Echeverria et al. (dir.), Walter de Gruyter, 1992.
- Mac Lane, S. « The Protean Character of Mathematics » in The Space of mathematics, Echeverria et al. (dir.), Walter de Gruyter, 1992.
- McLarty, C. Uses and Abuses of the History of Topos Theory, British Journal for the Philosophy of Science 41(3), 1990, 351-375.
- Nash, C. et S. Sen. Topology and Geometry for Physicists, Academic Press, 1983.
- Polanyi, M. Personal Knowledge, Routledge, 1958.
- Polanyi, M. Knowing and Being, University of Chicago Press, 1969.
- Tao, T. The dichotomy between structure and randomness, arithmetic progressions, and the primes, 2005 [en ligne : http://arxiv.org/abs/math/0512114].
- Waldspurger, J.-L. 1976, Entrelacements sur Spec(Z), Bull. Sci. Math. (2) 100, no 2, 1976, 113-139.