Compilador verificante

Compilador verificante es un gran reto propuesto por C. A. R. Hoare. En la actualidad es un reto realizar una correspondencia entre la teoría de la computación y las aplicaciones de software. El desarrollo de un compilador verificante es una herramienta esencial para reunir ambas áreas dado que pondría a disposición de los ingenieros de software los resultados teóricos alcanzados.[2]

Grandes retos

Un gran reto es un esfuerzo coordinado o en competencia que puede implicar logros científicos de gran envergadura y que no hubieran podido lograrse de otra forma.

  • Demostrar el último teorema de Fermat (cumplido)
  • Llegar a la luna en 10 años (cumplido)
  • Curar el cáncer en 10 años (fallido en los años 70)
  • Crear el mapa del Genoma Humano (cumplido)
  • Crear el mapa de Proteoma humano (demasiado difícil por el momento)
  • Encontrar el " Bosón de Higgs" (en progreso)
  • Encontrar las ondas gravitacionales (en progreso)
  • Unificar las cuatro fuerzas de la física (en progreso)
  • El Programa de Hilbert para los fundamentos de la matemática (abandonado en los años 30)
Other Languages