-

Brouwer

	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 1^er 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.

Dictionnaire biographique