“冷吗?”
“正好啊,分泌甲状腺素,提高神经系统兴奋性。”
“……说得好,我期中考试时也少穿点。”
我若有所思地点点头。
“t’&bp;a&bp;joke!”
她学着《生活大爆炸》中谢尔顿的语气,潜台词好像在说“真是个大笨蛋”
。
“那,我们跑快点,就不冷了。”
“不要。”
她突然拉住我的袖子。
“一起走。
慢点走。”
她轻轻地,用微微颤抖的声音请求。
“随堂测的第一条大题我忘记写空集的情况了……”
“我今天才……所以我讨论了半小时,结果发现题目说‘正整数’!
啊快点再给我一颗薄荷糖!
太气人了!”
“……写了一晚上题目了,不要再聊题目了。”
我叹着气说。
“嗯……好,不过还是再给我一颗薄荷糖。”
我们混在高二放学的人流中,零醛剥开糖纸把糖扔进嘴里“嘎嘣”
嚼碎。
“要是有那种自动解题的程序就好了……”
“噗哈哈哈哈哈哈哈……解高中数学题的话说不定将来真的会有,但一般的数学命题……真可惜啊,不可能。”
吃着糖的零醛好像恢复了一些活力,于是开始向我讲解奇怪的东西。
“你知道希尔伯特问题吗?”
“不太清楚……不过听说过他的名言,‘我们必将知道,我们终将知道’。”
“啊对,他在1900年提出过‘世纪之交待解决的23个问题’,其中一个——所谓的‘Etcheduproblem’——”
她念着这个冗长的德语单词——“就是‘是不是对所有命题都有明确程序(defte&bp;procedure)可以在有限时间内告诉我们命题是真是假’。
要是真能这样就好啦,什么哥德巴赫猜想黎曼猜想……只要把这些问题放进判定机器让他运行一下就能知道了。
更早的时候莱布尼兹也有过类似的幻想,他自己制造了加法器和乘法器,并且觉得人类将来能建造出所有判断数学命题真假的机器。”
“好了好了我知道了……所以快点来打破我的幻想吧。”
“嗯……你要听听用图灵机的证明吗?”
“图灵机……是电脑吗?”
“只能说电脑算是一种通用图灵机啦。
——图灵机是图灵构造的一种假想的机器,它有一个读写头,”
零醛从口袋里掏出一支自动铅笔,戳了戳笔尖示意,“一根纸带,有很多格子,写着零和一,读写头在纸带上自由移动。”
她将铅笔沿着手指前后移动,“机器还有一些内置的状态,它会根据当前所处的状态和读到的方格里的0或1来改变自己的状态、左右移动,或在当前的格子里写下和擦除记号。”
她“咔哒咔哒”
地按了按笔尾。
请关闭浏览器阅读模式后查看本章节,否则将出现无法翻页或章节内容丢失等现象。
无CP吓死一个少一个,全死?我封神扑街网文作者苏酥被卷入一场无限生存游戏中。副本里蕴含了无数因怨念而衍生出来的‘怪物’,杀机四伏。最初,许多玩家都被苏酥人畜无害的外表给诓骗了,以为她纯良可欺。但当苏酥面不改色的解决掉这些‘怪物’后,腹黑属性暴露的她,彻底在游戏世界杀疯了。直到后来,游戏世界里流传着这样一句话惹谁都别惹萝莉。请一定要相信它!这绝对不是妄言!...
唐青重生在2004年,既没有资金,又错过互联网最初大发展的他获得了一个可以借钱的银行系统。他是非洲所有国家的座上宾。他是中东所有国家不敢招惹的存在。他是全世界大部分国家的债主。他是整个世界金融秩序新的制...
东南医学协会最年轻的天才会长,因神秘遗传病被迫离任,阴差阳错成为云芝堂坐诊医生,他靠着一手精湛医术再次崛起,不但收获美女芳心,还让中医在国际上的地位一跃千里,被世界上众多医学专家奉为医学界第一人...
作为玛丽苏本苏,天生万人迷的姜滢,总是会因为自己的魅力太大而面临困扰。直到她绑定了系统,只要有人对她产生贪念她就会越来越美。姜滢我似乎并不需要做什么,那些人,就会义无反顾地为我做一切呢。被太...
吴一楠无意间看到老婆在自家楼下跟市委秘书激情拥吻,继而得知自己的副科长职位是市委秘书帮的忙,愤而跟老婆离婚,随之被撤职换岗,人生处于低谷之中。现场会上,吴一楠对刘依然产生好感,对她勇敢反抗和揭露领导...
她本杀手,一朝重生,沦为异世最卑贱的帝家庶女,貌奇丑死血脉,人人欺凌羞辱。当怯弱草包脱胎换骨变成夺命狠辣的蛇蝎妖女,惊才绝艳,歃血而归,一杀成名。她睚眦必报,世人欺一倍,她还之千倍天地不仁,她驭神...