Wang Hao (logico)

Wang Hao^[1] (Jinan, 20 maggio 1921 – New York, 13 maggio 1995) è stato un matematico, logico e filosofo cinese naturalizzato statunitense.

Alla fine degli anni '50, Wang Hao inventò un modello computazionale simile alla macchina di Turing: la macchina B di Wang, in cui si semplificava ulteriormente la sequenza di istruzioni utilizzate rispetto al modello già proposto da Emil Leon Post nel 1936. Creò anche un modello computazionale per la tassellatura del piano grazie al quale nel 1961 affrontò il problema, noto come problema del domino, se esista o meno un algoritmo per decidere se un dato insieme finito di forme poligonali sia in grado di tassellare l'intero piano. Wang dimostrò che un tale procedimento poteva esistere a condizione che ogni insieme finito di tessere distinte che tassellerà in qualche modo il piano, lo tassellerà anche in modo periodico^[2].

Wang Hao è anche noto per essere stato il primo a programmare un computer per fare dimostrazioni matematiche.^[3]

Fece una serie di interviste a Kurt Gödel poco prima che morisse su cui basò un libro di filosofia: Un viaggio logico: da Gödel alla filosofia.^[4]

• Wang Hao, From Mathematics to Philosophy, Londra, Routledge e Paul Kegan, 1974, ISBN 9780710076892.
• Wang Hao, Popular Lectures on Mathematical Logic, New York, Van Nostrand Reinhold Company, 1981, ISBN 0-486-67632-3.
• Wang Hao, A Logical Journey: From Gödel to Philosophy, Cambridge, Massachusetts, MIT Press, 1996, ISBN 9780262231893.

• (EN) Wang Hao, su Mathematics Genealogy Project, North Dakota State University.
• (EN) Opere di Wang Hao, su Open Library, Internet Archive.
• (FR) Pubblicazioni di Wang Hao, su Persée, Ministère de l'Enseignement supérieur, de la Recherche et de l'Innovation.

Portale Biografie: accedi alle voci di Wikipedia che trattano di biografie