约翰·特朗普

约翰·肯尼斯·特拉斯（John Kenneth Truss），1947年4月出生，是一位英国数学家，以其在数学逻辑、无限置换群、齐次结构和模型论方面的研究而著名。他在利兹大学担任纯数学荣誉教授。

特拉斯在剑桥大学国王学院完成了本科课程，并于1968年毕业。1973年，他在利兹大学获得博士学位，论文题为“关于没有选择公理的基数数的若干结果”，导师是弗兰克·德雷克（Frank Drake）。

在职业生涯的早期，特拉斯曾在牛津大学数学研究所担任青年研究员。随后，他在伍斯特郡基德明斯特的一所学校任教，从1979年至1985年，他在佩斯利理工学院担任讲师。1987年，他在加拿大不列颠哥伦比亚省的西蒙弗雷泽大学工作，之后加入利兹大学。在利兹大学期间，他与弗兰克·德雷克合作编辑了1986年在赫尔大学举行的逻辑学研讨会（Logic Colloquium '86）的论文集。他还与彼得·卡梅伦（Peter Cameron）合作，卡梅伦在关于奥利米弗多置换群（Oligomorphic Permutation Groups）的笔记中提到，特拉斯对解决某些猜想提供了帮助。

特拉斯著有《计算机科学中的离散数学》（1991年）和《数学分析基础》（1997年）等书。他的1991年著作因其结构安排和覆盖范围受到好评，尽管有人认为该书更适合数学家而非计算机科学家。

他曾任《伦敦数学会杂志》（Journal of the London Mathematical Society）的共同主编，直至2003年6月，期间与乔纳森·帕廷顿（Jonathan Partington）共同负责编辑，随后由弗朗西斯·伯斯泰尔（Francis Burstall）和约翰·托兰德（John Toland）接任。特拉斯还共同编辑了包括1986年逻辑学研讨会（Logic Colloquium '86）和1997年在利兹举行的符号逻辑协会欧洲会议（European meeting of the Association for Symbolic Logic）会议论文集。

在家庭方面，特拉斯于1969年与普莉西拉·玛丽·格拉斯比（Priscilla Mary Grasby）结婚，他们是在剑桥大学读书期间相识的。他们有一个女儿——伊丽莎白·特拉斯（曾任英国首相），以及三个儿子。有人提到他在政治观点上持支持立场，支持核裁军运动等事业，但他没有公开支持女儿的政治竞选。

特拉斯发表过多篇学术论文，包括《可数普遍图的群》（1985年）、《无限置换群II：小指数子群》（1989年）以及《齐次结构的泛自动理》（1992年）。他的研究对置换群、逻辑以及数学集合结构的发展作出了贡献。

外部资源包括他在ResearchGate上的个人资料、个人网站，以及在班夫国际数学创新与探索研究站（Banff International Research Station for Mathematical Innovation and Discovery）关于齐次晶格（homogeneous lattices）讲座的视频录播。