|
|
Brouwer
(Luitzen
Egbertus), mathématicien et philosophe, né en 1881 près
de Rotterdam ,
mort en 1966. Il a enseigné à l'université d'Amsterdam
de 1912 à 1956. En mathématiques, on lui doit surtout des
recherches en topologie. Elle sont exposées dans Beweis der Invarianz
der Dimensionzahl (Mathematische Annalen, 1911). En philosophie,
il a été l'un des promoteurs de l'intutionisme en mathématiques.
Il donne la primauté aux mathématiques sur la logique et
le langage. Réfléchissant sur certains concepts de base de
la logique, comme le principe du tiers exclus, il est conduit à
remettre entièrement en question la théorie ensembliste de
Cantor, et l'utilisation de preuves non constructives.
Pour lui, une entité ou une preuve mathématiques ne sont
recevables que dans la mesure où elles résultent d'une construction. |
|
 |
Brouwer
(Dirk), astronome né le 1er septembre
1902 aux Pays Bas ,
mort le 31 janvier 1966). Il a été formé à
l'université de Leyde, puis à Yale (dont il sera le directeur
de l'observatoire entre 1941 et 1966), où il va travailler sur des
questions de mécanique céleste avec Ernest
Brown. Il a déterminé la masse de Titan ,
à partir de l'étude de ses perturbations
des orbites
des autres satellites
de Saturne .
Ce travail a débouché sur le développement de méthodes
informatiques générales pour calculer les orbites de comètes ,
astéroïdes
et autres corps du Système solaire .
Ses calculs d'orbites des premiers satellites artificiels ont conduit à
une amélioration de la connaissance de la forme de la Terre .
On lui doit l'ouvrage : Methods of Celestial Mechanics. Il a également
été le responsable de l'Astronomical Journal. |