«Венн Джон»

Венн (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.

Венн Джон

(Venn) (1834—1923), английский логик, разработал графический аппарат диаграмм, фактически эквивалентный логике классов. Труды в области вероятностной и индуктивной логики.

* * *

ВЕНН (Venn) Джон (1834—1923), английский логик, разработал графический аппарат диаграмм, фактически эквивалентный логике классов(см. ЛОГИКА КЛАССОВ). Труды в области вероятностной и индуктивной логики.