Джон Венн
Джон Венн (англ. John Venn; 4 августа 1834, Драйпул (Йоркшир) — 4 апреля 1923, Кембридж) — английский логик.
По семейной традиции получил христианское образование и в 1859 году стал священником. С 1862 года читал общественные науки в Кембридже. Заинтересовался формальной логикой.
Труды
- The Logic of Chance (частотный подход к теории вероятностей), 1866
- Symbolic Logic (ввёл знаменитые диаграммы Венна), 1881
- The Principles of Empirical Logic (обоснование обратных операций в булевой логике), 1889
Диаграммы Венна нашли применение в современной логико-математической теории «формальных нейронных сетей».