试论胡世华先生的数学哲学思想

胡世华先生是我国数学哲学的开拓者之一。他在数学哲学方面的独创性表现在：他对恩格斯关于数学对象和性质的论述，能作比较全面和准确的理解与阐述；当出现忽视数学基本理论倾向时，他强调要重视数学基本理论的研究；他阐释了数理逻辑的科学性质，划清了数理逻辑的科学性质和唯心主义解释的界限；他展望了信息时代数学发展的前景。