ゲオルク・クライゼル
これまでのクライゼルは主に応用数学分野の研究が中心だったが、1946年に再びケンブリッジに戻った際に数理論理学の研究を開始。博士号取得後、1949年からはレディング大学に職を得る。1955年にはクルト・ゲーデルの招きにより、プリンストン高等研究所を訪れる。ゲーデルにクライゼルの招聘をすすめたのは、当時プリンストン高等研究所にいた物理学者フリーマン・ダイソンだった。ダイソンはケンブリッジでの学部生時代にクライゼルと同級で、クライゼルの数学的能力を高く評価していたという。
クライゼルは内気なゲーデルが心を許した数少ない研究者の一人であり、1957年にはコーネル大学での研究集会で、当時未刊だった「ディアレクティカ解釈」のアイデアをゲーデルに代わって発表し、センセーションを巻き起こしている(なお、この集会にクライゼルはフリーマン・ダイソンの妻ヴェレーナ・フーバー=ダイソンを伴って現れ、このことはまたゴシップの種となった)。同年、レディングに戻るが、1958年から1959年にかけて再びアメリカに渡り、スタンフォード大学に滞在。1960年から1962年にかけてはパリを訪れている。
1962年からは正式にスタンフォード大学のスタッフに加わり、1985年に退官するまで同大学教授を務めた。この間に、門下からヘンドリク・バレンドレヒトやマイケル・ビーソンをはじめとする優秀な弟子を輩出している。1996年には、クライゼルゆかりの論理学者たちによって『クライゼリアーナ』と題された献呈論文集 (ISBN 156881061X) が出版された。スタンフォード大学名誉教授の地位にあった。