Венн, Джон
Материал из Википедии — свободной энциклопедии
Венн Джон (англ. John Venn; 4 августа 1834, Драйпул близ Халла — 4 апреля 1923, Кембридж) — английский логик.
Работал в области логики классов, где создал особый графический аппарат (так называемые диаграммы Венна), нашедший применение в логико-математической теории «формальных нейронных сетей».
Венну принадлежит обоснование обратных операций в логическом исчислении Дж. Буля. В. занимался также вероятностной логикой.