威廉·沃克·泰特，芝加哥大学著名数学哲学家，1929-2024 年

芝加哥大学著名哲学家和数学家威廉·沃克·泰特（William Walker Tait）名誉教授于3月15日在伊利诺伊州内珀维尔去世。享年95岁。

泰特被同事们称为20世纪下半叶最杰出的数学哲学家之一，是芝加哥大学哲学系和科学概念与历史研究委员会的名誉教授。在长达60年的职业生涯中，他为证明理论的发展以及逻辑和数学哲学做出了重大贡献。

“当我1981年加入该系时，比尔·泰特（Bill Tait）是哲学系主任，他可以说是我所知道的最好的主席，他支持该系和初级教师 – 经常反对行政部门 – 具有强烈的道德决心，但他的眼睛里闪烁着光芒，”芝加哥大学哲学系的William H. Colvin名誉教授Josef Stern说。“他的主要研究领域是数理逻辑，特别是证明论和有限论，以及数学和逻辑的哲学和历史，在这些领域中，他发表了关于从弗雷格、康托尔、哥德尔和柏拉图到维特根斯坦和克里普克怀疑主义的人物和主题的重要论文。”

在他早年，泰特对超限类型的泛函进行了原创性研究，其结果后来也应用于组合逻辑和lambda演算。

随着他职业生涯的发展，泰特开始考虑此类工作中使用的建构主义手段的哲学方面。一个著名的例子是他在 《哲学杂志 》（1981年）上发表的文章“有限主义”，他在文章中主张通过原始递归算术来理解希尔伯特有限主义。泰特还撰写了关于逻辑学和数学哲学主要人物的重要历史哲学研究，最著名的是乔治·康托尔、恩斯特·泽梅洛和库尔特·哥德尔。

他是 《早期分析哲学：弗雷格、罗素、维特根斯坦（以纪念伦纳德·林斯基） 》（1996年）的编辑，也是 《纯粹理性的起源：数学哲学及其历史论文集》（2005年）的作者，以及许多期刊文章。

杰出的职业生涯

泰特于 1929 年 1 月 22 日出生于纽约长岛自由港。他于 1952 年获得利哈伊大学学士学位，并于 1958 年获得耶鲁大学哲学博士学位。在耶鲁大学，他师从著名哲学家弗雷德里克·费奇（Frederick Fitch）和艾伦·罗斯·安德森（Alan Ross Anderson）。从1954年到1955年，泰特是阿姆斯特丹市立大学的富布赖特学者。

1957年，在攻读博士学位期间，他参加了康奈尔大学符号逻辑研究所的暑期学校，在那里他遇到了几位主要的逻辑学家，包括阿尔弗雷德·塔斯基（Alfred Tarski），乔治·克雷塞尔（Georg Kreisel）和保罗·哈尔莫斯（Paul Halmos）。这些联系对他的工作产生了强烈的影响，根据加州大学河滨分校哲学教授埃里希·H·雷克（Erich H. Reck）庆祝他的生活和工作的 节日 。

在芝加哥大学长期任职之前，泰特曾于1958年至1964年在斯坦福大学任教，1965年至1971年在伊利诺伊大学芝加哥分校任教，1971年至1972年在奥胡斯大学任教。

他于1972年来到芝加哥大学，1981年至1987年担任哲学系主任。

斯特恩说：“从 1970 年代到 1990 年代，他是一群教职员工的核心人物——包括大卫·马拉门特、霍华德·斯坦、伊恩·穆勒、比尔·威姆萨特和伦纳德·林斯基——他们使芝加哥大学成为研究物理学和数学、逻辑、生物学以及弗雷格和罗素等人物的哲学和历史的地方。