La importancia de la lógica matemática  en las ciencias de la computación

Hoy en día gran parte de la humanidad vive y desarrolla sus actividades en torno a la tecnología, esto obedece a la necesidad que siempre ha tenido el ser humano de hacer más fácil su vida, simplificando tareas a través de máquinas o dispositivos creados específicamente para este fin. El  mejor ejemplo hoy en día lo podemos encontrar en los teléfonos celulares que desde su aparición y gracias a los avances en la electrónica y los sistemas se han hecho capaces de ejecutar varias tareas, casi las que el usuario quiera. Desde la tecnología más primitiva hasta estos dispositivos de última generación encontramos un elemento en común que permitió y sigue permitiendo su desarrollo, es la lógica, que a lo largo de la historia ha estado presente en muchas ciencias pero que hoy en día cobra una gran  importancia por su gran presencia en los medios digitales que utilizamos  todo el tiempo y que cada vez entran a muchos más aspectos de nuestras vidas.  

El ser humano siempre se ha enfrentado a decisiones lógicas para sobrevivir en su medio y ha buscado aplicar la lógica a cada faceta de su vida para simplificarla, por lo que siempre ha buscado desarrollarla, lo que llevo a una formalización durante el periodo del 600 AC hasta el 300 AC gracias al trabajo de filósofos como Platón, Aristóteles, Euclides y después de esto con personajes como Rene descartes, Newton, Gottfried W. Leibniz y muchos otros personajes de la era moderna que lograron desarrollar la lógica matemática casi hasta convertirla en una ciencia a parte de la matemática pero tal vez los  más relevantes para las ciencias de la computación son Alan Turing y George Boole, Boole fundador del algebra de la lógica mejor conocida como el álgebra Booleana que tiene gran importancia desde la aparición del transistor. La aplicación del algebra Booleana a los transistores permite dar el paso a las compuertas lógicas y de ahí a los circuitos integrados que hicieron posible la creación de los computadores, Turing pionero de la teoría de la computación y precursor de la informática moderna que sería llevada a la práctica con operaciones vinarias por primera vez en la ENIAC una de las primeras computadoras no mecánicas programables. Los  primeros programas informáticos hechos a gracias a la lógica matemática que más tarde se convertiría en la lógica de programación  con la que se desarrollarían los primeros sistemas operativos como Prolog, Smalltalk y Unix que es la base de los actuales sistemas operativos que conocemos hoy. Fue en las décadas de los 60, 70 y  80 donde dieron los pasos más importantes para estos sistemas operativos impulsados per personajes como Dennis Ritchie creador del popular lenguaje de programación C, Bill Gates creador del sistema operativo más popular en el mundo, Linus Torvads arquitecto principal del sistema operativo Linux, estos y algunos otros personajes que trabajaron con los lenguajes de programación y utilizando la lógica de programación lograron masificar el uso de computadores personales, punto de partida para la gran variedad de dispositivos electrónicos que usamos para transportarnos, hacer pagos, comunicarnos y muchísimas tareas que nos permiten hacer más simples nuestras vidas.

Por su gran presencia durante el pasado, presente y futuro de todas estas tecnologías que usamos, es que la lógica tiene una gran importancia en muchas áreas de la tecnología y nuestras vidas. Seguramente la lógica matemática seguirá teniendo un papel determinante en el desarrollo de tecnologías ya existentes y la creación de otras en las que se trabaja actualmente como redes neuronales, inteligencia artificial, robótica etc.  Que seguirán haciendo más fáciles nuestras vidas en estas áreas y seguramente en muchas otras.

Referencias: 

1. La importancia de la lógica en las ciencias de la computación 

*Alvaro Andres Acosta Merchan  20142578030