恰在這時,電影要開場了,工作人員開始檢票。
陳舟把嘴里的冰淇淋消化完,拿起冰淇淋碗,笑著說道:“最后這點你還吃嗎?”
楊依依一把奪過冰淇淋碗:“吃!”
說完,楊依依就嘟著嘴,一臉不開心的吃著冰淇淋。
可就三口,就沒了……
沒給楊依依先動嘴,后動手的機會,陳舟催促了一聲,就跑過去檢票了。
檢完票,站在里面,面帶微笑的等著楊依依。
楊依依不情不愿的過去檢了票,跟陳舟一起走進了放映廳。
等到坐下后,陳舟才悄悄湊到楊依依耳邊說:“依依,天氣冷了,冰淇淋吃多了不好,而且你是女孩子,更不能多吃……”
楊依依一時間沒有反應過來,等到明白陳舟的意思時,頓時滿臉通紅。
她清啐了一口:“誰告訴你的?”
陳舟低聲道:“百搜一下,你就知道。”
楊依依:“……”
沒有等多久,電影便開始了。
電影是2014年,也就是去年,在國外上映。
今年7月份,在國內上映的《模仿游戲》。
光聽電影名字,可能以為是科幻片,和虛擬游戲有關。
但實際上,電影改編自《艾倫·圖靈傳》。
講的是現代計算機科學之父,奠定了計算機理論基礎的圖靈的故事。
從某種意義上而言,把這部電影理解為虛擬游戲,也無不可。
圖靈可以稱得上是一位天才。
他有著獨特的直覺創造能力和對數學的愛好。
在他15歲時,為了幫助母親理解愛因斯坦的相對論,便寫了愛因斯坦的一部著作的內容提要。
這已經展現了他具備非同凡響的數學水平和科學理解力。
電影很快開始了。
這確實是一部優秀的電影,可以說是,再現了真實的艾倫·圖靈。
但隨著電影的放映,陳舟的思緒卻漸漸飛了出去。
楊依依也發現身旁的陳舟,突然不說話了,連一直給她喂爆米花的動作,也停了下來。
扭頭看了陳舟一眼,她發現陳舟的雙眼有些失神。
楊依依微微皺眉,就在她不知道該不該問問陳舟的情況時。
陳舟轉頭沖她微微一笑:“你要喂我爆米花嗎?”
說完,陳舟張開嘴巴,等著楊依依喂他。
楊依依一愣,這人啥情況?
想了想,她還是從桶里摸出兩顆爆米花塞進了陳舟的嘴里。
陳舟開心的吃著爆米花,手也牽上了楊依依的手,重新看著眼前的電影。
剛才的走神,只是因為陳舟想到了1935年,圖靈的論文【左右殆周期性的等價】。
這是發表于《倫敦數學會雜志》上,圖靈的第一篇數學論文。
同一年,圖靈還寫出了【論高斯誤差函數】一文。
誤差函數是一個非基本函數,在概率論、統計學以及偏微分方程和半導體物理中都有廣泛的應用。
那一瞬間,陳舟的腦海里便閃過了高斯誤差函數的內容。
嚴格來說,陳舟想到的是,這里面以高斯公式為上限的正態分布。
只不過,這里面涉及的又是統計學和概率論,以及隨機誤差的問題了。
陳舟不確定,這玩意是不是真的和克拉梅爾猜想有關。
亦或者,這就是打開克拉梅爾猜想的關鍵?
陳舟不知道,只有等他通過數值觀察,計算,研究之后,才能確定。