Wáng Hào zài Zhōngguó shì yí gè fēicháng chángjiàn de míngzi.
Wang Hao is an extremely common name in China.
Tips
history
Hao Wang's program for a computer to prove all 350+ theorems of Principia Mathematica (1959) was an early landmark in automated reasoning. Late in life he published 'Reflections on Kurt Gödel' and 'A Logical Journey', both based on extensive private conversations with Gödel at Princeton.
usage
王浩 is also one of the most common modern Chinese names — there are tens of thousands of 王浩s in China, including multiple athletes (table tennis, ice hockey) and scientists.
