I

El sueo de Leibniz

Pienso que Leibniz le dio grandes aportes al campo de la matemtica y de la lgica por
medio de sus descubrimientos en el clculo y por su sueo de crear un lenguaje
simblico que pudiera reducir gran parte del conocimiento humano al clculo, lo que hizo
posible sentar las bases para guiar a los matemticos de los posteriores siglos al
descubrimiento de este leguaje matemtico universal.
Considero que Leibniz fue uno de los ms importantes matemticos de la historia ya que
este fue el creador en su tiempo de una mquina capaz de calcular operaciones bsicas
que incluan multiplicacin y divisin gracias a que su mquina incorporaba un ingenioso
artilugio llamado volante de Leibniz el cual se sigui utilizando en mquinas de calcular
hasta principios del siglo xx, adems realizo un gran aporte al clculo, el cual fue una
notacin para el clculo diferencial e integral que facilito la resolucin de estos con poco
esfuerzo en comparacin con la notacin de Newton.
Su sueo de reducir smbolos a reglas de inferencia el cual llam Calculus Ratiocinator
sirvi de orientacin para la creacin por parte de matemticos del siglo XIX y XX de lo
que hoy en da se conoce como lgica simblica. Al final la visin de Leibniz de la
creacin una mquina de clculo universal que dejara libre a la mente humana para el
pensamiento creativo se hizo realidad en el siglo XX con el nombre de computadora.

II
Boole convierte la lgica en algebra

En mi opinin Boole crea que el poder del simbolismo matemtico podra ofrecer una
respuesta a los problemas del razonamiento lgico, l pensaba que por medio de un
nmero reducido de reglas y leyes bsicas que se aplicaban en el lgebra tambin, se
podan aplicar a los objetos y a las operaciones del ms variado tipo, siempre y cuando
estas de alguna manera cumpliera estas reglas que se emplean en el lgebra tradicional.
Uno de sus ms grandes aportes fue darse cuenta que los ms importante en el
razonamiento lgico eran las clases o grupo de todos los individuos descritos en un
conjunto de premisas y que estas clases se podran representar con letras as como
tambin se hace con los nmeros u operadores en el lgebra, adems de esto l crea
que la operacin aplicada a clases era similar a la multiplicacin de nmeros, aunque con
la diferencia de que al aplicarse esta operacin a dos trminos iguales el resultado iba a
ser el mismo trmino. Por ejemplo si x representa cosas acidas e y representa frutas
entonces xy representara frutas acidas; sin embargo yy es igual a y debido a que
clases de cosas que son frutas y adems frutas, sera lo mismo que decir clases de
frutas. En conclusin siempre que apliquemos una operacin a dos trminos iguales
siempre nos dar el mismo trmino.
Al final Boole dedujo que si se restringieran los valores de las clases a 0 y 1 se podra
convertir el lgebra de la lgica al lgebra ordinaria, tambin se dio cuenta que su
lgebra segua el axioma de Aristteles del principio de no contradiccin; lo cual le
haca pensar que iba por buen camino en su investigacin.
Para concluir pienso que todos los trabajos de Boole en el campo de la lgica ayudaron a
los avances que recibi la lgica matemtica en los siguientes siglos. Igualmente este le
hizo un gran aporte a la matemtica al comprobar que la deduccin lgica poda
instituirse como una rama de esta.

III
Frege: del gran avance a la desesperacin

