オークションハウスのボナムズは、紛失したアラン・チューリングのノートを売りに出していると発表している。
競売人によると、このノートは「1942年、ブレッチリー・パークでドイツの暗号エニグマを解読しようとしていた頃のもの」だという。56ページの手書きノートには、「数学表記法とコンピュータサイエンスの基礎に関する記述」が含まれているという。
このノートの由来は明らかだ。チューリングは、このノートと他の多くの書類を、同僚で数学者仲間であり友人でもあったロビン・ガンディに遺贈したのだ。
ガンディ氏はケンブリッジ大学キングス・カレッジにチューリングの論文を多数寄贈したが、このノートの一部に彼自身の非常に個人的な夢日記が含まれているため、この論文を保管していた。
2015年4月にオークションに出品されるアラン・チューリングのノートからの抜粋。
拡大するにはここをクリック
日記は本の真ん中あたりにあります。他の箇所では、読者は上記のような内容の記述を見つけるでしょう。それは以下の通りです。
ライプニッツの記法 dy/dx は、かつては一番理解できた記法だったのに、今となっては理解するのが非常に難しいです。確かに、x と y の間に何らかの関係が成立していることを示しています。例えば、y=x2+3x などです。
このノートブックは4月13日にニューヨークで発売され、ボナムズは「少なくとも7桁」の価格を予想している。これはおそらく、チューリングの伝記映画『イミテーション・ゲーム』への関心が高まっていることが要因だろう。®