John Venn (1834–1923)
John Venn był brytyjskim logikiem i matematykiem. Jego nazwisko noszą diagramy używane do przedstawiania relacji między zbiorami, szczególnie ich przecięć i dopełnień.
Venn rozwijał diagramowe metody logiki po wcześniejszych pracach Leonharda Eulera. Jego sposób przedstawiania wszystkich możliwych obszarów relacji okazał się szczególnie wygodny w logice i teorii zbiorów.
W pracy z 1880 roku opisał system diagramów, w którym zamknięte krzywe reprezentują klasy i ich kombinacje. Dzisiejsze „diagramy Venna” są uproszczonym, powszechnie używanym narzędziem edukacyjnym.
Za życia był znany głównie w środowisku logików i Cambridge. Z czasem jego nazwisko stało się dużo bardziej rozpoznawalne dzięki szkolnej i popularnej obecności diagramów.
Strona została opracowana na podstawie danych z: MacTutor History of Mathematics.