stringtranslate.com

Hao Wang (académico)

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 .

Biografía

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]

Libros

Referencias

  1. ^ Wang, Hao (1960), "Hacia las matemáticas mecánicas", Revista IBM de investigación y desarrollo , 4 (1): 2–22, doi :10.1147/rd.41.0002[Wang 1960a].
  2. ^ "Breve biografía | Harry R. Lewis".
  3. ^ [Wang 1960a].
  4. ^ 50 años de complejidad computacional: Hao Wang y la teoría de la computación, https://arxiv.org/abs/2206.05274
  5. ^ [Wang 1974 y 1985a]
  6. ^ [Wang 1996a, 1987a y en 1974a].
  7. ^ Loveland, Donald W.; Bledsoe, WW (1984). Demostración automática de teoremas: después de 25 años. Providence, Rhode Island: American Mathematical Society. pág. 47. ISBN 0-8218-5027-X.
  8. ^ ab "Hao Wang, 73, Expander of Logician's Themes". The New York Times . 17 de mayo de 1995. ISSN  0362-4331 . Consultado el 30 de marzo de 2024 .
  9. ^ Parsons, Charles (marzo de 1996). "In Memoriam: Hao Wang, 1921-1995". Boletín de lógica simbólica . 2 (1). JSTOR  421050 – vía JSTOR .
  10. ^ Halmos, Paul R. (1954). "Reseña: Les systèmes axiomatiques de la théorie des ensembles par Hao Wang et Robert McNaughton" (PDF) . Toro. América. Matemáticas. Soc . 60 (1): 93–94. doi :10.1090/s0002-9904-1954-09769-0.
  11. ^ Allendoerfer, Carl B. (1937). "La incrustación de espacios de Riemann en los grandes". Duke Mathematical Journal . 3 (2). doi :10.1215/S0012-7094-37-00324-7.
  12. ^ Borgers, Alfons (1954). "Trabajo revisado: Les Systèmes Axiomatiques de la Théorie des Ensembles , Hao Wang, Robert McNaughton, con prefacio de P. Destouches-Fevrier". La revista de lógica simbólica . 19 (1): 64. doi : 10.2307/2267667. JSTOR  2267667. S2CID  123873097.
  13. ^ Stenger, Allen (30 de noviembre de 2015). "Reseña de Popular Lectures on Mathematical Logic de Hao Wang". Reseñas de la MAA, Asociación Matemática de Estados Unidos .
  14. ^ Rodríguez-Consuegra, Francisco. "La filosofía en las conversaciones de Hao Wang con Gödel: reseña de Hao Wang, Un viaje lógico. De Gödel a la filosofía". Lógica moderna 8, núm. 3-4 (2001): 137-152.

Enlaces externos

Bibliografía detallada