或者说,力迫法实在是太耀眼了,非得这样的殊荣来匹配不可。
在地球的历史之中,这可是哥德尔都没有完全搞定的问题。
集合论公理化以来,最重要的成果,就得有这样待遇。
苏君宇抖了抖衣袍,迈步走向万法门正中央。
太一天尊默默闭上眼睛。时空无声无息间扭曲。无形的力量护住苏君宇,保证他不会被某个强者突然攻击。
和力迫法的成果来说,苏君宇的修为,实在是不值一提。
苏君宇站到了太一天尊面前,松了口气。
他开口道:“诸位道友。关于‘无限’的话题,其实可以从中古数家时代说起。芝龙真人的飞矢不动等问题,已经涉及了一个‘无穷’的概念。而算王高嗣,高前辈,就曾经表示,他强烈的抗议万法门内将无限当做某种加和的用法,这在物质的世界中是不允许的,在算学之中也是不允许的。所谓‘无限’、‘无穷’,就应该只是一种比喻而已。”
“在康门主的时代,算学家们逐渐产生了一个共识。他们认为,算学的基础是集合,而非是数字。集合才是建造算学实体的基本材料。正如我们所熟知的‘正整数集’之类的东西。”
说道这里,算君鼻子哼了一声。很显然,他并不同意这个说法。
在他眼中,天集、算主,都是一样的蠢货。
“康门主最先在‘无限’的领域,为我们开辟出一条道路。他提出使用这个概念,来描述‘整数集’一类集的大小。他在这里提出了一个全新的概念,‘基数性’。如果我们在两个集合甲和乙之间能够找到一一对应的关系,使得甲中
第一百一十二章 余晖(3/6)