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

外文名

Venn

性別

男

出生日期

1834-08-04

主要成就

《符號(hào)邏輯》

獲得榮譽(yù)

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

個(gè)人簡(jiǎn)歷

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

個(gè)人貢獻(xiàn)

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