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
, 
. 