Encabezado Facultad de Ciencias
Asignaturas de Matemáticas (plan 1983)

Lógica Matemática III

Optativas de los Niveles VII y VIII - Optativo

Clave 0447, 10 créditos. Tipo Normal.

Descargar temario en formato PDF

Resumen

Dar una exposición rigurosa de los Teoremas de Incompletez de la aritmética, debido a Kurt Gödel. Para desarrollar esta exposición es necesaria una presentación de la aritmética recursiva (funciones y relaciones recursivas) y de un sistema formal para representarla.

 


Hecho en México, todos los derechos reservados 2011-2016. Esta página puede ser reproducida con fines no lucrativos, siempre y cuando no se mutile, se cite la fuente completa y su dirección electrónica. De otra forma requiere permiso previo por escrito de la Institución.
Sitio web administrado por la Coordinación de los Servicios de Cómputo de la Facultad de Ciencias. ¿Dudas?, ¿comentarios?. Escribenos.