John Venn
Data i miejsce urodzenia | 4 sierpnia 1834 | ||
---|---|---|---|
Data i miejsce śmierci | 4 kwietnia 1923 | ||
Narodowość | Anglik | ||
Alma Mater | University of Cambridge | ||
Uczelnia | University of Cambridge | ||
|
John Venn (ur. 4 sierpnia 1834[1] w Kingston upon Hull (Yorkshire), zm. 4 kwietnia 1923[1] w Cambridge) – angielski pastor[2] i naukowiec: matematyk, logik i filozof, zajmujący się również konstruowaniem maszyn.
Życiorys
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 nazw[1][3].
Najbardziej znany jako twórca diagramów Venna[1], użytecznych we wnioskowaniu w logice i teorii zbiorów. Zmarł w 1923 w Cambridge w wieku 88 lat.
Przypisy
Linki zewnętrzne
- John J. O'Connor; Edmund F. Robertson: John Venn w MacTutor History of Mathematics archive (ang.)
- Venn, John (1834–1923) (ang.), Routledge Encyclopedia of Philosophy, rep.routledge.com [dostęp 2023-05-12].
- PWN: 3992482
- Britannica: biography/John-Venn
- Treccani: john-venn
- БРЭ: 1907636
- SNL: John_Venn
- VLE: john-venn
- MacTutor: Venn