关于相关逻辑R不可判定性的证明，依然是阿拉斯代尔·厄克特对非经典逻辑领域作出的决定性贡献。他于1945年12月20日出生于苏格兰，其职业生涯横跨哲学与数理逻辑，主要研究理论计算机科学主题以及形式系统中决策程序的复杂性。
学术基础
阿拉斯代尔·伊恩·芬顿·厄克特在故乡苏格兰开始其正规教育，于1967年获得爱丁堡大学哲学文学硕士学位。随后他赴海外深造，于1973年同时获得了硕士和博士学位。他的博士研究是在纽尔·贝尔纳普和阿兰·罗斯·安德森的指导下进行的。
在多伦多的职业生涯
他的主要学术生涯在多伦多大学展开。1973年，他开始担任埃林代尔学院（现为多伦多大学米西索加分校）的助理教授。两年后，他晋升为副教授。到1986年，他转入多伦多大学文理学院，担任哲学教授。
编辑与咨询角色
除了教学和研究之外，厄克特还在数学界承担了重要的编辑职责。在1983年至1989年期间，他担任《符号逻辑杂志》（Journal of Symbolic Logic）的顾问编辑。此外，他编辑了《加拿大哲学专论》（Canadian Philosophical Monographs），并于2003年担任《符号逻辑通报》（The Bulletin of Symbolic Logic）的书评执行主编。他目前担任逻辑学、方法论以及科学与技术哲学分会理事会成员。
研究与主要出版物
厄克特的作品包括1971年与尼古拉斯·雷舍尔合著的《时序逻辑》（Temporal Logic）。他对相关逻辑技术方面的研究体现在诸如1984年发表的《蕴涵与相关推论的不可判定性》（The Undecidability of Entailment and Relevant Implication）等论文中。他与斯蒂芬·A·库克合作撰写的题为《可行构造性算术的功能解释》（Functional Interpretations of Feasibly Constructive Arithmetic）的论文，探讨了逻辑学与构造性算术之间的交叉点。
快速事实
- 出生：1945年12月20日 - 国籍：英国 - 领域：数学与哲学 - 母校：爱丁堡大学、匹兹堡大学 - 主要学术雇主：多伦多大学 - 成员：逻辑学家解放联盟（Logicians Liberation League） - 语言：英语
读者常见问题
### 阿拉斯代尔·厄克特最显著的逻辑学成就是什么？
他因提供了相关逻辑R不可判定性的证明而受到认可。
### 厄克特在哪里获得了博士学位？
他于1973年获得匹兹堡大学的博士学位。
