Wang Hao (logicien)
Wang Hao (chinois simplifié : 王皓 pinyin : ) ( ou à Jinan (Chine) - à New York) est un logicien, philosophe et mathématicien sino-américain.
| Naissance | |
|---|---|
| Décès | |
| Nationalités | |
| Formation |
Université Harvard Université Tsinghua École secondaire de l'Université normale de Nanjing (en) |
| Activités |
| A travaillé pour | |
|---|---|
| Membre de | |
| Directeur de thèse | |
| Distinction | |
| Archives conservées par |
Biographie
Hao Wang invente à la fin des années 1950 un modèle de calculabilité similaire à la machine de Turing : La machine de Wang, où le graphe d'état est remplacé par une suite d'instructions (l'idée a été publiée en 1936 par Emil Post).
Il crée également un modèle de calculabilité par des pavages ou dominos (jeu). Ses étudiants suggèrent des pièces de puzzle à la place des pavés, et démontrent au début des années 1960 l'existence de pavages non périodiques du plan.
Hao Wang est également connu pour avoir été le premier à programmer un ordinateur pour faire des démonstrations mathématiques.
Enfin il a été le dernier logicien à fréquenter Kurt Gödel à la fin de sa vie, et il a publié un livre de philosophie rédigé d'après les notes de ses entrevues avec Gödel: A logical journey: From Gödel to philosophy. Il était le seul homme présent aux obsèques de Gödel, aux côtés de la veuve, et d'une amie.
Bibliographie
- (en) From Mathematics to Philosophy, Routledge & Kegan Paul, London, 1974.
- (en) Popular Lectures on Mathematical Logic, Van Nostrand, NY, 1981, (ISBN 0-486-67632-3)
- (en) Reflections on Kurt Gödel, The MIT Press, 1990, (ISBN 9780262730877)
- Traduction française par Laura Ovion et Michel Mériaux,Gödel, éditions Armand Colin, Paris, 1990, (ISBN 2-200-24020-1)
- (en) A Logical Journey: From Gödel to Philosophy, The MIT Press, 1997, (ISBN 9780262231893)