Encabezado Facultad de Ciencias
Presentación

Matemáticas (plan 1983) 2022-2

Optativas de los Niveles VII y VIII, Lógica Matemática III

Grupo 4335, 65 lugares. 14 alumnos.
Profesor Luis Jesús Turcio Cuevas lu mi vi 13 a 14
Ayudante Karina García Buendía ma ju 13 a 14
 

Bienvenidos al curso de lógica 3. En esta clase veremos el primer teorema de incompletud de Gödel desde una perspectiva categórica. Si te interesa la materia puedes entrar al Classroom con el enlace: https://classroom.google.com/c/NDYyNTUyMzQ4MDU1?cjc=x2w2plo. Las primeras reuniones serán usando el link de Meet generado por Classroom de 13 a 14 horas. Si tienes dudas puedes contacterma por telegram, mi usuario es @ljtc_0.

Temario y Bibliografía

  • Primero definiremos una categoría como conjuntos. Esto lo haremos de forma axiomática y el objetivo es demostrar un teorema de puntos fijos que yo atribuyo a Lawvere.

Para este parte la bibliografía principal es Sets for Mathematics de Lawvere y Rosebrugh. Cuando sea necesario también revisaremos Sheaves in Geometry and Logic de Mac Lane y Moerdijk.

  • Luego veremos algo de lógica: satisfacción, verdad, demostrabilidad y representabilidad. Además veremos qué es una enumeración de Gödel.

En este punto usaremos Mathematical Logic de Mendelson.

  • Después veremos aplicaciones del teorema de Lawvere: el teorema de Cantor, la paradoja de Russell, un teorema de Tarski y finalmente el primer teorema de incompletud de Gödel. Además veremos cuales fueron las razones políticas por las que se consideró al teorema de Gödel como el más importante del siglo pasado.

La bibliografía de este punto será Diagonal Arguments and Cartesian Closed Categories de Lawvere.

  • Finalmente cubriremos un punto que fue muy criticado en la demostración clásica del teorema de Gödel. Originalmente se usa la enumeración de Gödel para construir un enunciado aritmético que dice "yo soy indemostrable", algo que no tiene ningún interes matemático. Entonces, construiremos un enunciado aritmético con contenido matemático que sea verdadero pero que no se pueda demostrar.

En esta parte seguiremos Model Theory de Marker.

Temario más específico

  1. La categoría de conjuntos abstractos
  2. Algunos límites y colímites (productos fibrados y coproductos)
  3. Exponenciales
  4. Clasificador de subobjetos
  5. Puntos fijos y el teorema de Lawvere
  6. Numeración de Gödel
  7. Satisfacción, verdad y demostrabilidad
  8. Teoremas de Cantor, Tarski y Gödel
  9. Discusión acerca de la importancia política del teorema de Gödel
  10. Indiscernibles
  11. Enunciados verdaderos y no demostrables en la aritmética de Peano

Posibles temas adicionales

  • La lógica interna de la categoría de conjuntos abstractos
  • El Lauter Einsen de Cantor
  • Ejemplos de dialéctica en matemáticas (derivadas, abierto-cerrado, par-impar, discreto-codiscreto,...)

 


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. Aviso de privacidad.