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

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