Wang Hao (matemático)
| wanghao | |
|---|---|
| Fecha de nacimiento | 20 de mayo de 1921 o 21 de mayo de 1921 [1] |
| Lugar de nacimiento |
|
| Fecha de muerte | 13 de mayo de 1995 [2] (73 años) |
| Un lugar de muerte | |
| País | República de China → EE . UU. |
| Lugar de trabajo | |
| alma mater | |
| consejero científico | Willard Van Orman Quine |
| Estudiantes | Esteban Cook |
| Premios y premios | miembro de la Academia Británica |
Wang Hao ( chino 王浩, pinyin Wáng Hào , inglés Hao Wang , 20 de mayo de 1921 - 13 de mayo de 1995) fue un científico, matemático, lógico y filósofo chino y estadounidense.
Biografía
Nacido en 1921 en la parte urbanizada del condado de Licheng ( provincia de Shandong , República de China ), posteriormente destinado a la ciudad de Jinan . Cuando comenzó la guerra chino-japonesa en 1937 , la Universidad de Tsinghua, la Universidad de Pekín y la Universidad de Tianjin Nankai fueron evacuadas a la parte occidental del país, donde, como resultado , se creó la Universidad Estatal Sudoccidental Unida sobre su base en Kunming ; allí Wang Hao en 1943 recibió una licenciatura en matemáticas. Al final de la guerra, las universidades fueron restauradas a sus ubicaciones anteriores a la guerra y, en 1945, Wang Hao recibió una maestría en filosofía de la Universidad de Tsinghua; sus maestros incluyeron a Feng Yulan y Jin Yuelin .
Wang Hao luego fue a estudiar a los Estados Unidos y en 1948 recibió su Ph.D. en lógica en la Universidad de Harvard . En la década de 1950 estudió en la Universidad de Zúrich con Paul Bernays . En 1956 se convirtió en profesor en el curso de Filosofía de las Matemáticas en la Universidad de Oxford . En 1959, Wang Hao escribió un programa para la computadora IBM 704 que, en 9 minutos, demostraba automáticamente varios cientos de teoremas del campo de la lógica matemática, publicados en la obra fundamental Principia Mathematica de Alfred Whitehead y Bertrand Russell . En 1961, recibió una cátedra de lógica matemática y matemáticas aplicadas de la Fundación Gordon McKay en Harvard De 1967 a 1991, dirigió el Grupo de Investigación Lógica de la Universidad Rockefeller de Nueva York .
En 1972, Wang Hao visitó China como parte del primer grupo de científicos estadounidenses de origen chino, liderado por Ren Zhigong .
Premios
Resultados científicos
Una de las contribuciones más importantes de Wang Hao a la ciencia moderna es " los mosaicos de Wang ": demostró que cualquier máquina de Turing puede representarse como un conjunto de tales mosaicos, y la cuestión de detener tal máquina es equivalente a la pregunta de si es posible. teselar un plano con este juego de teselas. También Wang Hao desarrolló las ideas filosóficas posteriores de Ludwig Wittgenstein . Introdujo el concepto de un algoritmo de operador en la ciencia .
Notas
- ↑ 1 2 Biblioteca Nacional de Alemania, Biblioteca Estatal de Berlín, Biblioteca Estatal de Baviera , Registro de la Biblioteca Nacional de Austria n.° 141236957 // Control reglamentario general (GND) - 2012-2016.
- ↑ Hao Wang // el Proyecto de Ontología Filosófica de Internet
Enlaces
 sitios temáticos | ||||
|---|---|---|---|---|
| Genealogía y necrópolis | ||||
| ||||