第二百九十二章 从逻辑学到数学（1/3）
这
这是认真的吗？
在场所有人对此深感怀疑。
不开玩笑地讲，虽然这只是一个猜密码的游戏，但绝大部分人把它当做了一次概率上的挑战。
当然，
众人采取的办法也不太一样，有些人用概率极限理论，而有些人用概率分布，即随机变量的概率性质，还有些人很过分，用了马尔可夫过程，来研究离散事件动态系统状态的空间问题。
但是，
所有的四位数字密码出现的概率都是等可能的情况下，都是五千点五次几率。
之后所有人开始拓展，因为这是人为的设置的四位密码，从人类思维的情况下，使得四位数字密码出现的概率不再是等可能的情况下，尝试的次数会大幅度缩短。
此后，
小小的密码柜成为了众多数天才和老师们的狂欢，他们在概率论中挥洒着青春。
结果
出来一个人，
他上来就把这场概率论的狂欢给终止了。
“”
“”
“”
这算不算随机事件？
否则怎么可能？！
话，
他是谁？
与此同时，
最愤怒的就是杨小曼，她感觉自己被套路了，被这个家伙给骗惨了。
杨小曼：（＃￣～￣＃）
好气呀！
自己居然被骗了！
晚上就让你付出惨痛的代价！
“唉？”
“你你好像是徐茫吧？”在场的某一位生认出了徐茫，他是来自于浙省的代表队成员，曾经与徐茫在浙省奥数大赛上交过手，然后完败自此徐茫的脸就记住了。
“”
“我不是！”徐茫急忙摇了摇头：“我叫徐杨！”
“你”
“你不是徐茫吗？”这位生面露疑惑地问道：“为什么长了一张跟徐茫一样欠揍的脸？”
我
你个家伙过分了呀！
徐茫听到这位生的话语，差点没有气出血，这人年纪轻轻的，居然得那么严重的白内障，明明自己长了一张盛世美颜，结果在他的眼里却是欠揍的脸，怕不是白内障晚期吧？
“你最好去看看眼科。”徐茫严肃地道：“我怕你明天就瞎了！”
话落，
这位生兴奋地喊道：“你就是徐茫！就你身上这一股贱*劲，世界上没有比你更贱的人了！”
徐茫？
他是徐茫？
话徐茫是谁啊？
绝大部分的人并不是认识徐茫，毕竟徐茫只是在材料和物理上，获得了一些成就，而在数领域上，却不曾有过什么成绩，加之他的影响力仅限于魔都、京城和浙省。
而京城又比较特殊，因为材料数据库的试验地就选择在京城和魔都，京城的高校多多少少听闻过徐茫。
其他的对不起，真不认识！
“同，你是怎么一次计算出密码的？”
“用了什么理论？”
“是凑巧吗？”
瞬间，
徐茫被一群人给团团围住，此时他有些懵逼了。
“呃”
“其实我并没有用数思维去考虑这个密码概率问题。”徐茫小心翼翼地道：“我是用心理中的行为逻辑，去思考密码的可能性，跟数没有一点点的关系。”
“不好意思”
“我作弊了。”徐茫尴尬地道：“在面对这种均可能出现的情况下，从客观上不管怎么计算，最终的答案都是一致的，除非加上主观意识。”
“而我放弃了客观，选择主观。”徐茫道：“从人的逻辑行为去考虑问题，加上自己的一点点推论，最后得出一个正确的密码。”
此时，
一位带队老师问道：“我也考虑过主观，但需要一个参照条件，而这个密码柜只有密码，其他信息一概不知道，怎么找到一个具有价值的主观意识？”
这是所有人的疑惑，缺少了一个参照，从而缺少一个条件。
徐茫笑了笑，默默地道：“你们可能没有发现密码按键上的磨损情况，我就是参照了这个磨损情况，从而进行推断。”
磨损情况？
还别，
仔细看真的发现略微有些暗淡。
但是，
不凑近看根本发现不了，他是怎么看到的？
“不对呀！”
“之前你也没有靠近密码柜，你是怎么发现这个问题的？”某一位生道：“我站着这么近，都发现不了。”
“因为你是霸！”
“而我过去是渣！”徐茫突然涌上一股久违的渣自豪感。
渣，
拥有一种与生俱来的特殊能力，他们的视力非常好，隔着一米的空档，渣可以凭借瞥一眼的机会，对附近同们考卷上的答案，进行完美的复制。
的确，
不仔细看是发现不了，然而徐茫凭借近十年的经验，准确分辨别出按键上油漆的色差问题。
不得不，
有时候渣经历还是挺管用的。
只是
在场的人们对徐茫的回答有些迷茫，这渣和视力还能挂钩？
在此之后，
包括徐茫在内的这群极度无聊的数人士，就数是否达到完美的公理推演，是否可以保证其内部不存在矛盾，这一系列问题展开了激烈的辩论。
目前数是存在公理化的局限性，数证明的程序有些是无法确定与形式公理的程序相符。
就以密码柜来言，
纯粹的数是不可能得到一个完美的答案，然而依靠人的主观思维能够得到一个完美的解，这个解却无法用数来表达。
因此，
这一群无聊的数人士形成了两方，一方式认为数不可能达到完美的公理推演，有些问题必然存在内部矛盾，而另一方认为未来数一定可以达到完美的公理推演，且不存在矛盾。
双方开始相互较劲，甚至有动手的可能。
最终徐茫站了出来。
在他的理念中，人类的智慧是不可能被完全的公式所代替，比如自己用行为心理，破解了密码柜的这个过程，是没有任何公式可以表的达。
因此，
对形式系统来言，‘可证明’是可以机械式的来实现，但‘真’则需要进一步的思想去考虑。
可证明的命题一定是真的，但真的命题不一定是可证明的。
很可惜徐茫的这番言论，并没有起什么效果，反而让双方的矛盾更加扩散，差点没真打起来
不久，
人群在不欢中散去，而徐茫的麻烦才刚刚开始。
“嘿嘿嘿！”
“以后家里我管钱了呀。”徐茫一脸瑟地看着小曼，得意洋洋地道：“洗衣做饭拖地都要会，知道了吗？不然把你买化妆品的钱扣了！”
“哼！”
“你再一遍，家里谁管钱？”杨小曼不屑地道：“我有答应过你什么吗？”
徐茫：Σ(°△°)
不好！
小曼这是打算要翻脸不认人啊！
怎么办？
“我”
“我有录音。”徐茫打开了手机录音，然后出现了小曼夸下海口的片段。
但是，
在铁一样的证据面前，杨小曼却不为所动，淡然地道：“这是假的！”
徐茫缩了缩脑袋，他知道小曼这是打算赖账，但又没有什么办法，谁让自己打不过她呢
想想自己的老妈，
想想过去自己的那些压岁钱，什么先帮你存着，想要就问妈来拿。
第二天去拿钱，结果被反问，你有压岁钱吗？
唉
女人呀！
“那我的一周两次的通宵呢？”徐茫问道：“算不算？”
“你觉得呢？”杨小曼高傲地道。
“”
“小曼？”徐茫痛苦地道：“你爸是不是整天活在水深火热之中？”
终于等到小曼上场了，
徐茫对之前还处在耿耿于怀中，原本以为自己套路了小曼，结果最后被小曼给套路了。
都爱情使女人愚蠢，过去的确是这样，但最近发现小曼越来越精明了，有一种要当女皇的感觉
徐茫叹了口气，默默拿出手机，打开炉石传，然后怒氪一万块。
开卡包！
只有金色传才能拯救自己脆弱的心灵。
“普通！”
“普通！”
“稀有！”
开着开着，眼前卡包快开完了，徐茫的心也逐渐脆弱。
“哇！金色普通。”
徐茫：d
退出，
卸载。
徐茫从此告别了炉石圈。
趁着这一段无聊的时光，徐茫着手思考升级材料数据库的事情，其实技术不是什么问题，问题在于钱不够周副主任随便提一个要求，需要大量的资金投入。
按照道理来，这钱将是科研部门下发，但刚刚发了一笔钱，结果还没有过一个月，钱不够了好像有点过分。
要不
涨涨价？
徐茫考虑到软件涨价来收取研发费用，首先从道德和法律的角度，涨价乃是天经地义之事，这软件本身就用于服务客户，现在为了提高服务质量，涨涨还能涨出犯法来？
其二，
给数据库升级是清大材料系副主任提出来的，又不是自己平白无故要升级，这属于被动式升级，也是被迫式升级，这钱就更加不能自己出。
综合以上两点，这钱由清大出！
但清大的钱由谁来出那就让他们自己去解决。
想到这里，
徐茫给周副主任打了一个电话，之前两人就存了号码。
“喂？”
“周主任！”徐茫严肃地道：“我突然想起一件事情，您不是要让我升级数据库嘛，我想了一下技术方面不是问题，但这钱谁出？”
请记住本书首发域名：www.bqg99.cc。顶点小说网手机版更新最快网址：m.bqg99.cc
这是认真的吗？
在场所有人对此深感怀疑。
不开玩笑地讲，虽然这只是一个猜密码的游戏，但绝大部分人把它当做了一次概率上的挑战。
当然，
众人采取的办法也不太一样，有些人用概率极限理论，而有些人用概率分布，即随机变量的概率性质，还有些人很过分，用了马尔可夫过程，来研究离散事件动态系统状态的空间问题。
但是，
所有的四位数字密码出现的概率都是等可能的情况下，都是五千点五次几率。
之后所有人开始拓展，因为这是人为的设置的四位密码，从人类思维的情况下，使得四位数字密码出现的概率不再是等可能的情况下，尝试的次数会大幅度缩短。
此后，
小小的密码柜成为了众多数天才和老师们的狂欢，他们在概率论中挥洒着青春。
结果
出来一个人，
他上来就把这场概率论的狂欢给终止了。
“”
“”
“”
这算不算随机事件？
否则怎么可能？！
话，
他是谁？
与此同时，
最愤怒的就是杨小曼，她感觉自己被套路了，被这个家伙给骗惨了。
杨小曼：（＃￣～￣＃）
好气呀！
自己居然被骗了！
晚上就让你付出惨痛的代价！
“唉？”
“你你好像是徐茫吧？”在场的某一位生认出了徐茫，他是来自于浙省的代表队成员，曾经与徐茫在浙省奥数大赛上交过手，然后完败自此徐茫的脸就记住了。
“”
“我不是！”徐茫急忙摇了摇头：“我叫徐杨！”
“你”
“你不是徐茫吗？”这位生面露疑惑地问道：“为什么长了一张跟徐茫一样欠揍的脸？”
我
你个家伙过分了呀！
徐茫听到这位生的话语，差点没有气出血，这人年纪轻轻的，居然得那么严重的白内障，明明自己长了一张盛世美颜，结果在他的眼里却是欠揍的脸，怕不是白内障晚期吧？
“你最好去看看眼科。”徐茫严肃地道：“我怕你明天就瞎了！”
话落，
这位生兴奋地喊道：“你就是徐茫！就你身上这一股贱*劲，世界上没有比你更贱的人了！”
徐茫？
他是徐茫？
话徐茫是谁啊？
绝大部分的人并不是认识徐茫，毕竟徐茫只是在材料和物理上，获得了一些成就，而在数领域上，却不曾有过什么成绩，加之他的影响力仅限于魔都、京城和浙省。
而京城又比较特殊，因为材料数据库的试验地就选择在京城和魔都，京城的高校多多少少听闻过徐茫。
其他的对不起，真不认识！
“同，你是怎么一次计算出密码的？”
“用了什么理论？”
“是凑巧吗？”
瞬间，
徐茫被一群人给团团围住，此时他有些懵逼了。
“呃”
“其实我并没有用数思维去考虑这个密码概率问题。”徐茫小心翼翼地道：“我是用心理中的行为逻辑，去思考密码的可能性，跟数没有一点点的关系。”
“不好意思”
“我作弊了。”徐茫尴尬地道：“在面对这种均可能出现的情况下，从客观上不管怎么计算，最终的答案都是一致的，除非加上主观意识。”
“而我放弃了客观，选择主观。”徐茫道：“从人的逻辑行为去考虑问题，加上自己的一点点推论，最后得出一个正确的密码。”
此时，
一位带队老师问道：“我也考虑过主观，但需要一个参照条件，而这个密码柜只有密码，其他信息一概不知道，怎么找到一个具有价值的主观意识？”
这是所有人的疑惑，缺少了一个参照，从而缺少一个条件。
徐茫笑了笑，默默地道：“你们可能没有发现密码按键上的磨损情况，我就是参照了这个磨损情况，从而进行推断。”
磨损情况？
还别，
仔细看真的发现略微有些暗淡。
但是，
不凑近看根本发现不了，他是怎么看到的？
“不对呀！”
“之前你也没有靠近密码柜，你是怎么发现这个问题的？”某一位生道：“我站着这么近，都发现不了。”
“因为你是霸！”
“而我过去是渣！”徐茫突然涌上一股久违的渣自豪感。
渣，
拥有一种与生俱来的特殊能力，他们的视力非常好，隔着一米的空档，渣可以凭借瞥一眼的机会，对附近同们考卷上的答案，进行完美的复制。
的确，
不仔细看是发现不了，然而徐茫凭借近十年的经验，准确分辨别出按键上油漆的色差问题。
不得不，
有时候渣经历还是挺管用的。
只是
在场的人们对徐茫的回答有些迷茫，这渣和视力还能挂钩？
在此之后，
包括徐茫在内的这群极度无聊的数人士，就数是否达到完美的公理推演，是否可以保证其内部不存在矛盾，这一系列问题展开了激烈的辩论。
目前数是存在公理化的局限性，数证明的程序有些是无法确定与形式公理的程序相符。
就以密码柜来言，
纯粹的数是不可能得到一个完美的答案，然而依靠人的主观思维能够得到一个完美的解，这个解却无法用数来表达。
因此，
这一群无聊的数人士形成了两方，一方式认为数不可能达到完美的公理推演，有些问题必然存在内部矛盾，而另一方认为未来数一定可以达到完美的公理推演，且不存在矛盾。
双方开始相互较劲，甚至有动手的可能。
最终徐茫站了出来。
在他的理念中，人类的智慧是不可能被完全的公式所代替，比如自己用行为心理，破解了密码柜的这个过程，是没有任何公式可以表的达。
因此，
对形式系统来言，‘可证明’是可以机械式的来实现，但‘真’则需要进一步的思想去考虑。
可证明的命题一定是真的，但真的命题不一定是可证明的。
很可惜徐茫的这番言论，并没有起什么效果，反而让双方的矛盾更加扩散，差点没真打起来
不久，
人群在不欢中散去，而徐茫的麻烦才刚刚开始。
“嘿嘿嘿！”
“以后家里我管钱了呀。”徐茫一脸瑟地看着小曼，得意洋洋地道：“洗衣做饭拖地都要会，知道了吗？不然把你买化妆品的钱扣了！”
“哼！”
“你再一遍，家里谁管钱？”杨小曼不屑地道：“我有答应过你什么吗？”
徐茫：Σ(°△°)
不好！
小曼这是打算要翻脸不认人啊！
怎么办？
“我”
“我有录音。”徐茫打开了手机录音，然后出现了小曼夸下海口的片段。
但是，
在铁一样的证据面前，杨小曼却不为所动，淡然地道：“这是假的！”
徐茫缩了缩脑袋，他知道小曼这是打算赖账，但又没有什么办法，谁让自己打不过她呢
想想自己的老妈，
想想过去自己的那些压岁钱，什么先帮你存着，想要就问妈来拿。
第二天去拿钱，结果被反问，你有压岁钱吗？
唉
女人呀！
“那我的一周两次的通宵呢？”徐茫问道：“算不算？”
“你觉得呢？”杨小曼高傲地道。
“”
“小曼？”徐茫痛苦地道：“你爸是不是整天活在水深火热之中？”
终于等到小曼上场了，
徐茫对之前还处在耿耿于怀中，原本以为自己套路了小曼，结果最后被小曼给套路了。
都爱情使女人愚蠢，过去的确是这样，但最近发现小曼越来越精明了，有一种要当女皇的感觉
徐茫叹了口气，默默拿出手机，打开炉石传，然后怒氪一万块。
开卡包！
只有金色传才能拯救自己脆弱的心灵。
“普通！”
“普通！”
“稀有！”
开着开着，眼前卡包快开完了，徐茫的心也逐渐脆弱。
“哇！金色普通。”
徐茫：d
退出，
卸载。
徐茫从此告别了炉石圈。
趁着这一段无聊的时光，徐茫着手思考升级材料数据库的事情，其实技术不是什么问题，问题在于钱不够周副主任随便提一个要求，需要大量的资金投入。
按照道理来，这钱将是科研部门下发，但刚刚发了一笔钱，结果还没有过一个月，钱不够了好像有点过分。
要不
涨涨价？
徐茫考虑到软件涨价来收取研发费用，首先从道德和法律的角度，涨价乃是天经地义之事，这软件本身就用于服务客户，现在为了提高服务质量，涨涨还能涨出犯法来？
其二，
给数据库升级是清大材料系副主任提出来的，又不是自己平白无故要升级，这属于被动式升级，也是被迫式升级，这钱就更加不能自己出。
综合以上两点，这钱由清大出！
但清大的钱由谁来出那就让他们自己去解决。
想到这里，
徐茫给周副主任打了一个电话，之前两人就存了号码。
“喂？”
“周主任！”徐茫严肃地道：“我突然想起一件事情，您不是要让我升级数据库嘛，我想了一下技术方面不是问题，但这钱谁出？”
请记住本书首发域名：www.bqg99.cc。顶点小说网手机版更新最快网址：m.bqg99.cc