John Venn (ur. 4 sierpnia 1834 w Kingston upon Hull (Yorkshire), zm. 4 kwietnia 1923Encyklopedia szkolna. Matematyka, Wydawnictwa Szkolne i Pedagogiczne, Warszawa 1988, w Cambridge) – angielski pastor i naukowiec: matematyk, logik i filozof, zajmujący się również konstruowaniem maszyn.

Życiorys mały|diagram Venna

Studiował w Gonville and Caius College na Uniwersytecie Cambridge. W latach 1857–1923 był wykładowcą Uniwersytetu.

Venn był kontynuatorem prac de Morgana oraz Boole'a. Wprowadził do logiki działania i metody matematyczne, przyczyniając się do jej matematyzacji. Autor pracy Symbolic logic (1881) (Logika symboliczna), w której podał wykresy obrazujące zależności między zakresami nazwJohn Venn, Symbolic logic, 1881 .

Najbardziej znany jako twórca diagramów Venna, użytecznych we wnioskowaniu w logice i teorii zbiorów. Zmarł w 1923 w Cambridge w wieku 88 lat.

Przypisy

Linki zewnętrzne

Venn, John (1834–1923) , Routledge Encyclopedia of Philosophy, rep.routledge.com [dostęp 2023-05-12].

Kategoria:Absolwenci Gonville and Caius College (Cambridge) Kategoria:Angielscy logicy Kategoria:Członkowie Royal Society Kategoria:Angielscy matematycy XIX wieku Kategoria:Angielscy matematycy XX wieku Kategoria:Ludzie upamiętnieni nazwami matematycznymi Kategoria:Urodzeni w 1834 Kategoria:Zmarli w 1923