ВЕНН
(Venn) Джон
(4.8.1834, Драйпул, близ Халла,-4.4.1923, Кембридж), английский логик. Работал
в области логики классов, где создал особый графич. аппарат (т. н. диаграммы
Венна), нашедший применение в логико-математич. теории "формальных нейронных
сетей". В. принадлежит обоснование обратных операций в логич. исчислении Дж.
Буля. В. занимался также вероятностной логикой.
Соч.: The logic of chance,
3 ed., L., 1888; The principles or empirical or inductive logic, L., 1889;
Symbolic logic, L., 1881.
Лит.: Стяжкин
Н. И., Формирование математической логики, М., 1967; Г у т-чин И. Б., Кузичев
А. С., Бионика и надёжность, М., 1967; Кузичев А. С., Диаграммы Венна. М.,
1968.
А Б В Г Д Е Ё Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Ъ Ы Ь Э Ю Я