cultura y tecnología

encontrados: 2, tiempo total: 0.003 segundos rss2
6 meneos
42 clics

Algunos vinculos entre los teoremas de Goedel y Turing

JOSEP PLA I CARRERA A finales del siglo XIX y en la primera mitad del XX, hubo diversos intentos de formalizar y sistematizar las denominadas ‘ciencias puras’. Con respecto a las matemáticas, en su obra de 1899, Grundlagen der Geometrie, David Hilbert (1862-1943) plantea ya algunas de las ideas de...
2 meneos
50 clics

Las matemáticas de Alan Turing

MANUEL DE LEÓN Alan Mathison Turing ha sido uno de los matemáticos más excepcionales del siglo XX. Sin embargo, el éxito de la aplicación de sus resultados a las ciencias de la computación ha sido tan grande que ha opacado el valor de sus matemáticas. A esto se añade que...

menéame