This HTML5 document contains 160 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

PrefixNamespace IRI
n31http://en.wikipedia.org/wiki/Hao_Wang_(academic)?oldid=
n36http://en.wikipedia.org/wiki/
voidhttp://rdfs.org/ns/void#
n18http://dbpedia.org/resource/New_York_(state)
dbpediahttp://dbpedia.org/resource/
n12http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#
n10https://linkeddata.uriburner.com/about/id/entity/http/dbpedia.org/resource/
n6http://viaf.org/viaf/
schemahttp://schema.org/
n32http://dbpedia.org/resource/Republic_of_China_(1912–1949)
dctermshttp://purl.org/dc/terms/
rdfshttp://www.w3.org/2000/01/rdf-schema#
n2http://dbpedia.org/resource/Hao_Wang_(academic)
n41http://dbpedia.org/resource/Wang_Hao_(academic)
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n40http://linkeddata.uriburner.com/sparql/
n20http://d-nb.info/gnd/
dbpprophttp://dbpedia.org/property/
n34http://en.wikipedia.org/wiki/Hao_Wang_(academic)
xsdhhttp://www.w3.org/2001/XMLSchema#
n15http://pt.dbpedia.org/resource/Hao_Wang_(acadêmico)
dbpedia-owlhttp://dbpedia.org/ontology/
n35http://dbpedia.org/resource/Hao_Wang_(academic)#
n17http://wikidata.dbpedia.org/resource/
n14http://fr.dbpedia.org/resource/Wang_Hao_(logicien)
n27http://umbel.org/umbel/rc/
categoryhttp://dbpedia.org/resource/Category:
n24http://linkeddata.uriburner.com/about/id/entity/http/dbpedia.org/resource/Hao_Wang_(academic)
n22http://linkeddata.uriburner.com/about/id/entity/http/dbpedia.org/resource/
yagohttp://dbpedia.org/class/yago/
n26http://rdf.freebase.com/ns/m.
wikidatahttp://www.wikidata.org/entity/
n38http://purl.org/linguistics/gold/
n13http://de.dbpedia.org/resource/Hao_Wang_(Mathematiker)
n33http://oxfordjournals.org/our_journals/philmat/hang_bibliography.
n37http://www.nytimes.com/1995/05/17/obituaries/hao-wang-73-expander-of-logician-s-themes.
n19http://pl.dbpedia.org/resource/Wang_Hao_(logik)
n30http://www.w3.org/ns/prov#
foafhttp://xmlns.com/foaf/0.1/
n21http://yago-knowledge.org/resource/Hao_Wang_(academic)
wdrshttp://www.w3.org/2007/05/powder-s#
n42http://www.w3.org/2006/03/wn/wn20/instances/
owlhttp://www.w3.org/2002/07/owl#
Subject Item
n2:
rdf:type
yago:Educator110045713 yago:Mathematician110301261 n12:Agent foaf:Person yago:WikicatAmericanWritersOfChineseDescent n27:Scientist yago:Expert109617867 wikidata:Q5 wikidata:Q215627 n12:NaturalPerson yago:Scientist110560637 schema:Person yago:Wikicat20th-centuryMathematicians yago:WikicatPhilosophersOfMathematics wikidata:Q24229398 yago:WikicatAmericanMathematicians yago:Traveler109629752 yago:Migrant110314952 dbpedia-owl:Person dbpedia-owl:Scientist yago:Intellectual109621545 yago:Scholar110557854 yago:Alumnus109786338 yago:Object100002684 yago:Organism100004475 yago:Emigrant110051975 yago:LivingThing100004258 yago:Whole100003553 yago:WikicatTsinghuaUniversityAlumni yago:Person100007846 yago:PhysicalEntity100001930 yago:WikicatChineseEmigrantsToTheUnitedStates yago:WikicatPhilosophersFromShandong owl:Thing yago:WikicatChinesePhilosophers yago:CausalAgent100007347 yago:WikicatChinesePeople yago:WikicatChineseLogicians yago:WikicatScientistsFromShandong yago:WikicatWritersFromShandong yago:WikicatEducatorsFromShandong yago:WikicatPeopleFromDezhou yago:WikicatAmericanPhilosophers yago:WikicatHarvardUniversityAlumni yago:WikicatAmericanLogicians yago:Philosopher110423589 wikidata:Q901 yago:YagoLegalActor yago:YagoLegalActorGeo schema:CreativeWork yago:Writer110794014 dbpedia-owl:Agent yago:Professional110480253 yago:WikicatChineseMathematicians yago:WikicatLogicians yago:Logician110269785 yago:Communicator109610660 yago:Adult109605289
owl:sameAs
n6:105916035 n13: n14: n15: n17:Q707977 n19: n20:141236957 n21: n26:0424j5 wikidata:Q707977 n2: n35:this
dbpedia-owl:field
dbpedia:Computer_science dbpedia:Philosophy dbpedia:Mathematics n36:Mathematics
n38:hypernym
dbpedia:Logician
dbpedia-owl:abstract
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. 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. 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. 王浩(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」為基礎)論點,以探討「人工生命」議題。
dbpedia-owl:almaMater
dbpedia:National_Southwestern_Associated_University dbpedia:Harvard_University dbpedia:Tsinghua_University
dbpedia-owl:doctoralAdvisor
dbpedia:Willard_Quine
dbpedia-owl:doctoralStudent
dbpedia:Stephen_Cook dbpedia:Joyce_Friedman dbpedia:Shimon_Even
dbpedia-owl:knownFor
dbpedia:Wang_tiles
dbpedia-owl:wikiPageExternalLink
n33:pdf n37:html
dbpedia-owl:wikiPageID
1056047
dbpedia-owl:wikiPageRevisionID
742481291
dbpprop:wordnet_type
n42:synset-scientist-noun-1
dbpprop:workInstitution
dbpedia:Rockefeller_University dbpedia:Oxford_University dbpedia:Harvard_University
n30:wasDerivedFrom
n31:742481291
void:sparqlEndpoint
n40:
schema:mainEntity
n24:
dbpedia-owl:birthPlace
dbpedia:Shandong n32: dbpedia:Qihe dbpedia:Jinan
dbpedia-owl:deathPlace
n18: dbpedia:New_York_City
rdfs:label
Hao Wang (academic) Wang Hao (logicien) 王浩 (数学家) Hao Wang (acadêmico) Wang Hao (logik) Hao Wang (Mathematiker)
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. 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. 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. 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. 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). 王浩(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」為基礎)論點,以探討「人工生命」議題。
foaf:name
Hao Wang
foaf:topic
dbpedia:Stephen_Cook dbpedia:Jin_Yuelin dbpedia:Shimon_Even dbpedia:Willard_Van_Orman_Quine__Willard_Van_Orman_Quine__1 dbpedia:Willard_Van_Orman_Quine n41: n34:
wdrs:describedby
n10:Harvard_University n22:Philosophy n10:Computer_science n10:Tsinghua_University n22:New_York_City n22:Mathematics n10:New_York_City
dcterms:description
Chinese mathematician
foaf:gender
male
dcterms:subject
category:Chinese_emigrants_to_the_United_States category:Educators_from_Shandong category:People_from_Dezhou category:Philosophers_from_Shandong category:Scientists_from_Shandong category:1995_deaths category:Philosophers_of_mathematics category:Harvard_University_alumni category:American_writers_of_Chinese_descent category:Fellows_of_the_British_Academy category:Harvard_University_faculty category:1921_births category:Tsinghua_University_alumni category:Chinese_logicians category:Writers_from_Shandong category:20th-century_mathematicians category:American_logicians
foaf:isPrimaryTopicOf
n34:
schema:url
n2:
dbpedia-owl:birthDate
1921-5-20 1921-05-20
dbpedia-owl:deathDate
1995-05-13 1995-5-13
dbpprop:c
王浩
dbpprop:p
Wáng Hào