Wang Hao (20 de mayo de 1921 - 13 de mayo de 1995) fue un lógico matemático. Originario del condado de Qihe, ciudad de Dezhou, provincia de Shandong, y de la ciudad de Jinan, provincia de Shandong. Se graduó de la Escuela Secundaria No. 1 de Jinan en la provincia de Shandong en 1939 y entró en el Departamento de Matemáticas de la Universidad Asociada del Suroeste, donde estudió con el Sr. Jin Yuelin. Después de recibir su licenciatura en 1943, estudió en el Departamento de Filosofía de la Escuela de Graduados de la Universidad de Tsinghua y recibió su tesis de maestría "Sobre los fundamentos del conocimiento empírico" en 1945. Wang Hao estaba interesado en la filosofía cuando estaba en la escuela secundaria. Por sugerencia de su padre, leyó las obras de Engels "Anti-Turín y Ludwig Feuerbach" y "El fin de la filosofía clásica alemana" cuando estaba en la escuela secundaria. De 1943 a 1946, Wang Hao fue a la Universidad de Harvard en Estados Unidos, donde conoció a W.V. Quine, un famoso filósofo y lógico estadounidense contemporáneo, e inmediatamente comenzó a estudiar el sistema de axiomas formales que fundó. Dos años más tarde, se doctoró en filosofía en la Universidad de Harvard. Después de enseñar brevemente en Harvard, fui a Zurich a trabajar con Beneisse. De 1954 a 1956, fue el segundo profesor John Locke en la Universidad de Oxford. También se desempeñó como profesor titular de lógica y filosofía matemática y presidió una clase de debate sobre matemáticas básicas. 1961-1967, Profesor de la Universidad de Harvard. De 1967 a 1991 fue profesor de lógica en la Universidad Rockefeller. A principios de la década de 1950, fue elegido miembro de la Academia Estadounidense de Ciencias y más tarde miembro extranjero de la Academia Británica. En 1983, la Federación Internacional de Inteligencia Artificial le otorgó el primer "Premio Milestone a la prueba mecánica de teoremas matemáticos" en reconocimiento a sus contribuciones pioneras en el campo de la prueba mecánica de teoremas matemáticos. Es autor de "Introducción a la lógica matemática", "De las matemáticas a la filosofía" y "Gödel y más allá de la filosofía analítica".
Nombre chino: Wang Hao.
Nacionalidad: China.
Lugar de nacimiento: Ciudad de Jinan, Provincia de Shandong
Fecha de nacimiento: 20 de mayo de 1921.
Fecha de fallecimiento: 13 de mayo de 1995.
Ocupación: Lógico Matemático
Institución de graduación: Universidad de Tsinghua.
Principales logros: Primer "Premio Milestone a la demostración mecánica de teoremas matemáticos"
Trabajo representativo: Principios de Matemáticas
Experiencia de carácter
Estaba en la escuela secundaria. En ese momento, leí "Logic" escrito por King (1935), en el que alrededor de 80 páginas presentaban el contenido del primer volumen del famoso libro de B. Russell "Principios de Matemáticas". Se dio cuenta de que estos contenidos eran interesantes y fáciles de entender, por lo que decidió intentar aprender primero la lógica matemática más sencilla para hacer una preparación básica para aprender dialéctica en el futuro. Cuando era estudiante de primer año, tomó la clase de lógica simbólica de Wang Xianjun y estudió sistemáticamente el primer volumen de "Principios de Matemáticas". Y aprenda alemán leyendo "Fundamentos de la lógica matemática" de Hilbert Ackermann (edición de 1938). Luego leí el primer volumen de "Fundamentos de matemáticas" de Hilbert Berners (dos volúmenes, edición de 1934). En 1942, escuchó las conferencias de Shen Youding sobre Wittgenstein (1889~1951) y leyó Canape (R). Recordando esta intensa y significativa vida de estudio, Wang Hao dijo: Estuve en Kunming de 1939 a 1946, disfrutando de una vida de pobreza y pobreza. pobreza. Diversión rica en alimentos. Especialmente porque el profesor Jin () y varios otros profesores y compañeros tienen los mismos intereses y valores coincidentes, se sienten felices y pueden convertir el trabajo en una necesidad básica y convertirse en el pilar principal de sus vidas futuras. ¡Mi deseo es que cada vez más jóvenes en China tengan la oportunidad de disfrutar de ese toque de felicidad! Mientras Wang Hao estudiaba (1943-1946), también se desempeñó como profesor de matemáticas.
Contribución destacada
Según sugerencia de Quine, el título del artículo es "Economía del análisis clásico". 65438-0947, comenzó a desempeñarse como asistente de enseñanza en "Lógica avanzada y filosofía del lenguaje" de Quine. Obtuvo un Doctorado en Ciencias en 1948 y permaneció en la Universidad de Harvard. Se desempeñó como investigador junior de 1948 a 1951 y como profesor asistente de filosofía de 1951 a 1956. Durante la ausencia temporal de Quinn de Harvard en 1949, Wang Hao tomó su lugar e impartió un curso de lógica avanzada, dando una introducción relativamente completa al teorema de incompletitud de Gödel.
Vida útil
Durante 1950-1951, Wang Shu fue al Instituto de Matemáticas del Instituto Federal Suizo de Tecnología en Zurich para realizar investigaciones postdoctorales. En 1954 viajó a Inglaterra para trabajar como investigador en la Fundación Rockefeller. 1954-1955, presidió la segunda Conferencia John Locke sobre Filosofía en la Universidad de Oxford, Inglaterra. 1956 Maestría en Balliol College, Universidad de Oxford. De 1956 a 1961, se desempeñó como profesor titular de filosofía matemática en la Universidad de Oxford. Durante este período dirigió un seminario sobre cómo defender los puntos de vista de Genstein sobre los fundamentos de las matemáticas. La mayoría de los principales filósofos de Oxford asistieron al simposio. De 1961 a 1967 regresó a Harvard como profesor de lógica matemática y matemáticas aplicadas. Después de 1967, se desempeñó como profesor de matemáticas en la Universidad Rockefeller y presidió el laboratorio de investigación lógica de la escuela. De 1975 a 1976 trabajó como académico visitante en el Instituto de Estudios Avanzados de Princeton.
Ocupando puestos importantes
Del 65438 al 0953, Wang Hao comenzó a estudiar teoría de la computación y prueba de máquinas. Porque, por un lado, sentía profundamente que la lógica matemática, que se consideraba demasiado precisa en su forma, muy engorrosa y sin utilidad práctica, podría desempeñar un papel excelente en el campo de la informática; establecimiento de la Nueva China, quería aprender más cosas útiles para poder regresar y servir a la patria en el futuro. Con este fin, se desempeñó como ingeniero de investigación en Burroughs Corporation (1953 ~ 1954), experto técnico en Bell Telephone Laboratories (1959 ~ 1960) y científico visitante en el IBM Research Center (1973 ~ 1974).