Wang Hao () ( ou à Jinan (Chine) - à New York) est un logicien, philosophe et mathématicien sino-américain.
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 : . 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 From Mathematics to Philosophy, Routledge & Kegan Paul, London, 1974. Popular Lectures on Mathematical Logic, Van Nostrand, NY, 1981, Reflections on Kurt Gödel, The MIT Press, 1990, Traduction française par Laura Ovion et Michel Mériaux,Gödel, éditions Armand Colin, Paris, 1990, A Logical Journey: From Gödel to Philosophy, The MIT Press, 1997,
Références
Voir aussi Articles connexes Jin Yuelin Feng Youlan
Liens externes
Bibliographie développée en ligne
Catégorie:Naissance en mai 1921 Catégorie:Décès en mai 1995 Catégorie:Philosophe chinois du XXe siècle Catégorie:Philosophe américain du XXe siècle Catégorie:Philosophe des mathématiques Catégorie:Étudiant de l'université Tsinghua Catégorie:Étudiant de l'université Harvard Catégorie:Logicien américain Catégorie:Logicien chinois