我们可以沿着更积极的路线提出什么建议?建议作为我们讨论的结果,它自然地表明,它试图超越AC在分析任意集时,沿着(似乎,给定物质的当前状态)应该与G的方向正交¨模型的大型基数的程序。到目前为止,主要假设还没有使专家们能够指定集合论的“厚度”宇宙,超越可测量基数与V=L的冲突,等等寻找不同的原则似乎很自然。也许有人以再次查看累积层次结构的低级别。新原则需要更丰富的结构℘(N) 是需要的,或者如果你不喜欢这种方式在表达上,我们需要新的公理——受到准组合主义的启发--更准确地捕捉到了异常丰富的结构℘(N) 。我们已经看到了仅仅是假设℘(N) 是N的“所有”子集的集合没有精确的规范,因为它依赖于公理系统的其他部分指定了关于这个“全部”我想很多人一定一直在寻找这样的原则,而且失败。如果情况不改变,持怀疑态度将成为自然关于幂集的假设和相关问题,如可能性甚至可以很自然地强调R是一个整体与N不同。当然,集合论者试图发展在确定宇宙“厚度”方面取得进展的方法(例如,强制公理)。我必须让专家们来决定这样做的程度假设消失了,它们是否构成了这类问题的答案我建议:制定受准组合主义启发的公理进一步规定集合宇宙的“丰富度”或“厚度”。
如果ZFC像我所说的那样糟糕,那么值得注意的是,这里也有一点比特有很长的路要走(借用费费曼最喜欢的一句话)。
对于在中提炼出的拟组合观点的糟糕表达ZFC仍然足够强大,可以解释几乎所有20世纪的数学。
参考文献
Paul Bernays[1935],《数学的柏拉图主义》,《教育》数学´ematique,第34卷,第52-69页,参考(P.Benacerraf和H.Putnam,编辑),《数学哲学:选读》,剑桥大学出版社,1983年,第258–271页。
Georg Cantor[1874],¨Uber eine Eigenschaft des Inbegriffes aller reellen代数ischenZahlen,Journal f¨你的命运与愤怒,第77卷,第258–262页,也在康托尔的《阿布汉德隆根》,柏林,施普林格出版社,1932年,第115–118页。英语翻译埃瓦尔德[1996]。
Georg Cantor[1892],¨最重要的元素是人的脆弱性,《德意志数学杂志》,第1卷,第75–78页,也见于康托尔的《语法》Abhandlungen,柏林,施普林格,1932年,第278–280页。埃瓦尔德的英文翻译[1996]。
J.Cavaill`es[1938],《关于集合抽象理论形成的再思考》,论文,载于Cavaill`es,哲学数学´ematique,巴黎,赫尔曼,1962年。
Roger Cooke[1993],三角级数的唯一性与描述集理论,1870–1985年,《精确科学史档案》,第45卷,第281–334页。
Richard Dedekind【1888】,Zahlen死了吗?,在Gesammelte重印mathematische Werke,第3卷,纽约,切尔西,1969年。参考英文翻译埃瓦尔德[1996]。
Richard Dedekind[1932],《数学与数学》,(icke,ether,和¨O.Ore,编辑),布伦瑞克,3卷。再版2卷。Ne1969年,切尔西,纽约。Keith Devlin[1984],《可构建性》,施普林格出版社,柏林。
William B.Ewald(编辑)[1996],《从康德到希尔伯特》,第2卷,牛津大学出版社。
数学联邦政治世界观提示您:看后求收藏(同人小说网http://tongren.me),接着再看更方便。