定理机器证明与传统数学观

本文从回顾历史上费马猜想和四色猜想被证明为定理的不同方法入手，阐发了机器证明的发展历史和呈方法的思想渊源，论述了计算机对传统数学观的冲击与挑战。     

明代数学及其评价

明代数学有其特殊性，算盘的发明和珠算的发展是中算的一场革命。该文对明代数学具有鲜明的社会性与应用性，以算为主、算理合一的机械化算法体系以及吸收西洋数学、开中西数学合流之先河诸方面进行了分析，对明代数学处于所谓“沉寂”、“倒退”之说提出了商榷。