论文摘要
亚伯拉罕·鲁滨逊是二十世纪美国著名的数学家和数学哲学家,非标准分析的创始人。他的数学哲学思想是随着数学的发展不断发展和变化的。他早期是数学实在论者,后来转变成形式主义者,并且逐渐形成了自己的形式主义思想。长期以来我国学者对他的了解仅仅局限于其中期的形式主义思想,对其前期的数学实在论及后期更为丰富的形式主义思想所知甚少,对其思想转变的原因更是一无所知。本文力求突破这一局限,结合他在数学上的贡献以及当时数学和数学哲学的发展状况,探析了他各个时期数学哲学思想的形成、变化和发展的原因,并着重从认识论、本体论和方法论三个方面详尽论述了他形式主义思想的特征,进而挖掘其理论意义和现实价值。