Una prueba de los teoremas de Gödel y Rosser

• Autores: José F. Prida
• Localización: Boletín del Centro de Cálculo de la Universidad de Madrid, Nº. 22, 1973, págs. 1-14
• Idioma: español
• Enlaces
  • Texto completo
• Resumen

  • Se presenta aquí una prueba de los teoremas de Gödel y Rosser bajo una formulación más moderna, debida a Rogers (1), en el lenguaje y con las técnicas de la teoría de la computabilidad. El interés del tema, junto con la dificultad grande que el no especialista encontrará en suplir las demostraciones que Rogers omite, ha motivado esta exposición detallada.