手机浏览器扫描二维码访问
第五百九十二章 哥德尔分离逻辑学（第1页）
因为谁能说我们自己不是机器，只是比图灵机更有能力？
哥德尔的一句话：谁能证明人类思维的一致性？即使大脑超越了机器，也许它还有一些未知的东西。
哥德尔在今天所谓的“哥德尔分离”
中表达了可能性的范围：要么人类的思维超过了所有的机器（更精确地说，它能比任何机器决定更多的数字理论问题），要么存在着人类思维无法决定的数字理论问题。
每一种可能性都令人着迷：如果人类的思维能力超过了机器，那么我们的大脑中肯定有一些IT工程师无法构建的东西。
换句话说，大脑不能被映射到电脑中。
因此，我们的人工智能梦想被击碎了。
这个选择激发了对意识本质的询问。
人们可能会想，之所以不可能把它构造成机器，是因为它是非物质的。
第二种选择似乎更不现实。
如果某些数学问题有一个答案，而这个答案是人类思维无法触及的，这就意味着我们可以谈论一些柏拉图式的“数学”
——独立于我们思维的对象（定理），客观且不变。
这似乎把我们推向了违背我们意愿的哲学观点！
还有第三种选择：虽然析取是以“非此即彼”
的形式陈述的，但这两种可能性似乎并不相互排斥。
两种情况都有可能发生。
我们可以想到某种认知能力的层次，它从图灵机开始，然后进入人类的思维，然后到达后者无法到达的领域。
这种选择引入了大量的本体论差异，因此是非常不经济的，但我们仍然不能排除它。
必须强调的是，第二次吸取并不意味着答案是不可接近的。
也就是说，它仍然可能是没有“数学”
的情况，而数学纯粹是人类心灵自由活动的果实。
如果人类没有答案，那么就没有答案。
这条路把我们引向了一个更深层次的问题：我们能否从一个接一个的“实际”
任务中，以某种方式研究数学问题是否有抽象的答案？也许数学中使用的概念具有某种固有的形式，从而导致给定问题的“不合理“？也许有一些深奥的数学语法，可以告诉我们“没有确定一个任意问题的一般程序”
，但为什么会这样？
如果我们愿意，我们可以进一步对初始情况进行问题分析。
既然心智实际上是一台机器这一观点没有被证明是错误的，那么我们就可以假设存在某种“超级机器”
，它能够看到我们的不完整性。
重生都市魔帝
遮天魔帝在渡劫中陨落，高中少年在重生后崛起！铸道体，修神通，只手遮天！谁敢不服？送你上路！他叫徐峰，也叫徐无敌，徐遮天，徐狂人星空之下，有我无敌！重生之都市仙王已经完本，强烈推荐！普通读者群—都市霸主（619431203），欢迎大家入驻...
谁来治治他
自从他出道以来，衍生了一个世界性的难题这小子太猛了，谁来治治他？交流群见书友圈置顶帖。...
炮灰养女逆袭记
做了一辈子炮灰的周谷儿重生了，重生在她即将被养父卖掉的那一年。重生后的周谷儿表示，这一辈子她的命运要自己掌握，决不再任人宰割。且看她这个炮灰养女如何斗极品，发家致富，收获幸福。...
大明第一臣
元末濠州城外，朱元璋捡到了一个少年，从此洪武皇帝多了一条臂膀。抗元兵，渡长江，灭陈友谅，伐张士诚。创建大明，光复燕云。我无处不在。从此洪武立国，再无遗憾。大明根基，固若金汤。针对小明王的事情，我们需要采取四阶段战术。首先，我们宣称什么事都没有。其次，我们说或许发生了什么事情，不过我们什么都不用做。再次，我们说或许应...
强制婚约：总裁老公我不约
她本是叶家千金，因受继母算计，被迫流落在外。而他是景城的主宰者，权势滔天，杀伐果断。偏生，两人自小订了婚约，可他家人瞧不上她，逼迫她退婚。叶星辰潇洒挥手，没问题，这婚约，我本来也没想要。谁料，他霸气出场，壁咚她，女人，这婚约由不得你不要，既然是我未婚妻，没我同意，你敢取消？叶星辰表示，没什么不敢。谁知道，三言两语就被他拐去民政局领了证，盖了章。从此，她身上多了一个‘人妻’的标签。...
战神狂妃：邪帝，宠上天
轻松热血1V1，喜剧甜宠无误会，结局圆满，全文he，标签错误，不要被误导。低垂着眉眼，夜轻羽飞起一脚，将某个接骨还不忘耍流氓的混蛋给踹了出去。前世，她是一国战神，拼尽一切，只想要守护自己的亲人，最后，却被至亲背叛，落得惨死，国破家亡，亲人同胞为奴为仆。重生为邻国傻白丑，某女本想着有仇报仇，有怨报怨，顺道搅动一下这天...