Utilizamos cookies propias y de terceros para mejorar nuestros servicios y facilitarle el uso de la web mediante el análisis de sus preferencias de navegación. También compartimos la información sobre el tráfico por nuestra web a los medios sociales y de publicidad con los que colaboramos. Si continúa navegando, consideramos que acepta nuestra Política de cookies .

Actualidad científica

  • 13/12/2018 - Tecnología

    Un dispositivo para medir nuestra exposición al sol

    Colocado en la piel o la ropa, el pequeño aparato aporta datos sobre la cantidad de radiación ultravioleta, visible e infrarroja que acumula el organismo. Destacan sus múltiples aplicaciones tanto cosméticas como médicas.

  • 12/12/2018 - Climatología

    Oscurecer el sol para enfriar la Tierra: el primer experimento

    Unos investigadores tienen pensado rociar la estratosfera con partículas que reflejen la luz solar. En última instancia, de esta forma se podría reducir deprisa la temperatura de la Tierra.

  • 12/12/2018 - Envejecimiento

    La tenacidad beneficia la salud física

    Las personas de edad avanzada tenaces pero también flexibles en sus objetivos gozan de un espacio vital mayor y, con ello, de más relaciones sociales y actividades físicas.

  • 11/12/2018 - glaciología

    Se acelera la pérdida de hielo de Groenlandia

    Los testigos de hielo, los datos de los satélites y los modelos climáticos revelan la violenta transformación de la vasta capa de hielo.

  • 11/12/2018 - Neuropsicología del desarrollo

    ¿Infecciones que desencadenan trastornos mentales?

    Un estudio realizado en Dinamarca asocia la invasión de microrganismos patógenos, durante la infancia y adolescencia, con el desarrollo de la esquizofrenia y otras alteraciones de la personalidad y la conducta.

Síguenos
  • Google+
  • RSS
  • Investigación y Ciencia
  • Agosto 2016Nº 479
Panorama

Historia de la computación

Lo que Church y Turing ya sabían sobre mi portátil

Los dos trabajos que marcaron el origen de la informática acaban de cumplir 80 años. Hoy, sus hallazgos siguen guiando la investigación en ingeniería y análisis de programas.

Menear

Con el advenimiento de las redes inalámbricas, nos hemos acostumbrado a la periódica —y, a menudo, inesperada— actualización de las aplicaciones que usan nuestros teléfonos móviles, tabletas y ordenadores. Con frecuencia anuncian la instalación de nuevas funcionalidades o la corrección de errores detectados. Saludamos con alegría las primeras, pero tal vez nos quedemos pensativos ante las segundas. ¿Errores «detectados»? ¿No podían haberse identificado antes de la primera distribución del programa para evitar así cualquier problema posterior?

Por desgracia, la respuesta a esta pregunta es negativa. Y hace mucho que se sabe: ya en los años treinta del siglo pasado, dos de los padres de la informática intuyeron cuáles serían nuestros problemas actuales.

De Hilbert a los fallos de programación
En la segunda década del siglo XX, el célebre matemático alemán David Hilbert propuso utilizar la lógica como formalismo universal para expresar las afirmaciones matemáticas y demostrarlas. En este programa de «mecanización» de la matemática, uno de los retos planteados por Hilbert fue lo que daría en llamarse «problema de la decisión»: hallar un método efectivo para establecer, en un número finito de pasos, si una determinada fórmula lógica es cierta o no. Sin embargo, Hilbert no definió con precisión qué entendía por «método efectivo».

En abril de 1936, Alonzo Church, matemático de la Universidad de Princeton, avanzó la idea de que su cálculo lambda —un formalismo que había concebido poco antes para modelizar los aspectos esenciales de las funciones en matemáticas— capturaba la noción de método efectivo de Hilbert. En mayo de ese mismo año, Alan Turing, recién licenciado en Cambridge, introdujo lo que hoy conocemos como máquina de Turing (MT) y argumentó que esta también se correspondía con la escurridiza idea del matemático alemán. Y en agosto, hace justo 80años, Turing demostró que su máquina y el cálculo lambda definían métodos efectivos equivalentes.

Puede conseguir el artículo en:

Artículos relacionados

Revistas relacionadas