字体:大 中 小
护眼
关灯
上一章
目录
下一章
第三百四十一章 我们的方法 (3 / 5)
“公理化”,正是算主缔造算学根基时所采用的方法。
但是,很不巧的是……如果想要用公理化阐释数学,那么这个过程当中采用的逻辑就应该是完备的、整个体系必须是没有自我矛盾的、任何命题都是可以证明或可以证伪的。
更不巧的是,这个体系就是毁在王崎手中。歌庭派在元算之算上的努力,全都被王崎两篇论文摧毁了。
“用,为什么不用。”王崎回答道:“实际上我本人还是非常喜欢这个思路的。只不过希前辈步子太大,超过了我们现有的能力罢了。我现在并不要求‘算学’,而是要求‘已知算学’的根基,并用这个已知去推未知——还有什么问题吗?师兄,下次请记得让我把话说完。”
赵清潭忙不迭的坐下,而王崎则开始继续自己的讲演。
“而这个‘基础’,就是结构。在我现在的观感当中,算学世界最中心的,就是最为一般化的‘始源结构’。这个结构的特点,就是‘公理数目少’。因为,公理数目少,就代表这个结构受到的限制少,而限制少了,这个结构所指向的范围就越广阔。”
“同一种结构当中,公理数目越少的,自然也就越是一般化。”
“说个具体的例子好了,群论的结构有四条公理,假设群‘乾天’是一个非空集合,符号‘玄’是它的一个二元运算,则在四条公理——封闭性、结合律成立、单位元存在、逆元存在,则称‘乾天’对‘玄’构成一个群。此时,若是加上一条辅助公理,比如‘乾天’要素无限或者有限,这个结构就变成了更加特殊的有限群或者无限群。若是加上‘二元运算满足交换律’这个公理,则这个结构又变成了‘交换群’。”
……
怦怦……怦怦……
王崎侃侃而谈的时候,其他人的心脏却开始疯狂跳动起来。
——这个想法……相当了不起啊!
这一瞬间,算学在他们眼中就不一样了。往日具体的公式、方法、图形,也开始变得模糊起来
这也就接近了看山不是山,看水不是水的境界了。
内容未完,下一页继续阅读
更多完整内容阅读登陆
《墨缘文学网,https://wap.mywenxue.org》
上一章
目录
下一章