John Venn
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.
| |
| Data i miejsce urodzenia | |
|---|---|
| Data i miejsce śmierci | |
| Narodowość |
Anglik |
| Alma Mater | |
| Uczelnia | |
| |
Życiorys
edytuj
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
edytuj- ↑ a b c d Encyklopedia szkolna. Matematyka, Wydawnictwa Szkolne i Pedagogiczne, Warszawa 1988, ISBN 83-02-02551-8
- ↑ Venn John, [w:] Encyklopedia PWN [online], Wydawnictwo Naukowe PWN [dostęp 2021-10-07].
- ↑ John Venn, Symbolic logic, 1881 ISBN 1-4212-6044-1
Linki zewnętrzne
edytuj
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].
