鲁宾逊的伟大历史贡献

上世纪50年代，国内全盘“苏化”，苏联菲氏微积分教材风行全国，培养了一大批数学专家，反对无穷小微积分。
鲁宾逊（A..Robinson，1918-1974），生于德国的波兰裔犹太人。鲁宾逊短暂的一生，55岁死于胰腺癌，为我们留下了宝贵思想财富。

简而言之，鲁宾逊的最大贡献是：超实数系统*R无矛盾性的充分必要条件是实数系统的无买断性。
也就是说，超实数系统*R上的一个（形式）命题可证明，其充分必要条件是，该形式命题在实数系统R上上可证明。这就是“转移公理”的核心意思。

袁萌 12月22日