Hao Wang ( chino :王浩; pinyin : Wáng Hào ; 20 de mayo de 1921 - 13 de mayo de 1995) fue un lógico , filósofo, matemático y comentarista chino-estadounidense de Kurt Gödel .
Nacido en Jinan , Shandong, en la República de China (hoy República Popular China), Wang recibió su educación inicial en China. Obtuvo una licenciatura en matemáticas de la National Southwestern Associated University en 1943 y una maestría en filosofía de la Universidad de Tsinghua en 1945, donde sus profesores incluyeron a Feng Youlan y Jin Yuelin , después de lo cual se mudó a los Estados Unidos para realizar más estudios de posgrado. Estudió lógica con WV Quine en la Universidad de Harvard , culminando con un doctorado. en 1948. Ese mismo año fue nombrado profesor asistente en Harvard.
A principios de la década de 1950, Wang estudió con Paul Bernays en Zúrich . En 1956, fue nombrado lector de Filosofía de las Matemáticas en la Universidad de Oxford . En 1959, Wang escribió en una computadora IBM 704 un programa que en sólo 9 minutos demostró mecánicamente varios cientos de teoremas de lógica matemática en los Principia Mathematica de Whitehead y Russell . [1] En 1961, fue nombrado profesor Gordon McKay de Lógica Matemática y Matemática Aplicada en Harvard. [2] Desde 1967 hasta 1991, dirigió el grupo de investigación de lógica en la Universidad Rockefeller en la ciudad de Nueva York, donde fue profesor de lógica. En 1972, Wang se unió a un grupo de científicos chino-estadounidenses liderados por Chih-Kung Jen como la primera delegación de este tipo de Estados Unidos a la República Popular China.
Una de las aportaciones más importantes de Wang fue el azulejo de Wang . [3] Demostró que cualquier máquina de Turing se puede convertir en un conjunto de mosaicos de Wang. El problema del dominó consiste en encontrar un algoritmo que utilice un conjunto de fichas de Wang para formar mosaicos en el avión. El primer ejemplo conocido de mosaico aperiódico es un conjunto de mosaicos de Wang, cuya inexistencia Wang había conjeturado una vez, descubierto por su alumno Robert Berger en 1966. Wang también tuvo una influencia significativa en la teoría de la complejidad computacional. [4]
Un filósofo por derecho propio, [5] Wang también desarrolló una interpretación penetrante de la filosofía matemática posterior de Ludwig Wittgenstein , a la que llamó "antropología". Posteriormente amplió esta lectura en los fundamentos de las matemáticas. Hizo una crónica de las ideas filosóficas de Kurt Gödel y fue autor de varios libros sobre el tema, [6] proporcionando así a los estudiosos contemporáneos muchas ideas que aclaran el pensamiento filosófico posterior de Gödel. Vio su propia filosofía del "fáctico sustancial" como un término medio que incluye tanto formulaciones teóricas abstractas como el lenguaje ordinario del discurso cotidiano.
En 1983 recibió el primer Premio Milestone por la demostración automatizada de teoremas , patrocinado por la Conferencia Internacional Conjunta sobre Inteligencia Artificial . [7]