Logicien et mathématicien hollandais, né à Amsterdam, Brouwer est l'un des fondateurs de la topologie algébrique. Il en a démontré l'un des plus beaux théorèmes, le théorème du point fixe, dont les applications et généralisations, de la théorie des jeux aux équations différentielles, se sont révélées fondamentales. Après 1907, à partir d'une philosophie originale du raisonnement mathématique, il développe l'intuitionnisme, devenu aujourd'hui, sans doute contre sa volonté, une des grandes branches formalisées de la logique ; mais Brouwer ne réussit pas à imposer les mathématiques intuitionnistes, qui demeurent un objet de curiosité.
Gabriel SABBAGH
Retour en haut
