Большая Советская энциклопедия - венн

(Venn)

Джон (4.8.1834, Драйпул, близ Халла, — 4.4.1923, Кембридж), английский логик. Работал в области логики классов, где создал особый графический аппарат (так называемые диаграммы Венна), нашедший применение в логико-математической теории «формальных нейронных сетей». В. принадлежит обоснование обратных операций в логическом исчислении Дж. Буля (См. Буль). В. занимался также вероятностной логикой.

Соч.: The logic of chance, 3 ed., L., 1888; The principles of empirical or inductive logic, L., 1889; Symbolic logic, L., 1881.

Лит.: Стяжкин Н. И., формирование математической логики, М., 1967; Гутчин И. Б., Кузичев А. С., Бионика и надёжность, М., 1967; Кузичев А. С., Диаграммы Венна, М., 1968.

Большая советская энциклопедия. — М.: Советская энциклопедия

1969—1978