Lógica Informática y
Matemática.
En el siglo XIX y a comienzos del siglo XX
Máquina de Turing
“La clase de problemas que se puede resolver utilizando la
máquina de Turing es el mismo que los que se pueden resolver
utilizando cualquier sistema de programación razonable.”
Una máquina de Turing es un dispositivo que manipula símbolos
sobre una tira de cinta de acuerdo a una tabla de reglas. A pesar
de su simplicidad, una máquina de Turing puede ser adaptada
para simular la lógica de cualquier algoritmo de computador y es
particularmente útil en la explicación de las funciones de una
CPU dentro de un computador.
Turing demostró que dicha máquina era capaz de resolver En la actualidad las maquinas de Turing
cualquier problema matemático que pudiera representarse siguen siendo el objeto central de
mediante un algoritmo. estudio en la teoría de la computación.
Por lo que respecta la máquina de Pascal se construyó únicamente para
realizar sumas, de una forma similar la máquina de Leibniz; tenia los
algoritmos firmemente integrados en su arquitectura, aun que ofrecía
diversas operaciones aritméticas, por último la máquina diferencial de
Babbage podía modificarse para realizar diversos cálculos, pero su máquina
analítica estaba diseñada para leer instrucciones en forma de agujeros en un
trozo de papel.
En 1936 el ingles Alan Turing estableció los
principios teóricos del ordenador al estudiar una
clase de problemas que podría resolver una
maquina, propuso una maquina ideal a quien la
nombro como maquinas de Turing.
La teoría de la computación y los
computadores digitales
El origen de la informática se remonta varios miles de años atrás,
dando como primera máquina de cálculo, el ábaco creada en la
antigua china y utilizada por las antiguas civilizaciones griegas y
romanas.
En la edad media y moderna unos cuantos inventores
experimentaron con la tecnología de los engranajes, entre ellos
estaban: Blaise Pascal en Francia, Gottfried Leibniz en Alemania y
Charles Babbage en Inglaterra. Estas maquinas representaban los
datos de posicionamiento mediante engranajes. En las maquinas de
Pascal y Leibniz la salida se conseguía observando las posiciones
finales de los engranajes. Babbage por su parte concibió máquinas
que imprimían los resultados de los cálculos en papel.
Citas y referencias
Gödel, K. 1981 La lógica matemática de Russell, en Cuadernos de Filosofía y Letras, Vol. 4 no. 1-2, enero-junio Universidad de los Andes, Bogotá.
Whitehead, A.N. & Russell, B. 1910-1927 Principia Mathematica, Cambridge, Cambridge University Press
2003. “The Theory of Types,” in Nicholas Griffin (ed.), The Cambridge Companion to Bertrand Russell, Cambridge: Cambridge University Press, 286–309
Beaney, Michael, 2003. “Russell and Frege,” in Nicholas Griffin (ed.), The Cambridge Companion to Bertrand Russell, Cambridge: Cambridge University
Press, 128–170.
Griffin, Nicholas (ed.), 2003. The Cambridge Companion to Bertrand Russell, Cambridge: Cambridge University Press.
Russell, Bertrand, 1902. “Letter to Frege,” in Jean van Heijenoort (ed.), From Frege to Gödel, Cambridge, Mass.: Harvard University Press, 1967, 124–
125.
Ito, K. (Ed.), 1986. "Zermelo-Fraenkel Set Theory." En Diccionario Enciclopédico de Matemáticas, 2ª ed., Vol. 1. Cambridge, MA: MIT Press, pp 146-148.
Iyanaga, S. y Kawada, Y. (Eds.), 1980. "Zermelo-Fraenkel teoría de conjuntos." En Diccionario Enciclopédico de Matemáticas, vol. 1. Cambridge, MA: MIT
Press, pp 134-135.
