Wang Hao (logicien)

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'une amie.

• (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)