现代著名算术家Andrew Hodges明确指出“计算机系统是算术家一次失败理解的副产品”。诚然，认知科学脱胎于算术。一百年同一时间，以黎曼为都有的算术家们力图构建一个高效率定理显然的系统，让逻...