模型方法与形式化

摘要：

研究表明,直观与逻辑矛盾的加剧源于非欧几何的发展,因而在数学中推出了模型方法与形式化并试图以此避开悖论.

关键词：数学、模型方法、形式化

所属期刊栏目：17

分类号：O186(几何、拓扑)

资助基金：国家社会科学基金98BZX031

在线出版日期：2004-11-24（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：14-17