Ван Сянхао , Шаньхао Ван или Шаньхоу Ван ( китайский :王湘浩; 5 мая 1915 – 4 мая 1993) был китайским математиком, который ввел теорему Грюнвальда–Вана в (Ван 1948, 1950), исправив ошибку в первоначальном утверждении Вильгельма Грюнвальда и доказательстве этого. Позже он перешел от математики к информатике и теории управления и стал членом Китайской академии наук . (Рокетт 2005, стр. 30)
Несколько дней спустя я был с Артином в его офисе, когда появился Ван. Он сказал, что у него есть контрпример к лемме, которая использовалась в доказательстве. Час или два спустя он привел контрпример к самой теореме... Конечно, он [Артин] был поражен, как и все мы, студенты, что известная теорема с двумя опубликованными доказательствами, одно из которых мы все слышали на семинаре, не заметив ничего, может быть неверной.