《周髀算经》──中国古代唯一的公理化尝试

《周髀算经》构建了古代中国唯一的一个几何宇宙模型。这个盖天宇宙的几何模型有明确的结构，有具体的、绝大部分能够自洽的数理。《周髀算经》的作者使用了公理化方法，他引入了一些公理，并能在此基础上从他的几何模型出发进行有效的演绎推理，去描述各种天象。尽管这些描述与实际天象吻合得并不十分好，但确实是应用公理化方法的一次认真尝试。而且这样的尝试此后在中国就完全绝响了。对于古代中国科学史上这样一个突出的特例，有必要专门探讨一番。