Constructive mathematics
Mathématique constructive
Abstract
This text was published in the book ``Penser les mathématiques: séminaire de philosophie et mathématiques de l'École normale supérieure (J. Dieudonné, M. Loi, R. Thom)'' edited by F. Guénard and G. Lelièvre, Paris, éditions du Seuil, 1982, pp. 58-72. It is reproduced with the kind permission of François Apéry.
Ce texte est paru dans l'ouvrage ``Penser les mathématiques: séminaire de philosophie et mathématiques de l'École normale supérieure (J. Dieudonné, M. Loi, R. Thom)'' édité par F. Guénard et G. Lelièvre, Paris, éditions du Seuil, 1982, p. 58-72. Il est reproduit avec l'aimable autorisation de François Apéry.
Origin : Files produced by the author(s)
Loading...