Creo que Frege fue uno de los ms grandes lgicos y filsofos contemporneos, el cual
dio sobresalientes contribuciones en el mbito de la lgica como lo fue en el desarrollo
del primer sistema lgico que poda abarcar todo el razonamiento deductivo de la
matemtica ordinaria, adems este ayudo a sentar las bases para el desarrollo de la
filosofa mediante su obra que empleaba el anlisis lgico para estudiar el lenguaje.
Una de las aspiraciones de Frege, era crear un sistema lgico que abarcara todas las
inferencias deductivas de la prctica matemtica; sin embargo para prevenir confusiones
el mismo creo su propio sistema de smbolos como lo fueron: , que significa para todo
y se denomina cuantificador universal y , que significa para alguno y se denomina
cuantificador existencial.
En 1879 Frege dio sin duda alguna el mayor aporte a la lgica con su obra titulada
Begriffsschrift, una palabra que habra inventado Frege uniendo la palabra Begriff que
significaba concepto y la palabra Schrift que significaba escritura. Gracias a su obra
sent las bases necesarias para el avance de la matemtica moderna.
Opino que el sueo de Leibniz de la creacin de un lenguaje universal reducido a
smbolos guio a Frege no solo en el desarrollo de un tratamiento matemtico de la
lgica, sino que tambin en la invencin de un nuevo lenguaje. Frege quera desarrollar
la lgica sin utilizarla en el proceso; lo cual lo llev a producir su conceptografia como un
lenguaje artificial con ciertas sintaxis.
Frege crea y a su vez Russell comparta su idea de que la aritmtica y en realidad toda
la matemtica podan ser reducidas a la lgica, esta idea se conoce hoy en da como
logicismo. Frege quera demostrar esta tesis mediante la teora de conjuntos pero
Russell mediante una carta le demostr a Frege que razonar con conjuntos de conjuntos
puede llevar fcilmente a una contradiccin, lo que se conoci como la paradoja de
Russell y que llev a Frege a la desesperacin y a terminar prcticamente con su carrera
acadmica.

IV
Cantor: un rodeo a travs del infinito

Sin importar acerca de lo que opinaba el matemtico alemn Carl Gauss y Aristteles en
su tiempo acerca del infinito, Georg Cantor decidi crear una teora matemtica global y
coherente del infinito real por medio de sus investigaciones sobre los conjuntos infinitos;
sin embargo matemticos como lo fue Leibniz o Fregel apoyaban la idea de la existencia
de un infinito real y no la de un infinito potencial; porque crean que se poda formalizar la
idea del infinito bajo la forma de los nmeros transfinitos.
Cantor crea que si el conjunto de los nmeros enteros y el conjunto de los nmeros
pares tenan la misma cantidad de nmeros; entonces este sera un fuerte argumento
para creer en la existencia de nmeros infinitos, no obstante cantor descubri que as
como el conjunto de los nmeros enteros y el conjunto de nmeros pares tena la misma
cantidad de nmeros no ocurra lo mismo con el conjunto de los nmeros reales y el
conjunto de nmeros naturales, lo que lo llev a concluir que los conjuntos infinitos tenan
al menos dos tamaos distintos.
Pienso que el mayor aporte que hizo Cantor fue la invencin junto a Frege y Dedekind
de la teora de conjuntos, que hoy por hoy es la base de las matemticas. Otros de sus
aportes fue la creacin en 1891 de un mtodo que demostraba la imposibilidad de contar
los nmeros reales de una forma ms sencilla el cual llam mtodo diagonal.
Para finalizar considero que gracias a Georg Cantor y a su tan disputada investigacin
acerca del infinito, fue posible crear las nociones fundamentales que encaminarn al
desarrollo de la computadora de propsito general.

V
Hilbert acude al rescate

Considero que David Hilbert fue uno de los ms grandes matemticos de finales del siglo
XIX y principios del XX, que desarrollo ideas como la teora de invariantes y la
consistencia de los axiomas de la geometra euclidiana. A pesar de que muchos de los
logros de Hilbert se debe a las obras de Kronecker este nunca estuvo de acuerdo con l
porque Hilbert defenda intensamente la teora de conjuntos y los nmeros transfinitos de
Georg Cantor.
Uno de los aportes que realiz Hilbert fue reducir la geometra euclidiana a la aritmtica
por medio de la idea de que sus axiomas eran consistentes y no podan derivar en una
contradiccin a partir de ellos; esto quiere decir que cualquier inconsistencia en su
sistema axiomtico de la geometra llevara a una inconsistencia en la aritmtica de los
nmeros reales.
A pesar de que para Hilbert, segua considerndose importante la lgica simblica en su
nueva y flamante idea de una nueva matemtica a la que llam metamatemtica o teora
de prueba en la que la matemtica y la lgica tenan que desarrollarse a la par como un
lenguaje simblico meramente formal y que adems estos mtodos metamatemticos
tendran que restringirse a los que estuvieran fuera de toda duda, los cuales Hilbert llam
mtodos finatarios. Por medio de esta metamatemtica Hilbert quera demostrarle a
Brouwer y Weyl que los matemticos nunca caeran en una contradiccin, empleando
mtodos habituales que hasta ellos mismo haban admitido.
Una de las cosas ms interesantes que pienso yo que realiz Hilbert, fue la que hizo en
1928 junto Ackerman en la que publicaron un pequeo libro, en donde proponan un
problema que se conoci como entscheidungsproblem en donde planteaba el reto a los
matemticos, de crear lo que hoy en da se conoce como un algoritmo, que fuera capaz
mediante una formula lgica de primer orden de determinar en un numero finito de pasos
si esta frmula era vlida o no lo era.

