数学机械化视野中算法与公理法的辩证统一

摘要

算法与公理法是数学发展中的一对基本矛盾,它们的交互运动推动了人类数学的发展,也造成了东西方数学的不同特点.历史上曾一度被割裂地看待,然而在计算机高速发展的今天,二者正在趋于辩证统一.算法与公理法的辩证统一观有利于对数学和数学本质更全面、更理性的理解,有助于对算法意义的认识,有助于促进构造性数学及其相关学科的发展,有助于数学成果由手工时代向机器时代的加速发展.