LÓGICA III
(METALÓGICA CUANTIFICACIONAL)
Tarea 10
- Escriba en español de
qué se tratan los metateoremas 56.1 a 56.8.
- Escriba en español de
qué se tratan los metateoremas 56.9 a 56.13.
- Escriba en español
cotidiano el Lema 56.15.
- Escriba en español de
qué se tratan los metateoremas 56.16 a 56.21.
- 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