Loading article…
ロビン・オリバー・ガンディ（1919年9月22日 - 1995年11月20日）は、イギリスの数学者、論理学者である。[ 1 ]彼はアラン・チューリングの友人、学生、同僚であり、ケンブリッジ大学で博士号を取得していた際にチューリングの指導を受けていた。 [ 2 ]そこで彼らは共に研究を行った。[ 3 ] [ 4 ] [ 5 ]
ロビン・ガンディは、イングランドのオックスフォードシャー州ロザーフィールド・ペパード村で生まれた。[ 1 ]建築家で芸術家のジョセフ・ガンディ（1771年 - 1843年）の玄孫にあたる彼は、開業医のトーマス・ホール・ガンディ（1876年 - 1948年）と、ソーシャルワーカーで後に作家となったアイダ・キャロライン・ホニー（1885年 - 1977年）の息子である。 [ 6 ]彼の兄弟は外交官のクリストファー・ガンディ、姉妹は医師のジリアン・ガンディである。[ 7 ]
ダービーシャーのアボッツホルム・スクールで教育を受けたガンディは、1940年に兵役に就く前に、ケンブリッジ大学キングス・カレッジで数学トライポスを2年間受講した。第二次世界大戦中、彼はハンスロープ・パークで無線傍受装置の開発に従事し、そこでアラン・チューリングは音声暗号化プロジェクトに取り組んでいた。ガンディはチューリングの生涯の友人であり協力者の一人となった。1946年に数学トライポスの第3部を修了し、チューリングの指導の下で博士号取得のための研究を開始した。 1952年に博士論文「数学における公理系と物理学における理論について」を完成させた。 [ 2 ]彼はケンブリッジ・アポストルズのメンバーであった。[ 8 ]
ガンディはレスター大学、リーズ大学、マンチェスター大学で教鞭を執った。 1966年から1967年にかけてはスタンフォード大学の客員准教授を務め、1968年にはカリフォルニア大学ロサンゼルス校でも同様の職に就いた。1969年にはオックスフォード大学ウルフソン・カレッジに移り、数理論理学の准教授となった。
ガンディは再帰理論の研究で知られています。彼の貢献には、スペクター・ガンディ定理、ガンディ段階比較定理、ガンディ選択定理などがあります。彼はまた、チャーチ・チューリングのテーゼの理解にも大きく貢献し、チューリングマシンの彼の一般化はガンディマシンと呼ばれています。[ 9 ]
オックスフォード大学ウルフソン・カレッジにある2棟の宿泊施設、ロビン・ガンディ・ビルディングは、ガンディにちなんで名付けられました。[ 11 ] [ 12 ]ガンディを称え、彼の教え子数名による発表を含む、ガンディ生誕100周年記念の1日コロキウムが2020年2月22日に同カレッジで開催されました。[ 13 ] [ 14 ]講演者は、マリアンナ・アントヌッティ・マルフォリ（ミュンヘン）、アンドリュー・ホッジス（オックスフォード）、マーティン・ハイランド（ケンブリッジ）、ジェフ・パリス（マンチェスター）、ヨーラン・サンドホルム（ライデン）、クリスティン・タッソン（パリ）、フィリップ・ウェルチ（ブリストル）でした。
