c
 



 fue un matemático, informático teórico, criptógrafo y filósofo
inglés. Es considerado uno de los padres de la Ciencia de la computación siendo el
precursor de la informática moderna. Proporcionó una influyente formalización de los
conceptos de algoritmo y computación: la máquina de Turing. Formuló su propia versión
de la hoy ampliamente aceptada Tesis de Church-Turing, la cual postula que cualquier
modelo computacional existente tiene las mismas capacidades algorítmicas, o un
subconjunto, de las que tiene una máquina de Turing.
En su memorable estudio "Los números computables, con una aplicación al
Entscheidungsproblem" (publicado en 1936), Turing reformuló los resultados obtenidos
por Kurt Gödel en 1931 sobre los límites de la demostrabilidad y la computación,
sustituyendo al lenguaje formal universal descrito por Gödel por lo que hoy se conoce
como Máquina de Turing, unos dispositivos formales y simples. Demostró que dicha
máquina era capaz de implementar cualquier problema matemático que pudiera
representarse mediante un algoritmo. Las máquinas de Turing siguen siendo el objeto
central de estudio en la teoría de la computación. Sus estudios del sistema Fish ayudarían
al desarrollo posterior de la primera computadora programable electrónica digital llamada
Colossus, la cual fue diseñada por Max Newman y su equipo, y construida en la Estación
de Investigaciones Postales de Dollis Hill por un equipo dirigido por Thomas Flowers en
1943. Dicha computadora se utilizó para descifrar los códigos Fish (en concreto las
transmisiones de la máquina Lorenz). En 1952 Turing escribió un programa de ajedrez. A
falta de una computadora lo suficientemente potente como para ejecutarlo, él simulaba el
funcionamiento de la computadora, tardando más de hora y media en efectuar un
movimiento. Una de las partidas llegó a registrarse; el programa perdió frente a un amigo
de Turing.

 fue reconocido como uno de los más importantes lógicos de todos los tiempos,