VI
Gdel desbarata los planes

Gracias a las reuniones del Crculo de Viena, con las que Gdel no estaba de acuerdo
con casi todo lo que se expona y a la teora de Russell de que toda la matemtica poda
reducirse a un sistema de lgica formal, influyeron en el camino que iba a tomar Gdel en
sus investigaciones. Para realizar su tesis doctoral, Gdel escogi uno de los problemas
que Hilbert planteaba en su pequeo libro acerca de lgica, que haca referencia a la
pregunta de que si podan existir fisuras en las reglas bsicas de deduccin lgica que
haba propuesto Frege en su Begriffsschrift y que haba incorporado Russell en su
Principia Mathematica. Gdel lleg a la rpida conclusin mediante mtodos que los
lgicos de esa poca conocan muy bien, de que no existan fisuras en estas reglas
bsicas que haba propuesto Frege.
Considero que Gdel fue uno de los lgicos ms importantes de la historia que dedic su
vida a interpretar los fundamentos de la matemtica mediante la teora de conjuntos y la
lgica. Gdel pens que desarrollando una codificacin a la que llam numeracin de
Gdel, podra desarrollar la metamatemtica de los sistemas lgicos formales en el
interior de estos mismos sistemas; sin embargo este lleg a la conclusin que ni los
sistemas lgicos ms poderosos podran abarcar todo el mbito de la verdad de la
matemtica.
En el artculo que escribi Gdel de indecibilidad se da a conocer como este crea
mediante una frmula de cuarenta y cinco formulas, lo que hoy en da se conoce como
un algoritmo y crea as un lenguaje especial en el que se podan realizar operaciones
necesarias paso a paso hasta llegar a un resultado. Gdel logr explicar cmo se poda
insertar conceptos metamatemticos en los mismos lenguajes, con lo que el sueo de
Leibniz de crear un leguaje artificial que redujera parte del conocimiento humano al
clculo, iba tomando forma poco a poco.
Otro de los aportes de Gdel, fue demostrar que la hiptesis del continuo de Cantor era
completamente indecidible, esto quiere decir que no se poda determinar si era verdadera
o falsa la hiptesis; por lo que Gdel tambin demostrara que Hilbert estaba equivocado
en creer que todos los problemas matemticos se podran resolver.

VII
Turing concibe la computadora de propsito general

Pienso que Alan Turing fue un gran matemtico y fue el padre de la computacin;
adems fundador de la informtica moderna. Entre sus primeros aportes al campo de la
computacin fue la creacin de una hipottica mquina a la que llam mquina de
Turing, la cual era capaz de manipular smbolos en una tira unidimensional con el
propsito de llegar por medio de una serie de pasos a una conclusin que estaba
restringida a 0 y 1.
Alan Turing tambin demostr que no exista ningn algoritmo que pudiera resolver el
entscheidungsproblem que haba planteado Hilbert, como resultado de esta
demostracin, Turing descubri un modelo matemtico de computadora de propsito
general. Resolviendo uno de los problemas de lgica matemtica que Hilbert haba
planteado, Alan Turing diseo un concepto de lo que hoy se conoce como computacin.
Gracias a un libro de claves de un submarino nazi y a la tarea de Turing de disear una
mquina llamada Bombe que pudiera disminuir el nmero de combinaciones por da de
la Enigma alemana, se pudo reducir las 150 trillones de configuraciones que poda tener
la Enigma a unas pocas, que luego se trabajaban manualmente hasta encontrar la
configuracin correcta que pudiera descifrar el mensaje codificado; todo esto se logr
gracias a la sistemtica cadena de razonamientos lgicos que la Bombe llevaba a cabo
y que tena como objetivo descartar numerosas combinaciones.
En un principio Turing construyo un dispositivo utilizando rels electromagnticos que
poda multiplicar nmeros en notacin binaria; pero luego se dio cuenta de la gran
posibilidad que ofrecan las vlvulas electrnicas y decidi dedicar gran parte de su
investigacin a como se podra construir computadoras universales con estas vlvulas
electrnicas.

