O sinal de igual (=) possibilita estabelecer uma relação entre equações que descrevem o mesmo objeto matemático com o mesmo valor ou significado, como em 1+1=2. No entanto, esse conceito de igual pode ser bastante nebuloso, podendo causar problemas ao usar programas de computador para verificação de problemas matemáticos.
O conceito de igualdade remonta a pelo menos a Grécia Antiga, mas o seu sinal (=), como conhecemos atualmente, foi inventado apenas em 1557 pelo matemático galês, Robert Recorde para definir a paridade entre os objetos colocados em cada lado do igual. No começo o sinal acabou não sendo muito utilizado por outros matemáticos, mas eventualmente ele acabou sendo o substituto da frase latina “aequalis”. Quatrocentos anos depois, o igual ajudou a construir as bases para a ciência da computação, tendo sido utilizado pela primeira vez como parte de uma linguagem de programação, em 1957, no FORTRAN I.
No entanto, uma segunda definição para igualdade surgiu no final do século 19 junto da teoria dos conjuntos. Essa segunda definição foi o que o matemático britânico Kevin Buzzard, em artigo disponível para pré-impressão no ArXiv, apontou estar causando problemas.
Seis anos atrás pensei ter entendido a igualdade matemática. Achei que era um termo bem definido… Então comecei a tentar fazer matemática de nível de mestrado em um teorema de computador provador, e descobri que a igualdade era um conceito bastante mais espinhoso do que eu imaginava.
Na teoria de conjuntos, um conjunto como {1, 2, 3} pode ser considerado igual a outro conjunto como {a, b, c}, devido ao isomorfismo canônico, que compara semelhanças na estrutura de diferentes conjuntos.
No entanto, considerar o isomorfismo canônico como igualdade tem causado problemas para matemáticos que tentam resolver problemas usando computadores, isso porque, segundo Buzzard, nenhum dos sistemas utiliza o igual (=) da mesma forma que uma teoria do século 20 que usa conjuntos para descrever a igualdade.
Entre para comentar.