John Venn (4. srpna 1834 – 4. dubna 1923) byl anglický matematik, logik a filozof, známý především pro zavedení Vennových diagramů, které se používají v logice, teorii množin, pravděpodobnosti, statistice a informatice. V roce 1866 Venn vydal knihu Logika šance (The Logic of Chance), průkopnické dílo, které se zabývalo frekvenční teorií pravděpodobnosti. Venn v ní tvrdil, že pravděpodobnost by měla být určována tím, jak často se očekává, že něco nastane, nikoliv "vzdělanými" předpoklady. Později, v roce 1881, Venn dále rozvinul teorie George Boolea v díle Symbolická logika (Symbolic Logic), kde zdůraznil to, co se později stalo známým jako Vennovy diagramy. Životopis John Venn se narodil 4. srpna 1834 v Kingston upon Hull v hrabství Yorkshire v Anglii. Jeho otec, Henry Venn, byl duchovním a jeho matka, Martha Sykesová, byla dcerou bankéře. Venn měl tři starší sestry a tři mladší bratry. Venn studoval na Gonville and Caius College v Cambridge, kde v roce 1857 získal titul bakaláře umění. V roce 1859 byl zvolen členem Královské společnosti (Fellow of the Royal Society). V roce 1862 se Venn stal duchovním v Londýně. V roce 1869 se oženil s Harriet Taylerovou a měli spolu čtyři děti. V roce 1883 byl Venn jmenován profesorem logiky a mentální filozofie na Gonville and Caius College. V této funkci působil až do svého odchodu do důchodu v roce 1903. Venn zemřel 4. dubna 1923 v Cambridge ve věku 88 let. Příspěvky k logice Vennův hlavní příspěvek k logice spočívá v zavedení Vennových diagramů. Vennovy diagramy jsou grafickým znázorněním vztahů mezi množinami. Mohou být použity k řešení logických problémů a k vizualizaci logických argumentů. Venn také přispěl k rozvoji frekvenční teorie pravděpodobnosti. Frekvenční teorie pravděpodobnosti tvrdí, že pravděpodobnost události je dána podílem příznivých výsledků ku všem možným výsledkům. Odkaz Venn je považován za jednoho z nejvýznamnějších logiků 19. století. Jeho práce měla významný vliv na rozvoj logiky, teorie množin, pravděpodobnosti a statistiky. Vennovy diagramy se dodnes používají v různých oblastech, včetně logiky, matematiky, informatiky a kognitivní vědy.
Facebook Twitter