VIII
Construyendo las primeras computadoras universales

La pregunta acerca de quien invento la computadora resulta ser imposible de contestar

con un solo nombre, ya que fueron muchos los colaboradores que llevaron a cabo el
desarrollo del ordenador como lo fueron: Joseph Jacquard, Charles Babbage, Ada
Lovalace, Clande Shannon, Alan Turing, Howard Aiken, John Atanasoff, John Mauchly, J.
Presper Eckert, John Von Neumann y Earl Larson, entre otros.
A pesar de que la Colossus haba sido el primer dispositivo electrnico de clculo en el
mundo, considero que el ENIAC fue el primer dispositivo digital que poda ejecutar el
mismo tipo de problemas que los analizadores diferenciales y que adems poda ejecutar
estos clculos con gran rapidez y precisin gracias a sus 18.000 vlvulas electrnicas.
El ENIAC se haba considerado como un extraordinario dispositivo de clculo; sin
embargo este dispositivo estaba an lejos de parecerse a la hipottica maquina universal
de Turing. Despus del ENIAC, lleg una computadora que fue llamada EDVAC la cual
posea una capacidad de almacenamiento a la que Von Neumann llam memoria la
cual era de acceso aleatorio y utilizaba tubos de rayos catdicos y que tena como
funcin contener tanto datos como instrucciones codificadas, tambin esta computadora
contaba con la simplicidad del cdigo binario en comparacin al cdigo decimal que
utilizaba la ENIAC, adems contaba con un componente que ejerca el control lgico con
el fin de que la memoria planteara una a una las instrucciones que el componente
aritmtico tendra que ejecutar. Finalmente la EDVAC cont con el primer programa
diseado para ser almacenado, con lo que con esta caracterstica se acercaba mucho
ms a una mquina de propsito general.
En 1945, Alan Turing elabor un informe en donde planteaba la elaboracin de una
computadora llamada ACE, la cual era capaz de desarrollar diez problemas entre los
cuales se encontraba jugar ajedrez y resolver rompe cabezas sencillos, esta se
diferenciaba de la EDVAC de Von Neumann, por su diseo minimalista parecida a la
hipottica mquina de Turing. La caracterstica ms significativa de la ACE, es que sera
diseada para que las operaciones aritmticas se llevaran a cabo ms en el software que
en hardware. Esta mquina no se construira al final por falta de recursos; sin embargo se
construira luego una versin preliminar llamada Pilot Ace.
Para finalizar pienso que cada computadora, dispositivo mvil y supercomputadora, no es
ms que una variante de la arquitectura que diseo John Von Neumann.

IX
Ms all del sueo de Leibniz

La relacin que existe entre el razonamiento lgico y la computacin alude a que no solo
hay que saber programar en un ordenador, para que haga cierta cantidad de tareas; si no
que tambin hay que saber cmo utilizar la lgica como una herramienta que sirva para
analizar, optimizar y disear algoritmos para crear un programa.
La idea que Alan Turing pblico en el ensayo puede una maquina pensar?, la cual
hablaba que para finales del siglo XX, una computadora iba ser capaz de pensar por s
sola y entablar una conversacin con una persona, hoy en da se sabe es que es mentira
ya que hasta el momento no se ha podido disear un programa que iguale por lo menos la
capacidad de hablar de un nio de cinco aos.
En las discusiones que Searle mantuvo acerca del tema de que si una maquina poda
pensar, este demostr que los ordenadores no eran para nada inteligentes y que mucho
menos podan tener conciencia, lo que ocurra era que simplemente el ordenador ejecuta
un programa en donde ya una persona ha definido que tiene que hacer el ordenador en
cada circunstancia.
Considero que si podemos comparar la mente humana con un ordenador, ya que si nos
fijamos bien nuestro cerebro sigue patrones algortmicos da a da para poder recordar,
donde vimos a cierta persona o recordar algn nmero telefnico; adems nuestro
cerebro funciona de cierta manera similar a la CPU de un ordenador, ya que
constantemente obtenemos informacin de la vista, el odo, el olfato y el tacto y nuestro
cerebro se encarga de convertir estos impulsos elctricos que recibimos de los sentidos
en informacin.