Wang Hao (matematician)

Wang Hao
Data nașterii 20 mai 1921( 20.05.1921 ) sau 21 mai 1921( 21.05.1921 ) [1]
Locul nașterii
Data mortii 13 mai 1995( 13.05.1995 ) [2] (în vârstă de 73 de ani)
Un loc al morții
Țară  Republica Chineză → SUA 
Loc de munca
Alma Mater
consilier științific Willard Van Orman Quine
Elevi Stephen Cook
Premii și premii membru al Academiei Britanice

Wang Hao ( chineză 王浩, pinyin Wáng Hào , engleză  Hao Wang , 20 mai 1921 – 13 mai 1995) a fost un om de știință, matematician, logician și filozof chinez și american.

Biografie

Născut în 1921 în partea urbanizată a județului Licheng ( provincia Shandong , Republica China ), alocat ulterior orașului Jinan . Când a început războiul chino-japonez în 1937 , Universitatea Tsinghua , Universitatea Peking și Universitatea Tianjin Nankai au fost evacuate în partea de vest a țării, unde, ca urmare , a fost creată Universitatea de Stat Southwestern United în Kunming ; acolo Wang Hao a primit în 1943 o diplomă de licență în matematică. La sfârșitul războiului, universitățile au fost restaurate în locațiile lor de dinainte de război, iar în 1945, Wang Hao a primit o diplomă de master în filozofie de la Universitatea Tsinghua; profesorii săi au inclus Feng Yulan și Jin Yuelin .

Wang Hao a plecat apoi să studieze în Statele Unite , iar în 1948 și-a luat doctoratul. în logică la Universitatea Harvard . În anii 1950 a studiat la Universitatea din Zurich cu Paul Bernays . În 1956 a devenit lector la cursul de Filosofie a matematicii la Universitatea din Oxford . În 1959, Wang Hao a scris un program pentru computerul IBM 704 care, în 9 minute, a demonstrat automat câteva sute de teoreme din domeniul logicii matematice, publicat în lucrarea fundamentală Principia Mathematica de Alfred Whitehead și Bertrand Russell . În 1961, a primit o profesie de profesor în logică matematică și matematică aplicată de la Fundația Gordon McKay de la Harvard Din 1967 până în 1991, a condus Grupul de Cercetare Logica de la Universitatea Rockefeller din New York .

În 1972, Wang Hao a vizitat China ca parte a primului grup de oameni de știință americani de origine chineză, condus de Ren Zhigong .

Premii

Rezultate științifice

Una dintre cele mai importante contribuții ale lui Wang Hao la știința modernă este „ plăcile lui Wang ”: el a arătat că orice mașină Turing poate fi reprezentată ca un set de astfel de plăci, iar întrebarea opririi unei astfel de mașini este echivalentă cu întrebarea dacă este posibil. pentru a placa un avion cu acest set de plăci. De asemenea, Wang Hao a dezvoltat ideile filozofice de mai târziu ale lui Ludwig Wittgenstein . A introdus în știință conceptul de algoritm de operator .

Note

  1. ↑ 1 2 Biblioteca Națională Germană , Biblioteca de stat din Berlin , Biblioteca de stat bavareza , Înregistrarea Bibliotecii Naționale din Austria #141236957 // Controlul general de reglementare (GND) - 2012-2016.
  2. ↑ Hao Wang // Internet Philosophy Ontology Project 

Link -uri

  Accesați articolul Wikidata  Site-uri tematice
Genealogie și necropole