悖论是人类智慧的结晶,也是人类智慧的黑洞,从古至今,有许多不同类型的悖论,主要有涉及无限的悖论、由于个体与整体矛盾的悖论以及......

基于计算机证明辅助工具Coq,参考“公理化集合论”形式化系统,实现朴素集合论形式化系统,并在此基础上给出有标集族及其交和并的形......

<正>和其他科学相比较,数学知识体系没有发生过颠覆性的变革,数学的发展论总是在原有的基础上进行扩充,新增的部分与原来的体系并......

回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们......

为了把握世界与表达思想，人类创造了语言，发明了用以传承文化的语言符号。语言作为人类思想的表征，它是否准确地反映人类对世界的把握......

<正> 数学的发展也和其他事物的发展一样,不可能是毕直的,它也经历了曲折的发展过程。以下谈谈在数学基础研究中出现的三次危机的......

德国犹太数学家亚伯拉罕·阿道夫·弗兰克尔,一生著述丰厚,运用公理化观念发展了p进域、环论、公理化集合论等多个数学理论,是p进......

本文通过对自然科学发展过程中大量例证的分析，说明了悖论对自然科学的发展不是一种灾难与绝望，而是引导人们向未知领域探索的向导，是......

<正> 在自然数理论中,皮亚诺公理系统把“0”、“自然数”、“后继数”(记号为“′”)作为原始概念,用下述五条公理作为发展自然数......