Venn John

En 1862, à Cambridge, John Venn commence à enseigner la logique et le calcul des probabilités. Pour rendre visibles des relations abstraites, il reprend et perfectionne des schémas dus à Euler. Des zones qui se recouvrent peuvent alors montrer ce que plusieurs ensembles ont en commun, tandis que les zones séparées distinguent leurs éléments.

Ces dessins portent aujourd'hui son nom. Ils ont fait de ce mathématicien et logicien britannique une figure durable de la logique, de la théorie des ensembles et des probabilités.

John Venn est un mathématicien et logicien britannique né en 1834 et mort en 1923 à Cambridge. Formé par des précepteurs privés, puis au Gonville and Caius College, il obtient son diplôme en 1857. D'abord ordonné prêtre anglican, il revient à Cambridge en 1862 pour enseigner la logique et le calcul des probabilités. Il s'intéresse aussi à la philosophie et à la métaphysique.

Ses recherches s'inscrivent principalement dans la logique mathématique, dans la lignée de George Boole. Venn reprend et perfectionne les représentations schématiques d'Euler. Désormais appelées diagrammes de Venn, elles représentent les relations entre des ensembles et sont employées en théorie des ensembles, en probabilités et en logique. Ses ouvrages cités dans ce parcours sont Logic of Chance, publié en 1866, et Symbolic Logic, publié en 1881.

En 1883, il renonce à la prêtrise, qu'il juge devenue incompatible avec ses convictions philosophiques. À la fin de sa vie, il se consacre à l'histoire de l'université de Cambridge et publie en 1922 la chronique Alumni Cantabrigienses. Son œuvre associe ainsi logique, probabilités et histoire universitaire.

La chronologie de John Venn permet de suivre le déplacement progressif de ses activités. Les données sont ses années de naissance et de mort, son diplôme, son retour à Cambridge, ses publications, son renoncement à la prêtrise et sa chronique universitaire.

1. En 1834, John Venn naît à Cambridge.
2. En 1857, il obtient son diplôme au Gonville and Caius College.
3. Après son ordination, il revient à Cambridge en 1862 pour enseigner la logique et le calcul des probabilités.
4. Il publie Logic of Chance en 1866, puis Symbolic Logic en 1881.
5. En 1883, il renonce à la prêtrise, devenue incompatible avec ses convictions philosophiques.
6. En 1922, il publie Alumni Cantabrigienses; il meurt à Cambridge en 1923.

Le contrôle consiste à replacer chaque date dans l'ordre croissant. Cette lecture fait apparaître trois temps sans leur attribuer de frontière artificielle : formation, travaux de logique et de probabilités, puis histoire de Cambridge.

Pour visualiser des relations entre ensembles, un diagramme de Venn rend immédiatement visibles les zones communes et les zones séparées. Une simple énumération reste préférable lorsque les recouvrements n'apportent aucune information.

En probabilités et en logique, le schéma aide à organiser les cas possibles avant de raisonner. Il ne remplace toutefois ni le calcul ni la justification : on revient aux définitions dès qu'une aire dessinée pourrait être prise à tort pour une mesure.

Pour situer Venn dans l'histoire des idées, on relie ses diagrammes aux représentations d'Euler et sa logique mathématique à la lignée de George Boole. Les titres et dates de ses ouvrages servent alors de repères vérifiables.

John Venn et un diagramme de Venn. John Venn est la personne, née en 1834; le diagramme est une représentation de relations entre ensembles. Un texte qui parle d'enseignement à Cambridge désigne l'homme, tandis qu'un dessin de zones qui se recouvrent désigne l'outil.

John Venn et George Boole. Ce sont deux logiciens distincts. La source situe les travaux de Venn dans la lignée de Boole; elle attribue à Venn Logic of Chance (1866) et Symbolic Logic (1881).

Un nom ne résume pas une invention isolée. Dire « diagramme de Venn » ne signifie pas que Venn a créé toute représentation d'ensembles à partir de rien. La filiation signalée passe par les schémas d'Euler, qu'il a repris et perfectionnés.

Les dates des livres ne datent pas automatiquement les diagrammes. Les années 1866 et 1881 se rapportent respectivement à Logic of Chance et Symbolic Logic. La source ne donne pas d'année précise pour l'apparition des diagrammes; il ne faut donc pas la déduire de ces publications.

Le dessin organise une relation, il ne vaut pas démonstration. Des zones qui se chevauchent rendent une structure visible, mais leur surface apparente n'est pas une probabilité annoncée par la source. Pour conclure, il faut revenir aux ensembles ou aux événements représentés.

Le diagramme de Venn approfondit l'outil visuel qui a rendu le nom de John Venn familier en théorie des ensembles.

La notice Boole George situe le logicien dont la lignée intellectuelle éclaire les travaux de Venn en logique mathématique.