Wang Hao (logicien)

Wang Hao (chinois simplifié : 王皓 pinyin : Wáng Hào) ( ou à Jinan (Chine) - à New York) est un logicien, philosophe et mathématicien sino-américain.

Pour les articles homonymes, voir Wang Hao et Wang (patronyme).
Wang Hao
Biographie
Naissance
Décès
Nationalité
Formation
Activités
Autres informations
A travaillé pour
Membre de
Directeur de thèse
Distinction
Archives conservées par
Archives de l'École polytechnique fédérale de Zurich (en) (CH-001807-7:Hs 986)

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)

Voir aussi

Articles connexes

Liens externes

  • Portail de la logique
Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons - Attribution - Sharealike. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.