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

Венн

(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.

Источник: Большая советская энциклопедия на Gufo.me

Значения в других словарях

  1. ВЕНН — ВЕНН (Venn) Джон (1834-1923) — английский логик, разработал графический аппарат диаграмм, фактически эквивалентный логике классов. Труды в области вероятностной и индуктивной логики. Большой энциклопедический словарь
  2. Венн — (Venn, или Veen), также Высокий Веен (собственно Фенн, т. е. болото) — плоскогорье зап. нижнерейнской горной системы, принадлежащее частью к прусской Рейнской провинции, частью к Бельгии... Энциклопедический словарь Брокгауза и Ефрона