Wang Hao (logicien)

mathématicien chinois
(Redirigé depuis Wang Hao (logique))
Wang Hao
une illustration sous licence libre serait bienvenue
Biographie
Naissance
Décès
Nom dans la langue maternelle
王浩Voir et modifier les données sur Wikidata
Nationalités
Formation
Université Harvard
Université Tsinghua
École secondaire de l'Université normale de Nanjing (en)Voir et modifier les données sur Wikidata
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)[1]Voir et modifier les données sur Wikidata

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

Biographie modifier

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 modifier

Références modifier

Voir aussi modifier

Articles connexes modifier

Liens externes modifier