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