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 en la República Popular China), Wang recibió su primera educación en China. Obtuvo una licenciatura en matemáticas de la Universidad Nacional Asociada del Suroeste en 1943 y una maestría en filosofía de la Universidad de Tsinghua en 1945, donde entre sus maestros se encontraban Feng Youlan y Jin Yuelin , después de lo cual se mudó a los Estados Unidos para continuar sus estudios de posgrado. Estudió lógica con W. V. Quine en la Universidad de Harvard , culminando con un doctorado en 1948. Fue nombrado profesor asistente en Harvard el mismo año.
A principios de la década de 1950, Wang estudió con Paul Bernays en Zúrich . En 1956, fue nombrado profesor 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 solo 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 los EE. UU. a la República Popular China.
Una de las contribuciones más importantes de Wang fue la tesela de Wang . [3] Demostró que cualquier máquina de Turing puede convertirse en un conjunto de teselas de Wang. El problema del dominó consiste en encontrar un algoritmo que utilice un conjunto de teselas de Wang para teselar el plano. El primer ejemplo conocido de teselación aperiódica es un conjunto de teselas de Wang, cuya inexistencia Wang había conjeturado alguna 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]
Filósofo por derecho propio, [5] Wang también desarrolló una interpretación penetrante de la filosofía de las matemáticas posterior de Ludwig Wittgenstein , a la que llamó "antropologismo". Más tarde amplió esta lectura en los fundamentos de las matemáticas. Hizo una crónica de las ideas filosóficas de Kurt Gödel y escribió varios libros sobre el tema, [6] proporcionando así a los académicos contemporáneos muchas ideas que dilucidaban el pensamiento filosófico posterior de Gödel. Consideró su propia filosofía del "factualismo sustancial" como un punto intermedio que incluye tanto las formulaciones teóricas abstractas como el lenguaje ordinario del discurso cotidiano.
En 1983 se le concedió el primer Premio Milestone para la demostración automatizada de teoremas , patrocinado por la Conferencia Conjunta Internacional sobre Inteligencia Artificial . [7]
El 13 de mayo de 1995, Wang murió en el Hospital de Nueva York, una semana antes de cumplir 74 años. Según su esposa Hanne Tierney, la causa de la muerte de Wang fue un linfoma . [8] [9] Además de Tierney, a Wang le sobrevivieron una hija y dos hijos. [8]