ロビン・ガンディ

ロビン・オリバー・ガンディ （1919年9月22日-1995年11月20日）は、英国の数学者および論理学者でした。彼は友人であり、学生であり、アランチューリングのアソシエイトであり、ケンブリッジ大学で博士号取得中にチューリングによって監督され、そこで一緒に働いていました。

教育と幼少期

ロビン・ガンディは、英国オックスフォードシャーのロザーフィールド・ペパードの村で生まれました。彼はトーマスホールガンディ（1876–1948）とアイダキャロラインネホニー（1885–1977）の息子であり、建築家兼芸術家ジョセフガンディ（1771–1843）のgreat孫です。

アボッツホルム学校で教育を受けたガンディは、ケンブリッジのキングスカレッジで2年間数学数学を専攻し、その後1940年に兵役に参加しました。暗号化プロジェクト、そして彼はチューリングの生涯の友人と仲間の一人になりました。 1946年、彼は数学トリポスのパートIIIを完了し、チューリングの監督下で博士号を取得するための勉強を始めました。彼は1952年に物理学の数学と理論の公理系に関する論文を完成させた。彼はケンブリッジ使徒の一員だった。

キャリアと研究

ガンディは、レスター大学、リーズ大学、マンチェスター大学で職を歴任しました。ガンディは、1966年から1967年までスタンフォード大学の客員准教授であり、1968年にカリフォルニア大学ロサンゼルス校で同様の役職を務めました。1969年、オックスフォードのウォルフソン大学に移り、数学論理のリーダーになりました。大学の住宅の1つは、彼の名誉にちなんで名付けられました。

彼は、再帰理論の研究で最もよく知られています。彼の貢献には、スペクター–ガンディの定理、ガンディステージの比較定理、およびガンディ選択の定理が含まれます。彼はまた、教会の理解に多大な貢献をしました。チューリングの論文であり、チューリング機械の彼の一般化は、ガンディ機械と呼ばれています。

ガンディはイギリスのオックスフォードで亡くなりました。