Wang Hao (matemaatikko)
| Wang Hao | |
|---|---|
| Syntymäaika | 20. toukokuuta 1921 tai 21. toukokuuta 1921 [1] |
| Syntymäpaikka |
|
| Kuolinpäivämäärä | 13. toukokuuta 1995 [2] (73-vuotias) |
| Kuoleman paikka | |
| Maa | Kiinan tasavalta → USA |
| Työpaikka | |
| Alma mater | |
| tieteellinen neuvonantaja | Willard Van Orman Quine |
| Opiskelijat | Stephen Cook |
| Palkinnot ja palkinnot | British Academyn jäsen |
Wang Hao ( kiinalainen 王浩, pinyin Wáng Hào , englanniksi Hao Wang , 20. toukokuuta 1921 – 13. toukokuuta 1995) oli kiinalainen ja amerikkalainen tiedemies, matemaatikko, loogikko ja filosofi.
Elämäkerta
Syntyi vuonna 1921 Licheng Countyn kaupungistuneessa osassa ( Shandongin maakunta , Kiinan tasavalta ), myöhemmin Jinanin kaupunki . Kiinan ja Japanin sodan alkaessa vuonna 1937 Tsinghuan yliopisto , Pekingin yliopisto ja Tianjin Nankai -yliopisto evakuoitiin maan länsiosaan, missä sen seurauksena perustettiin niiden pohjalle Kunmingiin State Southwestern United University ; siellä Wang Hao vuonna 1943 sai kandidaatin tutkinnon matematiikassa. Sodan lopussa yliopistot palautettiin sotaa edeltäville paikoilleen, ja vuonna 1945 Wang Hao sai filosofian maisterin tutkinnon Tsinghuan yliopistosta; hänen opettajiaan olivat Feng Yulan ja Jin Yuelin .
Wang Hao meni sitten opiskelemaan Yhdysvaltoihin ja sai vuonna 1948 tohtorin tutkinnon. logiikassa Harvardin yliopistossa . 1950 - luvulla hän opiskeli Zürichin yliopistossa Paul Bernaysin johdolla . Vuonna 1956 hänestä tuli luennoitsija matematiikan filosofian kurssilla Oxfordin yliopistossa . Vuonna 1959 Wang Hao kirjoitti ohjelman IBM 704 -tietokoneelle , joka todisti 9 minuutissa automaattisesti useita satoja matemaattisen logiikan alan lauseita, jotka julkaistiin Alfred Whiteheadin ja Bertrand Russellin perusteoksessa Principia Mathematica . Vuonna 1961 hän sai matemaattisen logiikan ja soveltavan matematiikan professuurin Gordon McKay -säätiöstä Harvardissa Vuosina 1967-1991 hän johti logiikkatutkimusryhmää Rockefeller-yliopistossa New Yorkissa .
Vuonna 1972 Wang Hao vieraili Kiinassa osana ensimmäistä kiinalaista alkuperää olevien amerikkalaisten tiedemiesten ryhmää, jota johti Ren Zhigong .
Palkinnot
Tieteelliset tulokset
Yksi Wang Haon tärkeimmistä panostuksista moderniin tieteeseen on " Wangin laatat ": hän osoitti, että mikä tahansa Turingin kone voidaan esittää tällaisten laattojen joukkona, ja kysymys tällaisen koneen pysäyttämisestä vastaa kysymystä siitä, onko se mahdollista. laatoittaa kone tällä laattasarjalla. Myös Wang Hao kehitti Ludwig Wittgensteinin myöhempiä filosofisia ideoita . Toi operaattorialgoritmin käsitteen tieteeseen .
Muistiinpanot
- ↑ 1 2 Saksan kansalliskirjasto , Berliinin osavaltiokirjasto , Baijerin osavaltion kirjasto , Itävallan kansalliskirjasto Tietue #141236957 // Yleinen sääntelyvalvonta (GND) - 2012-2016.
- ↑ Hao Wang // Internet- filosofian ontologiaprojekti
Linkit
 Temaattiset sivustot | ||||
|---|---|---|---|---|
| Sukututkimus ja nekropolis | ||||
| ||||