Cuando Sir Isaac Newton le escribió a su compañero científico Robert Hooke sobre un tema de óptica, escribió: “Si he visto más allá que otros, es porque me he puesto sobre los hombros de gigantes”. Esto fue inmediatamente después de alabar las contribuciones de Hooke al campo. . Newton pasó a escribir Óptica , uno de los primeros libros importantes de la ciencia occidental en el campo. Se le considera el padre de la ciencia y el padre de la mecánica, pero al verlo como tal no tiene en cuenta las contribuciones de los “gigantes” sobre cuyos hombros se encontraba: Descarte, Hooke, Fermat, etc.
Lo mismo puede decirse de quién es el padre de la informática.
Muchas personas señalan a Alan Turing, el famoso matemático inglés que murió demasiado joven y cuyas contribuciones sensacionalistas al esfuerzo secreto de guerra en Bletchley Park son el “padre de la informática”.
- ¿Cuál es el significado del límite de Gilbert-Varshamov?
- ¿Hay algún autómata celular bien conocido e interesante?
- ¿Cuál es la diferencia entre clasificación (aprendizaje automático) y análisis de sentimientos (procesamiento del lenguaje natural)?
- ¿La mayoría de los satélites estadounidenses todavía funcionan en un sistema informático basado en DOS?
- ¿Cuáles son las principales startups que utilizan el aprendizaje automático en sus productos?
¿Pero qué hay de sus contemporáneos, Kurt Gödel y Alonzo Church? Al igual que Turing, en la década de 1930 estudiaban la naturaleza de la computación, y cada uno ideó su propio modelo matemático (a Gödel se le ocurrieron funciones recursivas generales, a Turing se le ocurrió la “Máquina de Turing”, y a Alonzo Church se le ocurrió el cálculo lambda), y cada uno mostró cómo su modelo podría usarse para resolver problemas de computación. Su trabajo fue innovador de forma independiente, y cada modelo es equivalente a los demás (en el sentido de que cualquier problema que pueda resolver con cualquiera de ellos puede resolverse en cualquiera de los otros). Los tres fueron bien recibidos en la literatura del día, por lo que sabían del trabajo de los demás, y fueron potencialmente influenciados por los demás. La tesis de Church-Turing, nombrada en honor a dos del trío, afirma que estos modelos de computación capturan la totalidad de lo que significa ser “computable” y, por lo tanto, son los modelos de computación más poderosos. Nadie ha demostrado que la tesis esté equivocada desde entonces.
¿Son, individual o colectivamente, el “padre de la informática”?
Los tres intentaban resolver dos problemas ofrecidos por el matemático David Hilbert: uno de ellos si la aritmética de Peano era consistente (su “segundo problema”, dado en 1900), el otro si había un algoritmo general para probar o refutar cualquier declaración de lógica de primer orden (su ” Entscheidungsproblem “, dada en 1928). ¿Es Hilbert uno de los gigantes sobre los que se encontraba el “padre de la informática”, o uno de los padres?
Hilbert no fue el origen del problema Entscheidungs , que posiblemente se remonta a Gottfried Leibniz, quien construyó una calculadora y luego soñó con una máquina que pudiera calcular la lógica de primer orden. Escribió extensamente sobre la necesidad de anotaciones claras para usar como entrada a dicha máquina, pero nunca construyó la máquina él mismo. ¿Podría ser padre de la informática?
Sin embargo, Turing, Gödel e Church tienen un problema. Si bien cada uno desarrolló modelos de computación de forma independiente, ninguno de ellos es particularmente útil para construir una computadora real. Si bien el cálculo lambda de Church es la base para una gran cantidad de lenguajes funcionales hoy en día (comenzando con Lisp y sus derivados, e incluyendo ML y Haskell también), ni las formulaciones de Turing ni de Gödel se prestan a lenguajes de programación fáciles de usar.
Von Neumann, por otro lado, ideó una arquitectura de computadora viable que podría programarse. ¿Es él también un “padre”? Participó en la construcción de algunas de las primeras computadoras reprogramables de uso general que funcionan por completo.
Konrad Zuse, desafortunadamente, tiene su trabajo en computadoras reprogramables en Alemania interrumpido por la Segunda Guerra Mundial. Puede que haya golpeado a Von Neumann hasta el golpe, pero sus máquinas nunca tuvieron un impacto serio hasta más tarde. ¿Podría ser incluido también en la paternidad?
En los días preelectrónicos, había soñadores y diseñadores que estudiaban el asunto. Ya mencioné a Leibniz, pero más famoso fue Charles Babbage, un talentoso matemático e ingeniero cuyos talentos no se extendieron al presupuesto y la recaudación de fondos. Después de diseñar y construir parcialmente una máquina para calcular (¡e imprimir!) Valores sucesivos de una fórmula polinómica (para hacer tablas precisas de funciones trascendentales), dirigió sus atenciones a una máquina más ambiciosa para hacer cálculos de propósito general. Su “motor analítico” nunca se basó en planos, pero su protegido y admirador Augusta Ada King-Noel, condesa de Lovelace, tradujo una monografía italiana en el motor analítico, agregando a la traducción varios ejemplos de cómo se podría configurar la máquina. para diferentes estilos de cómputos. Estos son considerados como algunos de los primeros “programas informáticos” reales escritos y publicados, para una máquina que nunca se construyó.
¿Babbage y Lovelace son aún más padres y madres de la informática?
Solo estoy rascando la superficie, de verdad.
Me alegra no haber estado en esa sala de partos …
