约翰·文恩

                            （John Venn，1834—1923）

约翰·文恩主要以他的圆圈图而闻名，这些图对数学和逻辑很多领域的工作都做出了贡献，包括计算机科学、集合论和统计学。他的著作《机会的逻辑》（The Logic of Chance，1866）通过引入概率的相对频率解释推动了概率论的发展；它也极大影响了统计学理论的后来发展。在《 符 号 逻 辑 》（Symbolic Logic，1881）一书中，他捍卫了布尔，反驳了各种批评，并提出对于非数学思想家而言是可理解的新逻辑。最后，在《经验和归纳逻辑原则》（The Principles of Empirical and Inductive Logic，1889）一书中，他批评穆勒的归纳法作为科学发现的引擎其作用是有限的。

约翰·文恩出生在英格兰的赫尔，是德莱普洱教区牧师亨利·文恩和玛莎·赛克斯·文恩的儿子。在约翰还是孩子的时候他母亲就去世了。文恩家族是英格兰教会福音运动的主要成员。约翰·文恩的祖父是 一位福音派领导者，被他的同时代人视为福音运动的领袖，他的父亲也是如此。他的父亲在教会传教士协会从事了多年的管理工作。约翰·文恩被期望继承家族传统。1858 年，从剑桥大学冈维尔与凯斯学院毕业后，他被任命在伦敦附近的一个教区做牧师，并工作了一段时间。

也许是由于他与亨利·西季威克（Henry Sidgwick）以及其他剑桥的不可知论者的接触，文恩对英格兰教会的《三十九条信纲》的信心开始被侵蚀。同时他读了德·摩根、布尔、穆勒等的著作，这使得 他的兴趣几乎完全从神学问题转移到逻辑相关的问题。 在29岁时，文恩回到剑桥大学成为一名逻辑和概率论讲师。五年后，他与苏珊娜·卡内基·埃德蒙斯通，一 位圣公会教士的女儿结婚，他们有一个孩子——约翰·阿奇博尔德·文恩。1883年，49岁的文恩成为皇家学会的成员，并获得科学博士学位。

文恩一生中最伟大的部分完全集中于他与剑桥的交往上。1857年，他加入凯斯学院，而且作为学院基金会的成员长达66年之久，直到他去世。在生命的最后20 年，他担任学院的院长，在此期间，他撰写了该学院的历史。他与他的儿子合作完成了大部头的剑桥大学校友录的第一部分，包括从大学最初成立直到1751年的76000个毕业生和教职工的小传。

 约翰·文恩的儿子说他的父亲是“一个很好的健步者和登山者”。而且文恩认为逻辑和数学那样的抽象学科应当提供实用效能，他喜欢用他的知识建造机器。他发明了一个板球保龄球机，用来对付一个澳大利亚球队的最好的击球手。该机器使得该球员“被杀出局”四次。今天，为了纪念文恩，在凯斯学院食堂的彩色玻璃窗上挂着一幅文恩图。