科学技术名词为您提供形式系统,formal system,形式系统的意思,formal system的意思,形式系统的英文,formal system的翻译,形式系统的翻译,形式系统是什么意思,形式系统什么意思,formal system是什么意思,formal system什么意思
形式系统 相关科技名词
- 数学哲学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
别人正在查