John Venn

維恩（John Venn，公元1834年8月4日─公元1923年4月4日）英國數學家。生於英國赫爾，卒於劍橋。 ^[1]  1853年入劍橋大學學習，1857年在數學方面獲得學位，並被選為學院的研究員，他擔任此職直至去世。 ^[1]  1883年他獲得理學博士學位，同年被選為英國皇家學會會員。 ^[1] 

維恩在概率論和邏輯學方面有所貢獻，他在1866年的《機會邏輯》和1881年的《符號邏輯》等在19世紀末及20世紀初曾享有很高的聲譽。 ^[1]  他修正了棣莫弗（De Moivre）的一個經典概率論定義，將「在m次試驗中，成功n次，則成功的概率為n/m」，修改為「在m（m為一個大數）次試驗中，成功n次，則成功的概率為當m趨向無窮大時n/m的極限值」，但此定義仍然有缺點。聯繫著這個定義，他還研究了著名的「聖彼得堡悖論」（St. Peterburg Paradox）。在邏輯學方面，維恩曾澄清了布爾在1854年的《思維規律的研究》中一些含混與矛盾的概念。 ^[1]  但其最主要的成就是系統解釋並發展了幾何表示的方法。他作出一系列簡單閉曲線（圓或更復雜的形式），將平面分為許多間隔，利用這種圖表，維恩闡明瞭演繹推理的基本原理。為了進一步明確起見，他還引入了一些數學難題作為實例。雖然在維恩之前，萊布尼茨（Leibniz）已係統地運用過這類邏輯圖，但今天這種邏輯圖仍稱作「維恩圖」（Venn Diagram）。 ^[1] 

除了數學以外，維恩還有一較特別的興趣或技能，那便是製作機器。他曾製作一部板球磙動機，當澳洲板球隊在1909年到訪劍橋時，維恩的板球磙動機依然運作正常，並使他們其中一位成員打空四次。