王浩

Wáng Hào

proper noun

Meanings

1 Hao Wang
2 Chinese-American logician and philosopher at Harvard and Rockefeller University, known for work on mathematical logic and automated theorem proving

About Hao Wang

1921–1995 · 科学家 scientist

Chinese-American logician whose 1959 computer program proved hundreds of theorems of Principia Mathematica, an early landmark of automated reasoning. He is also known for Wang tiles and his books on Kurt Gödel.

Characters

Examples

HSK 3

王浩在中国是一个非常常见的名字。

Wáng Hào zài Zhōngguó shì yí ge fēicháng chángjiàn de míngzi.

Wang Hao is an extremely common name in China.

HSK 6

王浩是著名的数理逻辑学家,曾与哥德尔有过深入交流。

Wáng Hào shì zhùmíng de shùlǐ luójíxué jiā, céng yǔ Gēdé'ěr yǒu guò shēnrù jiāoliú.

Wang Hao was a famous mathematical logician who had deep exchanges with Gödel.

Tips

history

He studied in wartime China, at 西南联合大学 and then Tsinghua, under teachers such as the logician 金岳霖 and the philosopher 冯友兰, before taking his doctorate at Harvard under Quine in 1948.

usage

王浩 is also a very common name. Other well-known bearers include a table tennis player who won Olympic singles silver three times, in 2004, 2008 and 2012, and a chess grandmaster.

Stroke Order

王 wáng

浩 hào

王浩