恰在这时,电影要开场了,工作人员开始检票。
陈舟把嘴里的冰淇淋消化完,拿起冰淇淋碗,笑着说道:“最后这点你还吃吗?”
杨依依一把夺过冰淇淋碗:“吃!”
说完,杨依依就嘟着嘴,一脸不开心的吃着冰淇淋。
可就三口,就没了……
没给杨依依先动嘴,后动手的机会,陈舟催促了一声,就跑过去检票了。
检完票,站在里面,面带微笑的等着杨依依。
杨依依不情不愿的过去检了票,跟陈舟一起走进了放映厅。
等到坐下后,陈舟才悄悄凑到杨依依耳边说:“依依,天气冷了,冰淇淋吃多了不好,而且你是女孩子,更不能多吃……”
杨依依一时间没有反应过来,等到明白陈舟的意思时,顿时满脸通红。
她清啐了一口:“谁告诉你的?”
陈舟低声道:“百搜一下,你就知道。”
杨依依:“……”
没有等多久,电影便开始了。
电影是2014年,也就是去年,在国外上映。
今年7月份,在国内上映的《模仿游戏》。
光听电影名字,可能以为是科幻片,和虚拟游戏有关。
但实际上,电影改编自《艾伦·图灵传》。
讲的是现代计算机科学之父,奠定了计算机理论基础的图灵的故事。
从某种意义上而言,把这部电影理解为虚拟游戏,也无不可。
图灵可以称得上是一位天才。
他有着独特的直觉创造能力和对数学的爱好。
在他15岁时,为了帮助母亲理解爱因斯坦的相对论,便写了爱因斯坦的一部著作的内容提要。
这已经展现了他具备非同凡响的数学水平和科学理解力。
电影很快开始了。
这确实是一部优秀的电影,可以说是,再现了真实的艾伦·图灵。
但随着电影的放映,陈舟的思绪却渐渐飞了出去。
杨依依也发现身旁的陈舟,突然不说话了,连一直给她喂爆米花的动作,也停了下来。
扭头看了陈舟一眼,她发现陈舟的双眼有些失神。
杨依依微微皱眉,就在她不知道该不该问问陈舟的情况时。
陈舟转头冲她微微一笑:“你要喂我爆米花吗?”
说完,陈舟张开嘴巴,等着杨依依喂他。
杨依依一愣,这人啥情况?
想了想,她还是从桶里摸出两颗爆米花塞进了陈舟的嘴里。
陈舟开心的吃着爆米花,手也牵上了杨依依的手,重新看着眼前的电影。
刚才的走神,只是因为陈舟想到了1935年,图灵的论文【左右殆周期性的等价】。
这是发表于《伦敦数学会杂志》上,图灵的第一篇数学论文。
同一年,图灵还写出了【论高斯误差函数】一文。
误差函数是一个非基本函数,在概率论、统计学以及偏微分方程和半导体物理中都有广泛的应用。
那一瞬间,陈舟的脑海里便闪过了高斯误差函数的内容。
严格来说,陈舟想到的是,这里面以高斯公式为上限的正态分布。
只不过,这里面涉及的又是统计学和概率论,以及随机误差的问题了。
陈舟不确定,这玩意是不是真的和克拉梅尔猜想有关。
亦或者,这就是打开克拉梅尔猜想的关键?
陈舟不知道,只有等他通过数值观察,计算,研究之后,才能确定。