数学哲学科技名词
数学哲学科技名词：第1页
数学哲学
philosophy of mathematics
数学基础
foundation of mathematics
元数学
metamathematics
直觉主义
intuitionism;intuitionalism
形式主义
formalism
数学柏拉图主义
Platonism in mathematics
数学实在论
realism in mathematics
数学经验论
empiricism in mathematics
数学拟经验论
quasi-empiricism in mathematics
数学悖论
mathematical paradox
哥德尔不完全性定理
Goedel's incompleteness theorem
希尔伯特纲领
Hilbert programme
公理化
axiomatization
公理主义
axiomatism
形式系统
formal system
数学模型
mathematical model
数学实验
mathematical experiment
似真推理
plausible inference
数学归纳法
mathematical induction
关系映射反演
relationship-mapping-inversion
数学猜想
mathematical conjecture
数学美
mathematical beauty
数学哲学 的上级学科
自然辩证法
科学哲学