Джон Вен

Джон Вен
John Venn
Дата нараджэння 4 жніўня 1834(1834-08-04)[1][2][…]
Месца нараджэння
Дата смерці 4 красавіка 1923(1923-04-04)[3][1][…] (88 гадоў) ці 3 красавіка 1923(1923-04-03)[4] (88 гадоў)
Месца смерці
Грамадзянства
Бацька Henry Venn[d][6]
Маці Martha Sykes[d][6]
Жонка Susanna Venn[d][7][6]
Дзеці John Archibald Venn[d][6]
Род дзейнасці матэматык, філосаф, выкладчык універсітэта, логік
Навуковая сфера матэматычная логіка
Месца працы
Альма-матар
Член у
Узнагароды

член Лонданскага каралеўскага таварыства[d]

член Каралеўскія таварыства старажытнасцей[d]

Goulstonian Lectures[d] (1818)
Подпіс Выява аўтографа
Лагатып Вікісховішча Медыяфайлы на Вікісховішчы

Джон Вен (англ.: John Venn; 4 жніўня 1834, Драйпул, паблізу Хала, — 4 красавіка 1923, Кембрыдж) — англійскі логік. Працаваў у галіне логікі класаў, дзе стварыў адмысловы графічны апарат (так званыя «дыяграмы Вена»), які знайшоў ужыванне ў логіка-матэматычнай тэорыі «фармальных нейронавых сетак». Вену належыць абгрунтаванне зваротных аперацый у лагічным вылічэнні Дж. Буля. Вен займаўся таксама імавернаснай логікай.

Зноскі

  1. ↑ а б MacTutor History of Mathematics archive — 1994. Праверана 22 жніўня 2017.
  2. ↑ John Venn // Store norske leksikon — 1978. — ISSN 2464-1480
  3. ↑ Венн Джон // Большая советская энциклопедия: [в 30 т.] / под ред. А. М. Прохорова — 3-е изд. — М.: Советская энциклопедия, 1969. Праверана 27 верасня 2015.
  4. ↑ Lundy D. R. John Venn // The Peerage
  5. ↑ Венн Джон // Большая советская энциклопедия: [в 30 т.] / под ред. А. М. Прохорова — 3-е изд. — М.: Советская энциклопедия, 1969. Праверана 28 верасня 2015.
  6. ↑ а б в г Kindred Britain
  7. ↑ (unspecified title) Праверана 7 жніўня 2020.