Google feiert heute den 180. Geburtstag des britischen Mathematikers mit einem Google Doodle.
John Venn wurde am 4. August 1834 in Kingston upon Hull geboren.
„Die selbst entwickelte induktive und methodologische Logik versuchte Venn mit der deduktiven und formalistischen von William Rowan Hamilton zu verknüpfen. Im Anschluss an Leonhard Euler führte er die graphische Darstellung der kategorischen Aussagen der Klassenlogik weiter (Venn-Diagramme). Er prägte den Begriff der symbolischen Logik. Weiterhin untersuchte er Probleme der Modallogik.“ (Wikipedia, CC-BY-SA)