John Venn

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
	Multimedia w Wikimedia Commons

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 edytuj

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 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 [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].

[ency-1] Encyklopedia szkolna. Matematyka, Wydawnictwa Szkolne i Pedagogiczne, Warszawa 1988, ISBN 83-02-02551-8

[epwn-2] Venn John, [w:] Encyklopedia PWN [dostęp 2021-10-07] .

[3] John Venn, Symbolic logic, 1881 ISBN 1-4212-6044-1

[1]

[2]

[3]