維恩（John Venn，公元1834年8月4日─公元1923年4月4日）英國數(shù)學(xué)家。生于英國赫爾，卒于劍橋。1853年入劍橋大學(xué)學(xué)習(xí)，1857年在數(shù)學(xué)方面獲得學(xué)位，并被選為學(xué)院的研究員，他擔(dān)任此職直至去世。1883年他獲得理學(xué)博士學(xué)位，同年被選為英國皇家學(xué)會會員。

外文名

Venn

性別

男

出生日期

1834-08-04

主要成就

《符號邏輯》

獲得榮譽

英國數(shù)學(xué)家

個人簡歷

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

個人貢獻

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