UNIVERSIDAD DISTRITAL FRANCISCO JOSE DE CALDAS

FACULTAD TECNOLOGICA

Ensayo sobre logica N° 3

Como la ló gica afecta la computació n
Víctor Andrés Rueda Torres

Estudiante

Tecnología en sistematización de datos

; 10 de agosto de 2013

Así como la lógica se aplica para todo, también ha de aplicar para la computación, en donde así
fue, con una teoría realizada a partir de una base de algoritmos, en donde se concreta con una
máquina, la cual fue la antecesora de las primeras computadoras
 1. INTRODUCCION

Así como la lógica ha logrado influenciar mucho en las matemáticas, durante la historia, también
se ha logrado incluir este concepto de lógica en la computación, ya que se ha desarrollado un
programa tal que puede reproducir las matemáticas de una forma axiomática, creando secuencias
matemáticas capaces de seguir ordenes basadas en algoritmos. De esto se basa la lógica
computacional, quien es capaz de realizar cualquier tarea computable, siempre y cuando tenga
una programación adecuada, siendo capaz de ser la pionera de la computación, aun sin inventarse
la primera computadora.
 2. DESARROLLO
COMO LA LÓGICA AFECTA LA COMPUTACION

En el paso de la historia, se ha dado de cuenta como la lógica ha afectado mucho el avance de las
matemáticas, desde los griegos que empezaron con esta formalización de la matemática, pasando
por la lógica tradicional aristotélica, la que afirma que un razonamiento es verdadero cuando lo
que afirma o niega corresponde a la realidad, y un razonamiento es legítimo cuando se infiere
necesariamente de proposiciones anteriores. Por lo tanto, la lógica es la ciencia que estudia las
condiciones o reglas del razonamiento legítimo. En dicha época, Aristóteles es el primero en
sistematizar las condiciones más generales del pensamiento discursivo, y de una manera tan
amplia y exacta que solo en los últimos años de este siglo se han logrado algunos avances
importantes. La lógica moderna no solo no está, sino que no puede estar en contradicción con la
lógica aristotélica debido a que la lógica moderna utiliza el lenguaje matemático, evitando así las
ambigüedades del lenguaje ordinario, descubriendo nuevas formas de razonamiento y planteando
nuevos problemas a una teoría del conocimiento. Es evidente que, tanto para la lógica aristotélica
como para la lógica moderna, “si todo hombre es mortal, y pedro es hombre, entonces pedro es
mortal”; siendo este, un silogismo creado por Aristóteles para demostrar, de forma racional y
sencilla, cualquier verdad a partir de conjuntos. Por ejemplo, pedro está dentro del conjunto de
los hombres, y los hombres está dentro del conjunto de los mortales, siendo así, entonces,
implícitamente decimos que pedro está dentro del conjunto de los mortales, de ahí la frase “si
todo hombre es mortal, y pedro es hombre, entonces pedro es mortal”. De ahí a pasar por
descartes y su lógica metódica, hasta llegar finalmente a Hilbert, quien, a partir del logicismo,
desarrollo un programa que proyectaba fundamentar las matemáticas por medio de un sistema
axiomático, pero para llegar a esto, sin ningún tipo de error, Hilbert tenía que encajar una
restricción en dicho sistema, el cual era que en la construcción del sistema, se tenía que usar
únicamente métodos finitarios, pero fue Gödel quien demostró que esto no se podía hacer, y que
el programa de Hilbert no podía funcionar. Pero independientemente de esto, se llevaron unas
investigaciones exhaustivas en donde se destacaron Turing y Alonso Church. Turing, a partir de su
máquina, la máquina de Turing, que es capaz de realizar las más simples operaciones, desde
escribir hasta moverse de derecha a izquierda y viceversa, según la “tesis Church-Turing”, la
máquina de Turing podría hacer más que lo mencionado aquí, ya que dice que cualquier tarea
computable, se pueda hacer con la máquina de Turing, siempre y cuando tenga la programación
adecuada. A partir de aquí, la lógica ha seguido un ritmo considerablemente alto en las ciencias de
la computación, así, la lógica computacional ha avanzado tanto como la informática también ha
avanzado mucho.
 3. CONCLUSION

Para terminar: la lógica, desde su inicio con la matemática, ha logrado influenciar los más grandes
descubrimientos y hallazgos durante la historia, pero aún no ha terminado, ya que la lógica
matemática, aplicada a las ciencias básicas de la computación, de los cuales algunos son la lógica
de derivados, lógicas temporales, lógicas modales, etc., aun puede trascender en el futuro,
ayudando al progreso de la computación y de la tecnología futura.