| Data i miejsce urodzenia | |
|---|---|
| Data i miejsce śmierci | |
| Narodowość |
Anglik |
| Alma Mater | |
| Uczelnia | |
John Venn (ur. 4 sierpnia 1834 w Kingston upon Hull (Yorkshire), zm. 4 kwietnia 1923 w Cambridge) – angielski pastor 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.
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
- 1 2 3 4 Encyklopedia szkolna. Matematyka, Wydawnictwa Szkolne i Pedagogiczne, Warszawa 1988, ISBN 83-02-02551-8
- ↑ Venn John, [w:] Encyklopedia PWN [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.)
- Venn, John (1834–1923) (ang.), Routledge Encyclopedia of Philosophy, rep.routledge.com [dostęp 2023-05-12].
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.