1834: John Venn föds

Den 4 augusti 1834 föddes John Venn i Hull i England. Son till en präst och senare själv präst och akademiker i Cambridge blev Venn en av de klaraste uttolkarna av den moderna logiken. År 1880 presenterade han de diagram som nu bär hans namn—överlappande cirklar som gör relationerna mellan mängder omedelbart synliga. Det som började som ett pedagogiskt hjälpmedel blev snabbt ett standardverktyg för att resonera om klasser, satser och sannolikheter.

Venn arbetade i den tradition som George Boole öppnat två decennier tidigare. Där Boole hade algebriserat logiken gav Venn den en geometri som alla kunde greppa. Hans bok Symbolic Logic från 1881 förfinade och populariserade idéerna, visade hur man prövar giltigheten hos syllogismer och hur man hanterar partiell information. Samma visuella språk visade sig senare ovärderligt för mängdlära, Boolesk algebra och konstruktionen av kopplingskretsar.

Dessa kretsar blev givetvis hårdvaran i digitala datorer. När Claude Shannon 1937 visade att Boolesk algebra kunde beskriva relänätverk hade ingenjörerna redan Venns intuitiva bilder av union, snitt och komplement. Under de följande decennierna vandrade samma diagram in i databasteori, kunskapsrepresentation och den diskreta matematik som varje datalogistudent fortfarande möter.

I dag syns inflytandet överallt, om än ofta obemärkt. Särdragsrum i maskininlärning delas upp med samma mängdteoretiska operationer som Venn ritade; probabilistiska grafiska modeller och Venn–Abers-prediktorer åberopar uttryckligen hans namn; gränssnitt för förklarbar AI tar fortfarande till överlappande cirklar när de ska visa en publik hur kategorier överlappar. En stillsam augustifödelsedag i det viktorianska England fortsätter alltså att forma hur vi visualiserar, beräknar och förklarar intelligenta system.