返回

走进修仙

首页
关灯
护眼
字体:
第二百四十一章 我们的方法
   存书签 书架管理 返回目录
解构这个算学时,就会有这样的感觉——整个算学应该有一种统一的、整体的基础,算学就应该在这样整体的基础上展开。而这个基础……”

    王崎话还没说完,就被一阵倒吸凉气的声音打断了。

    赵清潭因为曾经与歌庭派有一些师承的关系,有些激动道:“你居然想要使用公理化的思路?”

    “公理化”,正是算主缔造算学根基时所采用的方法。

    但是,很不巧的是……如果想要用公理化阐释数学,那么这个过程当中采用的逻辑就应该是完备的、整个体系必须是没有自我矛盾的、任何命题都是可以证明或可以证伪的。

    更不巧的是,这个体系就是毁在王崎手中。歌庭派在元算之算上的努力,全都被王崎两篇论文摧毁了。

    “用,为什么不用。”王崎回答道:“实际上我本人还是非常喜欢这个思路的。只不过希前辈步子太大,超过了我们现有的能力罢了。我现在并不要求‘算学’,而是要求‘已知算学’的根基,并用这个已知去推未知——还有什么问题吗?师兄,下次请记得让我把话说完。”

    赵清潭忙不迭的坐下,而王崎则开始继续自己的讲演。

    “而这个‘基础’,就是结构。在我现在的观感当中,算学世界最中心的,就是最为一般化的‘始源结构’。这个结构的特点,就是‘公理数目少’。因为,公理数目少,就代表这个结构受到的限制少,而限制少了,这个结构所指向的范围就越广阔。”

    “同一种结构当中,公理数目越少的,自然也就越是一般化。”

    “说个具体的例子好了,群论的结构有四条公理,假设

第二百四十一章 我们的方法(3/6)
上一页 目录 下一页