la inusual efectividad de la lógica en las ciencias de la computación

En 1966, E.P Wigner. publicó un artículo titulado “the unreasonable effectiveness of mathematics in the natural sciences”. En ese artículo Wigner presentó una gran cantidad de ejemplos que mostraban la efectividad de las matemáticas en describir con exactitud fenómenos físicos, él expresó que las matemáticas son el lenguaje exacto para formular las leyes de la naturaleza, pero además dijo que el porque de la enorme utilidad de las matemáticas en la ciencias naturales es algo que se acerca a lo misterioso y no hay una explicación racional para ella, hasta nuestros días , no se sabe el porque de tal efectividad de las matemáticas.

Como en las ciencias naturales, las matemáticas han sido muy efectivas en Ciencias de la Computación, por ejemplo el Álgebra lineal, ha ayudado en el desarrollo del Computo Científico, la Teoría de los Números en el desarrollo de la Criptografía, la teoría de las gráficas en el desarrollo del Análisis de Algoritmos; sin embargo las Ciencias de la Computación han sido beneficiadas principalmente de la Lógica, de hecho la Lógica se ha convertido significativamente más efectiva en Ciencias de la Computación que en las Matemáticas, a tal grado que ha sido mayor el impacto de la Lógica en Ciencias de la Computación durante los últimos treinta años que en la matemática en los últimos cien.

Es interesante ver que tan útil resulta ser la matemática en la computación, la lógica principalmente, por desgracia muchos no lo ven así, y creen que computación se trata solo de estar frente a una computadora, capturando datos, haciendo una presentación o escuchado música, inclusive hay quienes piensan que se trata sólo de programar, a quienes les interese leer el artículo completo de la inusual efectividad de la lógica en las ciencias de la computación de click aqui.