デイナ・スコット
1972年、オックスフォード大学哲学科の数理論理学教授の職を得た。