Lógica, Matemática, Deducción Automática

• Autores: Manuel Ojeda Aciego
• Localización: Gaceta de la Real Sociedad Matematica Española, ISSN 1138-8927, Vol. 8, Nº 1, 2005, págs. 93-119
• Idioma: español
• Enlaces
  • Texto completo
• Resumen

  • Presentamos una breve perspectiva histórica del desarrollo en paralelo y, a veces, entrelazado, de la lógica y las Matemáticas, con e objetivo final de presentar la Lógica Computacional y, en particular, la Deducción Automática, como un área de investigación matemática de extraordinario potencial práctico, no en balde distintos autores de conocido prestigio afirman que la Lógica es a la Computación lo que el Cálculo Infinitesimal es a la Física.