ВЕНН ДЖОН

ВЕНН (Venn) Джон (4.8.1834, Драй­пул, близ Хал­ла – 4.4.1923, Кем­бридж), англ. ло­гик, чл. Лон­дон­ско­го ко­ро­лев­ско­го об-ва. Окон­чил Кем­бридж­ский ун-т (1857), с 1862 ра­бо­тал там же. В. раз­ви­вал ло­гич. ис­чис­ление Дж. Бу­ля; ему при­над­ле­жит обос­но­ва­ние об­рат­ных опе­ра­ций в этом ис­чис­ле­нии. Соз­дал осо­бый гра­фич. ап­па­рат (диа­грам­мы Вен­на), на­шед­ший ши­ро­кое при­ме­не­ние в ма­те­ма­тич. ло­ги­ке, тео­рии мно­жеств, тео­рии ве­ро­ят­но­стей; за­ни­мал­ся так­же ве­ро­ят­но­ст­ной ло­ги­кой.