Wang Hao (matematiker)
| Wang Hao | |
|---|---|
| Födelsedatum | 20 maj 1921 eller 21 maj 1921 [1] |
| Födelseort |
|
| Dödsdatum | 13 maj 1995 [2] (73 år) |
| En plats för döden | |
| Land | Republiken Kina → USA |
| Arbetsplats | |
| Alma mater | |
| vetenskaplig rådgivare | Willard Van Orman Quine |
| Studenter | Stephen Cook |
| Utmärkelser och priser | medlem av British Academy |
Wang Hao ( kinesisk 王浩, pinyin Wáng Hào , engelska Hao Wang , 20 maj 1921 – 13 maj 1995) var en kinesisk och amerikansk vetenskapsman, matematiker, logiker och filosof.
Biografi
Född 1921 i den urbaniserade delen av Licheng County ( Shandongprovinsen , Republiken Kina ), senare tilldelad staden Jinan . När det kinesisk-japanska kriget började 1937 evakuerades Tsinghua University , Peking University och Tianjin Nankai University till den västra delen av landet, där, som ett resultat , skapades State Southwestern United University på deras bas i Kunming ; där Wang Hao 1943 fick en kandidatexamen i matematik. I slutet av kriget återställdes universiteten till sina förkrigslägen, och 1945 fick Wang Hao en magisterexamen i filosofi från Tsinghua University; hans lärare inkluderade Feng Yulan och Jin Yuelin .
Wang Hao gick sedan för att studera i USA och tog 1948 sin doktorsexamen. i logik vid Harvard University . På 1950-talet studerade han vid universitetet i Zürich med Paul Bernays . 1956 blev han föreläsare i matematikkursen vid University of Oxford . 1959 skrev Wang Hao ett program för IBM 704 -datorn som på 9 minuter automatiskt bevisade flera hundra satser från matematisk logik, publicerat i det grundläggande verket Principia Mathematica av Alfred Whitehead och Bertrand Russell . 1961 fick han en professur i matematisk logik och tillämpad matematik från Gordon McKay Foundation vid Harvard Från 1967-1991 ledde han Logic Research Group vid Rockefeller University i New York .
1972 besökte Wang Hao Kina som en del av den första gruppen amerikanska vetenskapsmän av kinesiskt ursprung, ledd av Ren Zhigong .
Utmärkelser
Vetenskapliga resultat
Ett av Wang Haos viktigaste bidrag till modern vetenskap är " Wangs brickor ": han visade att vilken Turing-maskin som helst kan representeras som en uppsättning av sådana brickor, och frågan om att stoppa en sådan maskin är likvärdig med frågan om det är möjligt. att kakla ett plan med denna uppsättning plattor. Även Wang Hao utvecklade Ludwig Wittgensteins senare filosofiska idéer . Införde konceptet med en operatörsalgoritm i vetenskapen .
Anteckningar
- ↑ 1 2 Tyska nationalbiblioteket , Berlins statsbibliotek , Bayerns statsbibliotek , österrikiska nationalbibliotekets register #141236957 // General Regulatory Control (GND) - 2012-2016.
- ↑ Hao Wang // Internet Philosophy Ontology Project
Länkar
 Tematiska platser | ||||
|---|---|---|---|---|
| Släktforskning och nekropol | ||||
| ||||