Hao Wang (Chinese: 王浩; pinyin: Wáng Hào; 20 May 1921 – 13 May 1995) was a logician, philosopher, mathematician, and commentator on Kurt Gödel.

Property Value
dbo:abstract
  • Hao Wang (Chinese: 王浩; pinyin: Wáng Hào; 20 May 1921 – 13 May 1995) was a logician, philosopher, mathematician, and commentator on Kurt Gödel. (en)
  • Hao Wang (chinesisch 王 浩, Pinyin Wáng Hào; * 20. Mai 1921 in Jinan, Provinz Shandong, China; † 13. Mai 1995 in New York City) war ein chinesisch-US-amerikanischer Logiker, Mathematiker und Philosoph. Er erarbeitete u.a. die nach ihm benannte Wang-Parkettierung. (de)
  • Pour les articles homonymes, voir Wang Hao, Wang et Hao. Wang Hao (chinois simplifié : 王皓 pinyin : Wáng Hào) (20 mai 1921 - 13 mai 1995) est un logicien, philosophe et mathématicien sino-américain. (fr)
  • Wang Hao, chiń. 王浩, pinyin Wáng Hào (ur. 20 maja 1921 w Jinan, zm. 13 maja 1995) – amerykański logik, filozof i matematyk pochodzenia chińskiego. Po ukończeniu matematyki na Narodowym Uniwersytecie Południowozachodnim w Kunming (1943) oraz filozofii na Uniwersytecie Tsinghua w Pekinie (1945) wyjechał do Stanów Zjednoczonych w celu kontynuowania nauki. Studiował logikę na Uniwersytecie Harvarda, w roku 1948 otrzymując tytuł doktora, a następnie (w tym samym roku) – stanowisko adiunkta (ang. assistant professor). W pierwszych latach 50. studiował wraz z Paulem Bernaysem w Zurychu. W 1956 i 1961 otrzymał profesorskie tytuły na uniwersytetach w Oksfordzie (Reader in the Philosophy of Mathematics) i Harwardzie (Gordon MacKay Professor of Mathematical Logic and Applied Mathematics). W 1972 dołączył do grupy amerykańskich naukowców pochodzących z Chin (zarządzanej przez Chih-Kung Jena). Pomiędzy 1967 a 1991 zajmował stanowisko profesora logiki na Uniwersytecie Rockefellera w Nowym Jorku. (pl)
  • Wang Hao, também conhecido por Hao Wang, (Chinês: 王浩, 20 de maio de 1921 — 13 de maio de 1995) foi um matemático e filósofo sino-americano. (pt)
  • 王浩(1921年5月20日-1995年5月13日),華裔美籍哲學家、數理邏輯學家。1943年西南聯合大學數學系畢業,1945年清華大學哲學系畢業,国内期间曾师从著名逻辑学家金岳霖。1948年哈佛大學邏輯學博士畢業,同年成為哈佛的副教授。1950年代初,隨保羅·伯奈斯在蘇黎世學習。1956年獲薦為牛津大學Reader in the Philosophy of Mathematics。1959年,王浩在「IBM 704计算机」上用9分钟计算时间,证明了罗素、怀特海所著《数学原理》中数百余条数理逻辑定理;因此在1983年於国际人工智能联合会议荣获首届证明自动化奖(the first Milestone Prize for Automated Theorem-Proving)。1961年任命主持哈佛「數理邏輯和應用數學的Gordon McKay教授紀念講座」。1967年至1991年,領導洛克斐勒大學的邏輯學小組,在那裡他是数理邏輯學教授。 他證明了圖靈機都可轉為一組王氏砖(Wang tile)。 1968年,英國埃德加·科德針對「細胞自動機」提出自己的「科德細胞自動機」(以王浩的「Wang B-machine」為基礎)論點,以探討「人工生命」議題。 (zh)
dbo:almaMater
dbo:birthDate
  • 1921-05-20 (xsd:date)
  • 1921-5-20
dbo:birthPlace
dbo:deathDate
  • 1995-05-13 (xsd:date)
  • 1995-5-13
