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