Венн Джон (Venn John), род. 4.8.1834, Драйпул, близ Халла - ум. 4.4.1923, Кембридж.

Английский логик. Работал в области логики классов, где создал особый графический аппарат (диаграммы Венна), нашедший применение в логико-математической теории "формальных нейронных сетей". Венну принадлежит обоснование обратных операций в логическом исчислении Дж. Буля; занимался также вероятностной логикой.