Wang Hao (logico)

Wang Hao[1] (Jinan, 20 maggio 1921New 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]

  1. ^ Nell'onomastica di questa lingua il cognome precede il nome. "Wang" è il cognome.
  2. ^ Polimath - Le tassellature di Penrose, su areeweb.polito.it.
  3. ^ Wang Hao, Toward Mechanical Mathematics, in IBM Journal of Research and Development, vol. 4, n. 1, 1960, pp. 2–22, DOI:10.1147/rd.41.0002.
  4. ^ Wang Hao, A Logical Journey: From Gödel to Philosophy, Cambridge, Massachusetts, MIT Press, 1996.
  • 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.

Collegamenti esterni

[modifica | modifica wikitesto]
Controllo di autoritàVIAF (EN105916035 · ISNI (EN0000 0001 0930 2142 · SBN CFIV038199 · LCCN (ENn80020637 · GND (DE141236957 · BNF (FRcb120465990 (data) · J9U (ENHE987007279692705171 · NDL (ENJA00516841
  Portale Biografie: accedi alle voci di Wikipedia che trattano di biografie