Paul Bernays
personne
mathématicien suisse
Paul Bernays, né le 17 octobre 1888 à Londres et mort le 18 septembre 1977 à 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). En 1926, il montre le théorème de complétude du calcul des propositions.
Liens externes
Lien Wikipedia : https://fr.wikipedia.org/wiki/Paul_Bernays
Lien Wikidata : https://www.wikidata.org/wiki/Q122318
Propriétés
- date_deces
- +1977-09-1
- date_naissance
- +1888-10-1
- genre_personne
- masculin
- lieu_deces
- {"qid": "Q72", "label": "Zurich"}
- lieu_naissance
- {"qid": "Q84", "label": "Londres"}
- nationalite
- Suisse
- occupation
- mathématicien ou mathématicienne
- p106_all
- mathématicien ou mathématicienne, philosophe