Sin precedentes

El fin de las matemáticas: el descubrimiento sobre el signo igual pone en duda todo lo que creíamos saber

El matemático Kevin Buzzard explicó por qué este símbolo es el "concepto más espinoso" de la disciplina.

En esta noticia

En el mundo de la programación, el signo "=" no siempre significa lo mismo que en las matemáticas. 

Las variables pueden tener diferentes tipos y los lenguajes de programación tienen sus propias reglas para la comparación. Esto puede generar confusiones cuando se intenta convertir la intuición matemática en código paso a paso.

El matemático Kevin Buzzard está trabajando en la conversión de demostraciones matemáticas clásicas a código que pueda ser verificado por computadora. En un artículo, él describe cómo la simple idea de la igualdad se vuelve un "concepto más espinoso" en este contexto. 

El concepto que podría cambiar todo lo que sabemos sobre las matemáticas. Fuente: Shutterstock. 

Alerta bancos: se cancelan todos los trámites para las personas que tengan vencido este documento

Calendario lunar | Cuándo será la Luna llena de julio y por qué se llama de ciervo

El símbolo que desafía a las matemáticas 

En la codificación, existen diferentes tipos de igualdad.  "La cadena de tres caracteres '2 + 2', escrita en un sistema de álgebra computacional, no es igual a la cadena de un carácter '4' emitida por el sistema, por ejemplo; se ha producido algún tipo de 'procesamiento", explicó Buzzard.

Sin embargo, existen muchos matices que deben abordarse en esta discusión en particular. De hecho, sería difícil determinar qué debería significar o implicar el signo igual, encontrando un punto de equilibrio entre la programación y las matemáticas.

No se trata de redefinir nada en matemáticas, sino de precisión e intención. 

El enigma detrás del siglo igual en la programación. Fuente: Shutterstock. 

La falta de precisión en el concepto de "igualdad"

De acuerdo con Buzzard, el significado detrás del siglo igual deja algo que desear en cuanto a "precisión". De hecho, describe el estado actual del símbolo en su artículo utilizando un término clave: "suelto"

"En la práctica, usamos el concepto de igualdad de manera bastante vaga, confiando en algún tipo de intuición profunda en lugar del marco lógico en el que algunos de nosotros creemos que realmente estamos trabajando", subrayó. 

Por el contrario, en los sistemas de software de verificación de pruebas los pasos deben definirse de forma mucho más compleja. 

Algunos lenguajes de programación requieren que especifique qué es una variable. Cada una de las categorías se conoce como "tipo", que se almacena junto con el valor de la variable

Si intentas hacer una operación matemática, o equiparar dos variables de diferentes tipos, el lenguaje de codificación no lo permitirá

Temas relacionados
Más noticias de descubrimiento