Wang Hao

ELEMENTS DE BIOGRAPHIE
FONDEMENTS DES MATHEMATIQUES

Wang Hao (1921- 1995), logicien, philosophe et mathématicien sino-américain.
Après des premières études en Chine, Wang émigre au USA en 1945. Il étudie la logique à Harvard et obtient son doctorat en 1948. Il y devient alors assistant.
Au début des années 50, Wang travaille avec Paul Bernays à Zurich. En 1956, il obtient un poste à Oxford en Philosophie des mathématiques. Il poursuit ses travaux liés à la logique et écrit en 1950 un programme qui permet de démontrer en 9 minutes plusieurs centaines des théorèmes contenus dans les Principia Mathematica de Whitehead et Russell .
En 1961, il retourne comme professeur de Logique Mathématique et Mathématiques Appliquées à Harvard.
De 1967 à 1991, il dirige les recherches en logique à l’Université de New York. En sus de ses résultats théoriques en logique (comme les pavages de Wang ) il a publié plusieurs livres sur Kurt Gödel .