纪志刚 郝新鸿 徐传胜 符五久 陈建兰 饶瑞昌 王汝发 杨路 范广辉

拓扑学 完备化 吴文俊 程序化 可读证明 集合 中国传统数学 公理法 模型化 机器证明 定理机器证明 算法化 历史主义原则 非线方程 数学史观 中西对比方法 吴示性类 中国数学 图灵测试 中国古代数学 过程集合体 吴方法 自动推理 逆算符方法 程序