L.J.E. Brouwer : Topologie et constructivisme (original) (raw)

L. J. E. Brouwer : topologie et constructivisme

L. J. E. Brouwer, qui a formulé une critique très radicale de la pratique mathématique traditionnelle, est aussi l'auteur de résultats considérables dans ce champ : l'importance de ses théorèmes topologiques (notamment sur l'invariance de la dimension, et sur l'existence de points fixes pour toute application continue de la boule Bn dans elle-même) a été d'emblée reconnue par les mathématiciens « classiques ». Selon l'opinion communément reçue, ces deux aspects de l'œuvre de Brouwer sont sans rapport aucun : Brouwer abandonnerait sa philosophie des mathématiques pour faire de la topologie, comme Kronecker la sienne pour faire de

Ля ». Hist. ScL, 1988, XLI/2