Κεντρικη ΔΙΕΘΝΗ John Venn: Ποιος ήταν ο άνδρας που τιμά το σημερινό doodle της Google