Paul Bernays
Paul Bernays né le à Londres et mort le à Zurich, est un mathématicien suisse qui a joué un rôle crucial dans le développement de la logique mathématique au XXe siècle. Il est longtemps l'assistant et le collaborateur de David Hilbert. Son nom est lié à la théorie des ensembles de von Neumann-Bernays-Gödel (dite NBG).
Pour les articles homonymes, voir Bernays.
En 1926, il montre le théorème de complétude du calcul des propositions.
Il est le codirecteur de thèse (avec Ferdinand Gonseth) de Julius Richard Büchi.
De 1945 à 1958, il est professeur à l'École polytechnique fédérale de Zurich.
Œuvres
- Avec David Hilbert : Grundlagen der Mathematik I-II, Berlin, 1934/1939
- Abhandlungen zur Philosophie der Mathematik., Darmstadt, 1976
Voir aussi
Liens externes
- Notices d'autorité :
- Fichier d’autorité international virtuel
- International Standard Name Identifier
- CiNii
- Bibliothèque nationale de France (données)
- Système universitaire de documentation
- Bibliothèque du Congrès
- Gemeinsame Normdatei
- Bibliothèque nationale de la Diète
- Bibliothèque royale des Pays-Bas
- Bibliothèque nationale de Pologne
- Bibliothèque nationale d’Israël
- Bibliothèque universitaire de Pologne
- Bibliothèque nationale de Catalogne
- Bibliothèque nationale de Suède
- Réseau des bibliothèques de Suisse occidentale
- Bibliothèque nationale d’Australie
- Base de bibliothèque norvégienne
- Bibliothèque nationale tchèque
- WorldCat
- (en) John J. O'Connor et Edmund F. Robertson, « Paul Bernays », dans MacTutor History of Mathematics archive, université de St Andrews (lire en ligne).
- (de) « Publications de et sur Paul Bernays », dans le catalogue en ligne de la Bibliothèque nationale allemande (DNB).
- Portail des mathématiques
- Portail du canton de Zurich
Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons - Attribution - Partage dans les Mêmes. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.