dbo:deathPlace
dbo:doctoralAdvisor
dbo:doctoralStudent
dbo:field
dbo:knownFor
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 1056047 (xsd:integer)
dbo:wikiPageRevisionID
  • 742481291 (xsd:integer)
dbp:c
  • 王浩
dbp:p
  • Wáng Hào
dbp:wordnet_type
dbp:workInstitution
dct:description
  • Chinese mathematician (en)
dct:subject
http://purl.org/linguistics/gold/hypernym
rdf:type
rdfs:comment
  • Hao Wang (Chinese: 王浩; pinyin: Wáng Hào; 20 May 1921 – 13 May 1995) was a logician, philosopher, mathematician, and commentator on Kurt Gödel. (en)
  • Hao Wang (chinesisch 王 浩, Pinyin Wáng Hào; * 20. Mai 1921 in Jinan, Provinz Shandong, China; † 13. Mai 1995 in New York City) war ein chinesisch-US-amerikanischer Logiker, Mathematiker und Philosoph. Er erarbeitete u.a. die nach ihm benannte Wang-Parkettierung. (de)
  • Pour les articles homonymes, voir Wang Hao, Wang et Hao. Wang Hao (chinois simplifié : 王皓 pinyin : Wáng Hào) (20 mai 1921 - 13 mai 1995) est un logicien, philosophe et mathématicien sino-américain. (fr)
  • Wang Hao, também conhecido por Hao Wang, (Chinês: 王浩, 20 de maio de 1921 — 13 de maio de 1995) foi um matemático e filósofo sino-americano. (pt)
  • 王浩(1921年5月20日-1995年5月13日),華裔美籍哲學家、數理邏輯學家。1943年西南聯合大學數學系畢業,1945年清華大學哲學系畢業,国内期间曾师从著名逻辑学家金岳霖。1948年哈佛大學邏輯學博士畢業,同年成為哈佛的副教授。1950年代初,隨保羅·伯奈斯在蘇黎世學習。1956年獲薦為牛津大學Reader in the Philosophy of Mathematics。1959年,王浩在「IBM 704计算机」上用9分钟计算时间,证明了罗素、怀特海所著《数学原理》中数百余条数理逻辑定理;因此在1983年於国际人工智能联合会议荣获首届证明自动化奖(the first Milestone Prize for Automated Theorem-Proving)。1961年任命主持哈佛「數理邏輯和應用數學的Gordon McKay教授紀念講座」。1967年至1991年,領導洛克斐勒大學的邏輯學小組,在那裡他是数理邏輯學教授。 他證明了圖靈機都可轉為一組王氏砖(Wang tile)。 1968年,英國埃德加·科德針對「細胞自動機」提出自己的「科德細胞自動機」(以王浩的「Wang B-machine」為基礎)論點,以探討「人工生命」議題。 (zh)
  • Wang Hao, chiń. 王浩, pinyin Wáng Hào (ur. 20 maja 1921 w Jinan, zm. 13 maja 1995) – amerykański logik, filozof i matematyk pochodzenia chińskiego. Po ukończeniu matematyki na Narodowym Uniwersytecie Południowozachodnim w Kunming (1943) oraz filozofii na Uniwersytecie Tsinghua w Pekinie (1945) wyjechał do Stanów Zjednoczonych w celu kontynuowania nauki. Studiował logikę na Uniwersytecie Harvarda, w roku 1948 otrzymując tytuł doktora, a następnie (w tym samym roku) – stanowisko adiunkta (ang. assistant professor). (pl)
rdfs:label
  • Hao Wang (academic) (en)
  • Hao Wang (Mathematiker) (de)
  • Wang Hao (logicien) (fr)
  • Wang Hao (logik) (pl)
  • Hao Wang (acadêmico) (pt)
  • 王浩 (数学家) (zh)
owl:sameAs
prov:wasDerivedFrom
foaf:gender
  • male (en)
foaf:isPrimaryTopicOf
foaf:name
  • Hao Wang (en)
is dbo:doctoralAdvisor of
is dbo:doctoralStudent of
is dbo:influenced of
is dbo:wikiPageRedirects of
is foaf:primaryTopic of