Os diagramas adotam o nome do seu criador John Venn, matemático e filósofo britânico do século XIX. Venn introduziu os diagramas em um trabalho de lógica formal. O método de Venn superava os sistemas anteriores em termos de clareza e simplicidade, ao ponto de ser aceite como método padrão ao fim de algum tempo. Venn foi o primeiro a formalizar o seu uso e a dotá-lo de um mecanismo de generalização. O próprio Venn não se referia aos diagramas como sendo da sua autoria, mas sim como círculos eulerianos, fazendo referência aos diagramas criados por Leonhard Euler no século XVIII. Venn desenvolveu o método no livro Lógica simbólica, com o objetivo de interpretar e corrigir os trabalhos de Boole no campo da lógica formal. Em 1889, publicou uma nova expansão de seu trabalho, com o livro Princípios da lógica empírica. A primeira referência escrita conhecida do termo Diagrama de Venn surge apenas em 1918, no livro de Clarence Irving Lewis, A Survey of Symbolic Logic. No século XX, os diagramas de conjuntos passaram por novos desenvolvimentos. D. W. Henderson demonstrou em 1963 que a existência de um diagrama de Venn para N conjuntos com N eixos de simetria implica que N deve ser um número primo. Também demonstrou que tais diagramas simétricos existem quando N é 5 ou 7. Em 2002, Peter Hamburger encontrou diagramas simétricos para N = 11 e, em 2003, Griggs, Killian e Savage mostraram que diagramas simétricos existem para todos os outros primos. A partir da década de 1960, os diagramas de Venn foram introduzidos no ensino escolar de matemática, na aprendizagem da teoria dos conjuntos e de funções, como parte do movimento da Matemática Moderna. Desde então, seu uso foi amplamente difundido, em áreas tão distintas como a compreensão de textos.
Nenhum comentário:
Postar um comentário