180° aniversario del nacimiento de John Venn

Google celebra el 180 aniversario del nacimiento de John Venn, matemático y filósofo británico, a quien se deben los diagramas que llevan su nombre.

El doodle es interactivo, a través del cual los usuarios podrán combinar una serie de emparejamientos, dando forma a su famoso diagrama de Venn, que permiten comprobar la verdad o falsedad de un silogismo y son utilizados para mostrar visualmente las operaciones más elementales de la teoría de conjuntos.

Las 10 categorías elegidas por los diseñadores de Google fueron, por un lado Mamíferos, Musical, Transporte, Vegetación y Vida Marina, que pueden combinarse con Tamaño Diminuto, Con alas, De entornos fríos, Con caparazón y Mítico, lo que da como resultado divertidas combinaciones que te presentamos a continuación:

Mamíferos:

Musical:

Transporte:

Vegetación:

Vida marina:

John Venn nació el 4 de agosto de 1834 en Hull, Yorkshire, Inglaterra. Fue criado de manera estricta. Se esperaba que siguiera la tradición familiar como ministro cristiano. Después de pasar un tiempo en la Escuela de Highgate, entró en el Colegio de Gonville y Caius, en Cambridge, en 1853. Se graduó en 1857 y pronto fue elegido profesor adjunto de la escuela. Fue ordenado diácono de Ely en 1858 y se convirtió en reverendo de la iglesia en 1859. En 1862 regresó a Cambridge como profesor de ciencias morales. Hacia 1883, sin embargo, abandonó el sacerdocio por considerar incompatible el anglicanismo con sus creencias filosóficas.

El área de mayor interés para Venn era la lógica, y publicó tres textos sobre el tema. Escribió The Logic of Chance (Lógica del Azar), que introdujo la teoría de frecuencia de la probabilidad, en 1866, Symbolic Logic (Lógica Simbólica), que presentaba los diagramas de Venn, en 1881, y The Principles of Empirical Logic (Los Principios de la Lógica Empírica), en 1889.

En 1883, Venn fue elegido miembro de la Royal Society. En 1897, escribió una historia de su vida universitaria, llamada The Biographical History of Gonville and Caius College, 1349–1897. Comenzó una compilación de notas biográficas de alumnos de la Universidad de Cambridge, trabajo que continuó su hijo John Archibald Venn (1883-1958), publicado como Alumni Cantabrigienses, en 10 volúmenes, entre 1922 y 1953.

A pesar de su dedicación hacia este campo de estudio, John Venn pasó sus últimos días a estudiar la historia del colegio en el que se formó, la de la Universidad de Cambridge y la de su propia familia. En una de las vidrieras del Colegio de Gonville y Gaius puede verse un diagrama de Venn en conmemoración a su creador.

El 4 de abril de 1923, Venn falleció en Cambridge, y fue sepultado en el cercano cementerio de la Iglesia Trumpington.

John Venn es el responsable de los populares diagramas utilizados en la teoría matemática de conjuntos, esos círculos «mágicos» de colores que suelen usarse para representar gráficamente las relaciones entre agrupaciones de elementos y que simplificaron significativamente el entendimientos de la lógica inductiva. Sobre el papel, estas ilustraciones no solo permiten comprender cuál es la relación entre los elementos de diferentes conjuntos; también comprobar la verdad o falsedad de ciertas premisas.

John Venn logró importantes avances en el campo de la lógica inductiva, obteniendo un gran reconocimiento gracias a su método de representación gráfica de proposiciones y silogismos. Los diagramas que el propio Venn diseñó, ofrecen la oportunidad de comprobar si un determinado silogismo es real o se trata de algo meramente ilusorio.

Los diagramas de Venn fueron presentados en el año 1880 por medio de un trabajo titulado «De la representación mecánica y diagramática de proposiciones y razonamientos». El proyecto, que alcanzó una fuerte repercusión en el mundo de la lógica formal, sirvió posteriormente para revelar visualmente las operaciones más elementales de la teoría de conjuntos.

Posteriormente, y gracias a su claridad y sencillez, sus diagramas se popularizaron y fueron utilizados para mostrar visualmente las operaciones más elementales de la teoría de conjuntos, desarrollada desde 1874 por Georg Cantora partir de las ideas de Bernhard Bolzano y perfeccionada, ya en el siglo XX, por Ernst Zermelo.

Hoy en día los diagramas de Venn se utilizan para explicar matemáticas elementales y reducir la lógica y la teoría de conjuntos al cálculo simbólico puro. También se suelen usar como herramientas de síntesis que ayudan a comparar y contrastar varios elementos.