他是20世纪最伟大的数学家之一，但这个人却并不存在