期刊文献+

模型方法与形式化

The Method of Pattern and Formalization
下载PDF
导出
摘要 研究表明 ,直观与逻辑矛盾的加剧源于非欧几何的发展 。 The changes of the relations between the intuition and logic result from the development of non Euclidean geometry,from which is derives the method of the pattern and formalization in mathematics,and based on which the paradox is avoided.
作者 李春泰
机构地区 嘉应大学政法系
出处 《廊坊师范学院学报》 2001年第4期14-17,共4页 Journal of Langfang Teachers College
基金 国家哲学社会科学研究规划基金资助课题 (98BZX0 31)
关键词 数学 模型方法 形式化 mathematics the method of pattern formalization
  • 相关文献

参考文献3

  • 1[3]I. M. Bochenski, Ancient FormalLogic, Amsterdam, 1963.
  • 2[7]G.T.Kneebone, mathematical Logic and Foundations of mathematics, Linadon. 1963.
  • 3[16]Essays on the foundations of mathematics, Amsterdam, 1962.

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部