solidot新版网站常见问题,请点击这里查看。
消息
本文已被查看178次
Constructive mathematics. (arXiv:1705.05581v1 [math.HO])
来源于:arXiv
This text was published in the book "Penser les math{\'e}matiques:
s\'eminaire de philosophie et math\'ematiques de l'\'Ecole normale sup\'erieure
(J. Dieudonn\'e, M. Loi, R. Thom)" edited by F. Gu\'enard and G. Leli\`evre,
Paris, \'editions du Seuil, 1982, pp. 58-72. It is reproduced with the kind
authorisation of Fran\c{c}ois Ap\'ery. 查看全文>>