选择公理相关论文
基于集合论的概念和方法渗透到数字的一切领域,在构成现代数字基础上的重要性,本文着重介绍集论基础中以下几个问题:(1)集合概念;(......
布尔巴基学派的序、代数、拓扑三大母结构是现代数学的基础。利用交互式定理证明辅助工具Coq,可以完整构建这三大母结构的形式化系......
海德格尔迫使人们重新思考久已遗忘的存在,西方哲学版图的基本轮廓主要是由他一手绘制的。巴迪欧的非凡之处在于,他使纯粹形式化的数......
寄语数学青年(一)王世强(小前言)作者在工作及学习中,常常感到有些数学事实应该让爱好数学的青年人知道,但在国内又不易找到合适的参考书......
那汤松(HamaHcoH)在他所著的《实变函数》认为,不需要选择公理就可以证明20≥1.证明, 若ZF+AD是和谐的, 则没有选择公理,2(※)0≥(......
我在2007年11期中,我们认识了“分球怪论”和“选择公理”.为了让数学世界充满神奇,我们就应该去承认“选择公理”,我认同,但若它......
本文从外测度的定义出发,利用外测度必须具备的三个性质,在以选择公理为基础,以教材中一维不可测集例题的构造方法,构连出二维不可......
<正> 不管你是一个善良的灵魂或是万恶的妖魔,不管你带来了天上的和风或是地狱中的罡风,不管你的来意好坏,因为你的形状是这样引起......
【正】一、绪言(奇数与偶数的对立性与同一性)偶数能被2整除,奇数不能被2整除的传统经典理论回答不了为什么1+1=2?…,理论上没有根......
【正】 人类不仅从物理、天文、化学、生物等基础学科出发探索客观世界的无限性,而且通过集合论研究数学中的无限。无穷集合(包括......
数学系课程体系改革的一项尝试——谈数学基础课程设置的目的和意义汪芳庭编者按:97年度第二学期,教务处组织了一次大规模教学检查,在......
In this paper the auther benins with some known results about ηλ(=the least cardinal K such that K→(λ)^<ω,proving thi......
本文在对选择公理在数学基础中的地位和作用以及某些等价命题进行探讨的基础上,比较系统地论述了选择公理在某些学科的重要应用.......
在前期研究的基础上,进一步讨论了康托对角线法及实数集的可数性问题,并给出了一个证明。同时对区间套法,康托定理,哥德尔定理,选择公理......
试论数学对理性的反判郝宁湘无疑,数学在人们心中一直是人类理性的最高代表,逻辑性、形式化、确定性、可靠性是数学最鲜明的特征,似乎......
本文研究ε-算子的ZF系统ZF(ε),作者证明ZF(ε)是相对于ZF融贯的,指出在集合论中ε-算子的作用与选择公理相当并且证明ZF(ε)为ZF......
本文讨论:(1)选择公理的若干等价形式;(2)选择公理的作用;(3)选择公理的可靠性;(4)选择公理的弱形式。......
先介绍AC独立于ZF,然后研究AD、DCK、ACK和WK之间的关系。...
那汤松(HamaHcoH)在他所著的《实变函数》认为,不需要选择公理就可以证明2^0≥N1.证明,若ZF+AD是和谐的,则没有选择公理,2^N0≥N1不成立.从......
<正> 本文就群的共轭元素类的若干问题作些讨论,大部分内容是综述性的。 §1 共轭元素类的基数 G是群,a,b∈G,若有x∈G,使x-1a......
给出了一阶逻辑完备性定理的一个新的代数证明,这个证明不使用依赖于Boole代数表示定理的γ-解释,但使用关于Q-滤子(△)的(△)-解......
给出了Zermelo选择公理的两个等阶命题。主要结果为:对于任意的集族,{Xa:a∈A},每个Xa非空,令X=ПXa,假设H(i)空间的乘积仍是H(i)空间,则ПXa≠Φ,即选择公理成立。......
在传统集合中元素 X(或 Y)只扮演一个角色,代表一种身份,表示一种性质,发挥一种职能,在此基础上的集合公理为一阶公理。按照任何事......
为了研究勒贝格不可测集之间的关系,本文基于勒贝格可测集和不可测集的定义,运用了选择公理与良序定理构造了Vitali集与Bernstein......
【正】 1.引言在十九世纪末叶的欧洲,人们日益关注数学的严格化。这种关注的一个(尽管不是唯一的一个)突出的表现形式是公理化方法......
<正>本文试图讨论自然数系N的数学结构,通过分析它的本质特征,来给出并讨论其公理化定义。本文将涉及到有关映射、群、环、域、同......
每一个正确的数学演绎证明的逻辑结构,就是一个逻辑定理;反之每一个逻辑定理反映了一个正确的数学演绎推理规则。数学分析也不能例外......
在日本数学家Iseki,K.教授等引入的BCK-代数和BCI-代数的基础上,作者在1981年引入了较之更广的BCH-代数,1983年作者和李新发表了介......
在法律推理过程中,人们可以通过行为使结果“出现”(由无到有)、“保持”、“消失”(由有到无)的变化来发现当事人之间权利与义务......
连续统假设是Hilbert著名的23个问题的第一个问题.本文深入浅出地阐述了这一问题的研究历史和现状,同时简要介绍了与之有关的ZF公......