PaulBernays

17.10.1888 à Londres, 18.9.1977 à Zurich, israélite, de Zurich. Fils de Julius Bernays, marchand, et de Sara née Brecher. Célibataire. Paul Bernays grandit à Berlin, où il vécut à partir de 1895. Après avoir obtenu son baccalauréat au Köllnisches Gymnasium de Berlin en 1907, il étudia les mathématiques, la philosophie et la physique théorique à Berlin (1908-1909), puis à Göttingen (1909-1912). En 1912, il passa son doctorat chez Edmund Landau à Göttingen et son habilitation à l'Université de Zurich, où il fut privat-docent de 1913 à 1917. Avant sa démission officielle, en 1919, il revint à Göttingen à la demande de David Hilbert, où il écrivit une seconde thèse d'habilitation consacrée à la logique des propositions (1918). Privat-docent dès 1919 et professeur extraordinaire à Göttingen dès 1922, il fut licencié en 1933 car non aryen (antisémitisme). De retour en Suisse en 1934, il fut privat-docent (1939-1945) et professeur extraordinaire (1945-1959) de mathématiques supérieures à l'Ecole polytechnique fédérale (EPF) de Zurich. Cependant, la place qu'il occupait dans le monde académique ne correspondait pas à son importance du point de vue scientifique, car Bernays fut l'un des principaux représentants de la logique mathématique au XX^e siècle. Il contribua notamment à la recherche en rédigeant, avec Hilbert, un ouvrage sur les fondements des mathématiques (Grundlagen der Mathematik, 2 vol., 1934-1939). Son œuvre principale, A System of Axiomatic Set Theory (7 vol., 1937-1954), est importante pour l'axiomatisation de la théorie des ensembles. La distinction qu'il établit entre les ensembles et les classes est universellement admise (théorie des ensembles de Bernays et Gödel). Auteur de plusieurs écrits philosophiques (notamment Abhandlungen zur Philosophie der Mathematik, 1976), il participa en 1946 à la fondation à Zurich de l'Internationale Gesellschaft zur Pflege der Logik und Philosophie der Wissenschaften et à la création de la revue Dialectica. Bernays reçut de nombreuses distinctions, dont un doctorat honoris causa de l'Université de Munich en 1976.