Venn
英国数学家
约翰·维恩(John Venn,1834年8月4日—1923年4月4日),英国数学家、逻辑学家、哲学家,以及皇家学会成员。他是事物群组分类用图形“文氏图”的发明者。维恩出生于英国赫尔,逝于剑桥。他在概率论和逻辑学领域做出了显著贡献,尤其是在几何表示法的发展上。
早年经历
约翰·维恩1834年8月4日出生在英格兰赫尔的一个福音派基督教家庭。他的父亲亨利·维恩和他的祖父都是牧师,同时也是克拉朋联盟的成员。他的母亲玛莎拉蒂赛契斯是一位女性。维恩在伦敦开始了他的教育生涯,后来转学到伊斯灵顿专科学校。1853年,他进入剑桥大学学习,1857年获得了数学学位,并被选为学院的研究员,一直任职至去世。
职业生涯
维恩的职业生涯始于剑桥大学,他在那里担任伦理道德课程的讲师,并在1862年开始专注于数学逻辑领域的研究。他在1866年出版了《机会逻辑》,并在1881年的《符号逻辑》一书中进一步发展了乔治·布尔的理论,提出了现在被称为“维恩图”的集合归类方法。1883年,维恩辞去了神职工作,因为他认为安格鲁天主教会与他的哲学信仰不符。1903年,他成为了冈维尔与凯斯学院的院长,直到去世。
科研成果
威廉·维恩在概率论和逻辑学方面有所贡献,他在1866年的《机会逻辑》和1881年的《符号逻辑》等在19世纪末及20世纪初曾享有很高的声誉。他修正了亚伯拉罕·棣莫弗(De Moivre)的一个经典概率论定义,将“在m次试验中,成功n次,则成功的概率为n/m”,修改为“在m(m为一个大数)次试验中,成功n次,则成功的概率为当m趋向无穷大时n/m的极限值”,但此定义仍然有缺点。联系着这个定义,他还研究了“圣彼得堡悖论”(St. Peterburg 悖论)。在逻辑学方面,威廉·维恩曾澄清了布尔在1854年的《思维规律的研究》中一些含混的概念。但其最主要的成就是系统解释并发展了几何表示的方法。他作出一系列简单闭曲线(圆或更复杂的形式),将平面分为许多间隔,利用这种图表,维恩阐明瞭演绎推理的基本原理。为了进一步明确起见,他还引入了一些数学难题作为实例。虽然在维恩之前,戈特弗里德·莱布尼茨(Leibniz)已系统地运用过这类逻辑图,但今天这种逻辑图仍称作“维恩图”(Venn Diagram)。
其他兴趣
除了数学之外,维恩还有制作机器的特殊爱好。他曾设计了一个板球滚筒机,它在1909年澳大利亚板球队访问剑桥时表现良好,甚至让对手之一的球员连续四次未能击中球。
纪念
维恩的贡献得到了广泛的认可。在他去世后,赫尔大学建造了一座以他命名的建筑,剑桥大学冈维尔与凯斯学院的餐厅安装了带有文氏图样式的彩色玻璃窗。此外,干草市的文恩街的路牌上也有文氏图的图案。
家庭
维恩的家庭背景深厚,他的父亲和祖父都是牧师,参与了废除奴隶制运动。他的妻子苏珊娜·卡内基·艾德蒙史东同样来自牧师家庭。他们的儿子约翰·阿奇博尔德·维恩继承了他的学术传统,成为剑桥大学王后学院的校长,并与父亲共同撰写了多部历史文献。
出版作品
维恩的著作涵盖了多个学科领域,包括数学、历史和哲学。他的主要作品包括《机会逻辑》《符号逻辑》《逻辑归纳的原则》等。他还与其他学者合作编纂了《剑桥大学1544至1659年的预科分级》和《剑桥大学创建至1900年的著名校友》等重要文献。
参考资料
文氏图.哔哩哔哩.2024-08-09
致8月4日生人.微信公众平台.2024-08-08
目录
概述
早年经历
职业生涯
科研成果
其他兴趣
纪念
家庭
出版作品
参考资料