数学化与生活世界程序化改造——兼论数学的本质及其反实在论特征

On Transformation of Mathematicization and Programming of the Life World——with a Discussion on the Nature of Mathematics and its Anti-realism Features

科学的形式化使得符号系统日渐脱离可感知的世界,数学化已经不是基于简单性的理想化过程,所造成的危机迫使人们从不同专业领域进行破解。文章试图寻找数学本身的反实在论性质,通过分析数学的近似性本质,还原自然数学化的真实过程,从而看清现代数学源自生活世界程序化的真实过程。

The formalization of science has made symbol systems increasingly out of the perceptible world. Mathematicization is no longer an idealized process based on simplicity. The resulting crisis has forced people to crack from different professional fields. This article attempts to find the anti-realism nature of mathematics itself,and restore the real process of natural mathematicization by analyzing the approximate nature of mathematics,so as to see the real process of modern mathematics originating from the programming of the life world.