Not logged in : Login
(Sponging disallowed)

About: Hao Wang (academic)     Goto   Sponge   Distinct   Permalink

An Entity of Type : yago:WikicatPhilosophersFromShandong, within Data Space : linkeddata.uriburner.com associated with source document(s)
QRcode icon
http://linkeddata.uriburner.com/describe/?url=http%3A%2F%2Fdbpedia.org%2Fresource%2FHao_Wang_%28academic%29

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.

AttributesValues
Type
same as
field
hypernym
has abstract
  • 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.
  • 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.
  • 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.
  • 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.
  • 王浩(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」為基礎)論點,以探討「人工生命」議題。
  • 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.
alma mater
doctoral advisor
doctoral student
known for
Link from a Wikipage to an external page
Wikipage page ID
Wikipage revision ID
dbpprop:wordnet_type
Faceted Search & Find service v1.17_git51 as of Jun 26 2020


Alternative Linked Data Documents: PivotViewer | ODE     Content Formats:       RDF       ODATA       Microdata      About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 08.03.3319 as of Sep 9 2020, on Linux (x86_64-generic-linux-glibc25), Single-Server Edition (378 GB total memory)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2020 OpenLink Software