公理化集合论相关论文
<正> (1) G·Takeuti和W.M.Zaring的《公理化集合论导引》第2版(Introduction to Axiomatic Set Theory [2nd ed]),本书以Zermelo-......
利用交互式定理证明工具Coq,在公理化集合论体系下,给出选择公理与它的几个著名等价命题间等价性的机器证明,这些命题包括Tukey引......
巴迪欧数学本体论视域中的唯物辩证法,是西方马克思主义经历历史辩证法和空间辩证法之后,辩证法研究推进到第三阶段颇具原创性的实......
初中毕业升入高中的同学们会一致发现自己所学的第一个数学概念都是:集合.这门研究集合的数学理论在现代数学中被恰当地称为集合论......
基于计算机证明辅助工具Coq,参考“公理化集合论”形式化系统,实现朴素集合论形式化系统,并在此基础上给出有标集族及其交和并的形......
【正】 一、经典集合论内部的一组悖论自十九世纪七十年代康托(G.Cantor)创立集合论以后,经过康托和其他数学家二、三十年的努力,......
<正>和其他科学相比较,数学知识体系没有发生过颠覆性的变革,数学的发展论总是在原有的基础上进行扩充,新增的部分与原来的体系并......
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们......
为了把握世界与表达思想，人类创造了语言，发明了用以传承文化的语言符号。语言作为人类思想的表征，它是否准确地反映人类对世界的把握......
<正> 数学的发展也和其他事物的发展一样,不可能是毕直的,它也经历了曲折的发展过程。以下谈谈在数学基础研究中出现的三次危机的......
德国犹太数学家亚伯拉罕·阿道夫·弗兰克尔,一生著述丰厚,运用公理化观念发展了p进域、环论、公理化集合论等多个数学理论,是p进......
期刊
本文通过对自然科学发展过程中大量例证的分析，说明了悖论对自然科学的发展不是一种灾难与绝望，而是引导人们向未知领域探索的向导，是......
