第179章 谢谢你的车（2/2）
《学霸的无限》作者：桔子泛泛 2020-03-13 16:04
之所以去中央区，因为若敌人连中央区也瘫痪掉，中央区四通八达，他可以随便选择下一个区，让敌人更难捉摸行踪。
当然，只是备用手段。
因为此刻他的行踪，敌人应该已经无法掌握了。
叶寒驱车而走，却并未注意，警局楼上，窗口探出了一只望远镜，紧紧追逐着他渐行渐远的背影，同时擎望远镜的青涩警察，对着手机对讲不断的说着什么。
==========
悲叹河湿地公园。
天色越来越暗了，公园里人头攒动……
唱歌的，跳舞的，打麻将的，下象棋的，提笼架鸟遛狗吸猫的……
这是叶寒完全没料到的。
他还以为外面这么乱，又是爆炸又是停电又是断网，大家为安全起见，会躲在家里不出来呢。
却没想到，停电了，断网了，人反倒都出来了——闲着也是闲着。
虽然他神经反射100，平衡属性高达97，公园里人行道上，沟沟坎坎台阶减速满坑满谷，也有信心一路开过去并且保持高速，可是在这春运般的人流面前，属性再高也没辙啊。
无可奈何，只得折回到马路上，从仍旧拥堵不堪的车流缝隙间勉强穿行。
“嘭嗵！”忽然有人追尾了。
车上人都憋了一肚子火，推门下车，三言两语呛住，转眼扭打在了一起，皮开肉绽，血肉横飞，让本来已经堵的不行的大街直接瘫痪了。
叶寒绕弯拐过，视而不见。
“救命……救命……强x啊！”忽然又有尖细的女声传进耳中，听声音，应该是从路边一条幽黑的窄巷。
叶寒直直前行，听而不闻。
呵，都是npc，演这么好的戏给谁看……
且避且走，正艰难前行，从边上一条小巷里，忽然一人闪了出来，一身黑色混淆在阴影里，手里好像拎着什么东西，还有火光飘摇晃动，冲叶寒直直走来。
叶寒正觉不对，此人忽然加速，两步垫脚，冲叶寒狠狠丢出了手里几个东西。
一！二！三！
借着交错车灯的闪光，叶寒看清了翻滚在半空的东西。
那是玻璃瓶，瓶里装着不知成分的液体，瓶口是一布条，正在熊熊燃烧着，随着瓶的翻滚画出一道摆线……
是燃烧瓶！
【哥德尔不完备性定理：任意一个包含一阶谓词逻辑与初等数论的形式系统，都存在一个命题，它在这个系统中既不能被证明为真，也不能被证明为否……如果系统s含有初等数论，当s无矛盾时，它的无矛盾性不可能在s内证明。
是不是有点难懂？
嗯，俗话说，不用算数的数学才是最难的。
这玩意主要是解决说谎者悖论、康托尔悖论、罗素悖论之类的集合论问题的。
也不算解决吧，只是将悖论在范围内排除了。证明了真的和可证的是两个概念。可证的一定是真的，但真的不一定可证。
所以某种意义上，悖论是一直存在的，解决不了。
这是针对公理体系的一项结论，在逻辑学中的地位，能与亚里士多德和莱布尼兹相比；在数学中的地位，爱因斯坦将其与他本人对物理学的贡献相提并论。
就我个人理解，其在逻辑界与数学界的地位，大致相当于“遇事不决，量子力学”，甚至本质都有点相似。
当然，不完备性定理也没有网上一些民科说的那么可怕。如果只是把公理体系狠狠踹了一脚，踹的摇摇欲坠，它也不会那么被推崇。
它既破坏了一些东西，也建设了很多东西，并且真正严格证明了这句格言——“科学研究是永无止境的”
最后一句引用自清华大学赵昊彤博士相关文章《“哥德尔不完备定理”到底说了些什么》，有兴趣的同学可以去看一看。】
【注释的注释：注释太长作家的话放不下，只好放到文末。放心，先发然后修改的，不占字数~】
当然，只是备用手段。
因为此刻他的行踪，敌人应该已经无法掌握了。
叶寒驱车而走，却并未注意，警局楼上，窗口探出了一只望远镜，紧紧追逐着他渐行渐远的背影，同时擎望远镜的青涩警察，对着手机对讲不断的说着什么。
==========
悲叹河湿地公园。
天色越来越暗了，公园里人头攒动……
唱歌的，跳舞的，打麻将的，下象棋的，提笼架鸟遛狗吸猫的……
这是叶寒完全没料到的。
他还以为外面这么乱，又是爆炸又是停电又是断网，大家为安全起见，会躲在家里不出来呢。
却没想到，停电了，断网了，人反倒都出来了——闲着也是闲着。
虽然他神经反射100，平衡属性高达97，公园里人行道上，沟沟坎坎台阶减速满坑满谷，也有信心一路开过去并且保持高速，可是在这春运般的人流面前，属性再高也没辙啊。
无可奈何，只得折回到马路上，从仍旧拥堵不堪的车流缝隙间勉强穿行。
“嘭嗵！”忽然有人追尾了。
车上人都憋了一肚子火，推门下车，三言两语呛住，转眼扭打在了一起，皮开肉绽，血肉横飞，让本来已经堵的不行的大街直接瘫痪了。
叶寒绕弯拐过，视而不见。
“救命……救命……强x啊！”忽然又有尖细的女声传进耳中，听声音，应该是从路边一条幽黑的窄巷。
叶寒直直前行，听而不闻。
呵，都是npc，演这么好的戏给谁看……
且避且走，正艰难前行，从边上一条小巷里，忽然一人闪了出来，一身黑色混淆在阴影里，手里好像拎着什么东西，还有火光飘摇晃动，冲叶寒直直走来。
叶寒正觉不对，此人忽然加速，两步垫脚，冲叶寒狠狠丢出了手里几个东西。
一！二！三！
借着交错车灯的闪光，叶寒看清了翻滚在半空的东西。
那是玻璃瓶，瓶里装着不知成分的液体，瓶口是一布条，正在熊熊燃烧着，随着瓶的翻滚画出一道摆线……
是燃烧瓶！
【哥德尔不完备性定理：任意一个包含一阶谓词逻辑与初等数论的形式系统，都存在一个命题，它在这个系统中既不能被证明为真，也不能被证明为否……如果系统s含有初等数论，当s无矛盾时，它的无矛盾性不可能在s内证明。
是不是有点难懂？
嗯，俗话说，不用算数的数学才是最难的。
这玩意主要是解决说谎者悖论、康托尔悖论、罗素悖论之类的集合论问题的。
也不算解决吧，只是将悖论在范围内排除了。证明了真的和可证的是两个概念。可证的一定是真的，但真的不一定可证。
所以某种意义上，悖论是一直存在的，解决不了。
这是针对公理体系的一项结论，在逻辑学中的地位，能与亚里士多德和莱布尼兹相比；在数学中的地位，爱因斯坦将其与他本人对物理学的贡献相提并论。
就我个人理解，其在逻辑界与数学界的地位，大致相当于“遇事不决，量子力学”，甚至本质都有点相似。
当然，不完备性定理也没有网上一些民科说的那么可怕。如果只是把公理体系狠狠踹了一脚，踹的摇摇欲坠，它也不会那么被推崇。
它既破坏了一些东西，也建设了很多东西，并且真正严格证明了这句格言——“科学研究是永无止境的”
最后一句引用自清华大学赵昊彤博士相关文章《“哥德尔不完备定理”到底说了些什么》，有兴趣的同学可以去看一看。】
【注释的注释：注释太长作家的话放不下，只好放到文末。放心，先发然后修改的，不占字数~】