Wang Hao (logicien)

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

Wang Hao

Biographie

Naissance	20 mai 1921 ou 21 mai 1921 District de Licheng
Décès	13 mai 1995 New York
Nom dans la langue maternelle	王浩
Nationalités	chinoise américaine
Formation	Université Harvard Université Tsinghua École secondaire de l'Université normale de Nanjing (en)
Activités	Mathématicien, philosophe, logicien

Autres informations

A travaillé pour	Université Harvard Université Rockefeller Université d'Oxford
Membre de	British Academy Académie américaine des arts et des sciences
Directeur de thèse	Willard Van Orman Quine
Distinction	Membre de la British Academy
Archives conservées par	Archives de l'École polytechnique fédérale de Zurich (en) (CH-001807-7:Hs 986)[1]

modifier - modifier le code - modifier Wikidata

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)