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

外文名

Venn

性別

男

出生日期

1834-08-04

主要成就

《符號邏輯》

獲得榮譽(yù)

英國數學(xué)家

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

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

個(gè)人貢獻

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