剑桥学院研究员Tim Smiley去世，曾开玩笑说要带学生在Wittgenstein墓上跳舞

Tim Smiley是我在剑桥克莱尔学院的同事，大约两周前去世了。他有着漫长而卓越的职业生涯，担任过高级导师等学院要职，同时赢得了诸多学术荣誉，比如当选英国科学院院士。虽然他的专业是逻辑学，主要是哲学逻辑，但我们很少谈论技术问题，如今我对此感到遗憾。我不确定他是否了解我做的那类工作。即使在今天，大多数人仍觉得计算逻辑相当晦涩。但我确实有一个关于他的小故事。

作为克莱尔学院的年轻研究员，我相当定期地在学院用餐，但从不待到很晚，不想把妻子独自留在家中。当我起身离开时，另一位年长的研究员说：“回实验室去，是吧？”我纠正他之后，他接着说：“让我给你讲个关于Tim Smiley的故事。”我只好听他说完。“有一次他提前离开晚宴，我问他为什么，他说他要去召集他的学生们，他们要一起在维特根斯坦的坟墓上跳舞。”（维特根斯坦葬在剑桥。）

几天后，我碰巧遇到Tim，问起这件事。“我从没那样做过，”他说，“但这主意不坏。”