LÓGICA III (METALÓGICA CUANTIFICACIONAL)
Tarea 10

 

  1. Escriba en español de qué se tratan los metateoremas 56.1 a 56.8.
  2. Escriba en español de qué se tratan los metateoremas 56.9 a 56.13.
  3. Escriba en español cotidiano el Lema 56.15.
  4. Escriba en español de qué se tratan los metateoremas 56.16 a 56.21.
  5. La prueba de indecidibilidad de H supone su consistencia y la Tesis de Church.  ¿Hay razón para dudar estos supuestos?  ¿Por qué?

 


Regresar a la página del curso: www.filosoficas.unam.mx/~morado/Cursos/1Meta/meta.htm

Regresar a la página de Raymundo Morado

Regresar a la página principal del Instituto de Investigaciones Filosóficas