John Venn
| ||
Data i miejsce urodzenia | 4 sierpnia 1834 Kingston upon Hull | |
Data i miejsce śmierci | 4 kwietnia 1923 Cambridge | |
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
- ↑ a b c d Encyklopedia szkolna. Matematyka, Wydawnictwa Szkolne i Pedagogiczne, Warszawa 1988, ISBN 83-02-02551-8
- ↑ Venn John, [w:] Encyklopedia PWN [online] [dostęp 2021-10-07] .
- ↑ John Venn, Symbolic logic, 1881 ISBN 1-4212-6044-1
Linki zewnętrzne
- John J. O'Connor; Edmund F. Robertson: John Venn w MacTutor History of Mathematics archive (ang.)