冯落衣情绪实在糟糕,王崎劝慰道:“老师,可别说丧气话啊。所谓的‘不言自明’,才是算学展的大敌也!”
“你不是说过,算乃道化,自在自有?”
“算乃道化,可算学不是。”王崎摇头:“若是没有希门主,我也决计认识不到这一重不完备的道理。不言自明,什么都想着‘对了就成’,可不是好态度。我们需要知道‘什么是对’,更要知道‘为什么对’——或者有时候,知道‘为什么错’也是一样啊。我觉得,后者甚至更重要。就像今日的万仙幻境,我们之前只知道‘怎么用’,却未能用逻辑严密的构筑它……”
冯落衣苦笑:“逻辑……算学逻辑……呵呵……”
“老师你这就不对了。虽然我们已经触及到了逻辑的不完备,但是在已知领域,逻辑还是够用的嘛!而且,模式上也是存在完备的公理体系的……”
“好了好了,你小子还真以为自己成了一代宗师?还反过来教训我?”冯落衣打断了王崎,旋即又苦笑:“完备啊……要不是最后关头,回忆起足称完备的画天式,我还未必回得来……”
“老师……”
“好了。这里的事情暂时严格保密。我会处理好手尾的。”冯落衣想要挥手让王崎退开