福尔摩斯是数学家吗