Wang Hao (logicien)
Cet article est une ébauche concernant la logique.
Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.
Pour les articles homonymes, voir Wang Hao et Wang (patronyme).
| Naissance | |
|---|---|
| Décès | |
| Nom dans la langue maternelle |
王浩 |
| 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 |
Wang Hao (chinois simplifié : 王皓 pinyin : ) ( ou à Jinan (Chine) - à New York) est un logicien, philosophe et mathématicien sino-américain.
Biographie
Hao Wang a inventé à 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 a été remplacé par une suite d'instructions (l'idée a été publiée en 1936 par Emil Post).
Il a également créé un modèle de calculabilité par des pavages ou dominos (jeu). Ses étudiants ont suggéré des pièces de puzzle à la place des pavés, et ont démontré 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'un 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)
