Венн, Джон

Венн Джон (англ. John Venn; 4 августа 1834, Драйпул близ Халла — 4 апреля 1923, Кембридж) — английский логик.

Работал в области логики классов, где создал особый графический аппарат (так называемые диаграммы Венна), нашедший применение в логико-математической теории «формальных нейронных сетей».

Венну принадлежит обоснование обратных операций в логическом исчислении Дж. Буля. В. занимался также вероятностной логикой.


Статья основана на материалах Большой советской энциклопедии.
 
Начальная страница  » 
А Б В Г Д Е Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Ы Э Ю Я
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
0 1 2 3 4 5 6 7 8 9 Home