el trabajo de Gödel ha tenido un impacto inmenso en el pensamiento científico y filosófico
del siglo XX. Gödel, al igual que otros pensadores como Bertrand Russell, A. N. Whitehead
y David Hilbert intentó emplear la lógica y la teoría de conjuntos para comprender los
fundamentos de la matemática. A Gödel se le conoce mejor por sus dos teoremas de la
incompletitud, publicados en 1931 a los 25 años de edad, un año después de finalizar su
doctorado en la Universidad de Viena.
El más célebre de sus teoremas de la incompletitud establece que para todo sistema
axiomático recursivo auto-consistente lo suficientemente poderoso como para describir la
aritmética de los números naturales (la aritmética de Peano), existen proposiciones
verdaderas sobre los naturales que no pueden demostrarse a partir de los axiomas. Para
demostrar este teorema desarrolló una técnica denominada ahora como numeración de
Gödel, el cual codifica expresiones formales como números naturales.
También demostró que la hipótesis del continuo no puede refutarse desde los axiomas
aceptados de la teoría de conjuntos, si dichos axiomas son consistentes. Realizó
importantes contribuciones a la teoría de la demostración al esclarecer las conexiones
entre la lógica clásica, la lógica intuicionista y la lógica modal. En 1931 Gödel publicó sus
célebres teoremas de la incompletud en "Über formal unentscheidbare Sätze der Principia
Mathematica und verwandter Systeme" ("Sobre proposiciones formalmente indecidibles
de Principia Mathematica y sistemas relacionados"). En dicho artículo demostró que para
todo sistema axiomático computable que sea lo suficientemente poderoso como para
describir la aritmética de los números naturales (e.g. los axiomas de Peano (o ZFC),
entonces:
1. Si el sistema es consistente no puede ser completo. (A esto generalmente se le
conoce como el teorema de la incompletud).
2. La consistencia de los axiomas no puede demostrarse al interior del sistema.
Estos teoremas finalizaron medio siglo de intentos académicos (comenzando con el
trabajo de Frege y culminando en los Principia Mathematica y en el formalismo de Hilbert)
por encontrar un conjunto de axiomas suficiente para toda la matemática. El teorema de
la incompletud implica también que no toda la matemática es computable. La idea básica
del teorema de la incompletud es más bien simple. Esencialmente Gödel construyó una
fórmula que asegura ser no-demostrable para cierto sistema formal. Si fuera demostrable
sería falsa, lo cual contradice el hecho de que en un sistema consistente las proposiciones
demostrables son siempre verdaderas. De modo que siempre habrá por lo menos una
proposición verdadera pero no demostrable. Esto es, para todo conjunto de axiomas de la
aritmética construible por el hombre existe una fórmula la cual se obtiene de la aritmética
pero es indemostrable en ese sistema. Sin embargo, para precisar esto Gödel necesitaba
resolver varias cuestiones técnicas, tales como proposiciones de codificación y el concepto
mismo de demostrabilidad en la teoría de los números naturales. Esto último lo realizó
mediante un proceso denominado numeración de Gödel. En su ensayo de dos páginas
"Zum intuitionistischen Aussagenkalkül" (1932) Gödel refutó la ͞valuabilidad͟ finita de la
lógica intuicionista. En la demostración empleó implicitamente lo que después se conoció
como la lógica intermedia de GödelʹDummett (o Gödel fuzzy logic). Gödel recibió su
habilitación en la Universidad de Viena en 1932, y en 1933 se convirtió en Privatdozent
(profesor no remunerado). La ascensión de Hitler en Alemania en 1933 afectó poco a
Gödel en Viena, ya que tenía poco interés en la política. Sin embargo, se vio muy afectado
por el asesinato de Moritz Schlick (cuyo seminario había despertado su interés por la
lógica) a manos de un estudiante perturbado, incidente que resultó en su primer colapso
nervioso.


„ 

Virtualmente, cada computador personal, microcomputador, minicomputador y
supercomputador es una máquina de von Neumann. También creó el campo de los
autómatas celulares sin computadores, construyendo los primeros ejemplos de autómatas
autorreplicables con lápiz y papel. El concepto de constructor universal fue presentado en
su trabajo póstumo Teoría de los Autómatas Autorreproductivos. El término "máquina de
von Neumann" se refiere alternativamente a las máquinas autorreplicativas. Von
Neumann probó que el camino más efectivo para las operaciones mineras a gran escala,
como minar una luna entera o un cinturón de asteroides, es a través del uso de máquinas
auto-replicativas, para tomar ventaja del crecimiento exponencial de tales
mecanismos.Adicional a su trabajo en arquitectura computacional, von Neumann es
acreditado con al menos una contribución al estudio de algoritmos. Donald Knuth
denomina a von Neumann como el inventor, en 1945, del conocido algoritmo merge sort,
en el cual la primera y segunda mitad de un array (vector) son cada una clasificadas
recursivamente y luego fusionadas juntas. También se comprometió en la investigación de
problemas en el campo de la hidrodinámica numérica. Junto con R. D. Richtmyer
desarrolló un algoritmo definiendo viscosidad artificial, que probó la esencia para el
entendimiento de las ondas de choque. Puede decirse que no entenderíamos mucho de
astronáutica y ni siquiera habríamos desarrollado jets y motores espaciales sin ese
trabajo. El problema a resolver era que cuando los computadores resuelven problemas
hidro o aerodinámicos, buscan poner muchos puntos de rejilla (o malla, en inglés grid)
computacionales en regiones con onda de choque de discontinuidad aguda. La viscosidad
artificial era un truco matemático para suavizar levemente la transición del choque sin
sacrificar la física básica.

  
 
Georg Cantor (San Petersburgo, 3 de marzo de 1845 - Halle, 6 de enero de 1918) fue un
matemático alemán, inventor con Dedekind y Frege de la teoría de conjuntos, que es la
base de las matemáticas modernas. Gracias a sus atrevidas investigaciones sobre los
conjuntos infinitos fue el primero capaz de formalizar la noción de infinito bajo la forma
de los números transfinitos (cardinales y ordinales).
Hoy en día, la comunidad matemática reconoce plenamente su trabajo, y admite que
significa un salto cualitativo importante en el raciocinio lógico. Murió en una clínica
psiquiátrica de monjas, aquejado de una enfermedad maníaco-depresiva provocada por
sus intentos de comprobar matemáticamente la Hipótesis del continuo.
Los estudios universitarios de Georg Cantor iniciaron en Zúrich, en 1862. Pero pasó a la
Universidad de Berlín al siguiente año, después de la muerte de su padre. En Berlín se
especializó en matemáticas, filosofía y física.
El interés de joven recayó en las dos primeras. Tuvo como profesores en el campo de
matemáticas a Ernst Kummer, Karl Weierstrass y Leopold Kronecker. Uno de los actos de
Cantor fue la siguiente afirmación: ax² + by² + cz² = 0
En la que a, b y c son números enteros.
A los 27 años dio clase en la Universidad de Halle. A partir de 1872 fue catedrático. Sus
primeros trabajos con las series de Joseph Fourier lo llevaron al desarrollo de una teoría
de números irracionales.
En 1874, apareció el primer trabajo de Cantor sobre la Teoría de conjuntos. El estudio de
los infinitos fue considerado por su maestro Kronecker como locura matemática.
Cantor descubrió que los conjuntos infinitos no tienen siempre el mismo tamaño, o sea el
mismo cardinal: por ejemplo, el conjunto de los racionales es enumerable, es decir, del
mismo tamaño que el conjunto de los naturales, mientras que el de los reales no lo es:
existen, por lo tanto, varios infinitos, más grandes los unos que los otros. Entre estos
infinitos, los hay tan grandes que no tienen correspondencia en el mundo real, asimilado
al espacio vectorial R³.

Este hecho supuso un desafío para un espíritu tan religioso como el de Georg Cantor. Y las
acusaciones de blasfemia por parte de ciertos colegas envidiosos o que no entendían sus
descubrimientos no le ayudaron. Sufrió de depresión, y fue internado repetidas veces en
hospitales psiquiátricos. Su mente luchaba contra varias paradojas de la teoría de los
conjuntos, que parecían invalidar toda su teoría (hacerla inconsistente o contradictoria, en
el sentido de que una cierta propiedad podría ser a la vez cierta y falsa). Además, trató
durante muchos años de probar la hipótesis del continuo, lo que se sabe hoy que es
imposible, y que tiene que ser aceptada (o rehusada) como axioma adicional de la teoría.
El constructivismo negará este axioma, entre otras cosas, desarrollando toda una teoría
matemática alternativa a la matemática moderna.
Empezó a interpretar el infinito absoluto (que no es concebible por la mente humana)
como Dios, y escribió artículos religiosos sobre el tema.
Georg Cantor falleció en Halle, Alemania el 6 de enero de 1918, a los 73 años de edad.
Actualmente, su obra es ampliamente reconocida y ha sido acreedora de varios honores.