从文科生到图灵奖得主，他的一个“错误”折磨了程序员半个世纪