Wang Hao (matematik)
| Wang Hao | |
|---|---|
| Datum narození | 20. května 1921 nebo 21. května 1921 [1] |
| Místo narození |
|
| Datum úmrtí | 13. května 1995 [2] (ve věku 73 let) |
| Místo smrti | |
| Země | Čínská republika → USA |
| Místo výkonu práce | |
| Alma mater | |
| vědecký poradce | Willard Van Orman Quine |
| Studenti | Stephen Cook |
| Ocenění a ceny | člen Britské akademie |
Wang Hao ( čínsky 王浩, pinyin Wáng Hào , anglicky Hao Wang , 20. května 1921 – 13. května 1995) byl čínský a americký vědec, matematik, logik a filozof.
Životopis
Narozen v roce 1921 v urbanizované části okresu Licheng ( provincie Šan-tung , Čínská republika ), později přidělený do města Jinan . Když v roce 1937 začala čínsko-japonská válka , Tsinghua University , Peking University a Tianjin Nankai University byly evakuovány do západní části země, kde v důsledku toho byla na jejich základě v Kunmingu vytvořena Státní jihozápadní sjednocená univerzita ; tam Wang Hao v roce 1943 získal bakalářský titul v matematice. Na konci války byly univerzity obnoveny na jejich předválečná místa a v roce 1945 získal Wang Hao magisterský titul z filozofie na univerzitě Tsinghua; mezi jeho učitele patřili Feng Yulan a Jin Yuelin .
Wang Hao pak odešel studovat do Spojených států a v roce 1948 získal titul Ph.D. v logice na Harvardské univerzitě . V 50. letech studoval na univerzitě v Curychu u Paula Bernayse . V roce 1956 se stal lektorem kurzu Filosofie matematiky na Oxfordské univerzitě . V roce 1959 napsal Wang Hao program pro počítač IBM 704 , který za 9 minut automaticky dokázal několik stovek vět z oblasti matematické logiky, publikovaných v základním díle Principia Mathematica Alfreda Whiteheada a Bertranda Russella . V roce 1961 získal profesuru matematické logiky a aplikované matematiky od Gordon McKay Foundation na Harvardu V letech 1967-1991 vedl Logic Research Group na Rockefellerově univerzitě v New Yorku .
V roce 1972 navštívil Wang Hao Čínu jako součást první skupiny amerických vědců čínského původu, kterou vedl Ren Zhigong .
Ocenění
Vědecké výsledky
Jedním z nejdůležitějších příspěvků Wanga Haa do moderní vědy jsou „ Wangovy dlaždice “: ukázal, že jakýkoli Turingův stroj může být reprezentován jako sada takových dlaždic a otázka zastavení takového stroje je ekvivalentní otázce, zda je možné k obkládání roviny touto sadou dlaždic. Také Wang Hao rozvinul pozdější filozofické myšlenky Ludwiga Wittgensteina . Představil pojetí algoritmu operátora do vědy .
Poznámky
- ↑ 1 2 Německá národní knihovna , Berlínská státní knihovna , Bavorská státní knihovna , Rakouská národní knihovna Záznam #141236957 // Obecná regulační kontrola (GND) - 2012-2016.
- ↑ Hao Wang // Internet Philosophy Ontology Project
Odkazy
 Tematické stránky | ||||
|---|---|---|---|---|
| Genealogie a nekropole | ||||
| ||||