Matemáticas (plan 1983) 2022-2
Optativas de los Niveles VII y VIII, Lógica Matemática III
Grupo 4335, 65 lugares. 14 alumnos.
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
-
La categoría de conjuntos abstractos
-
Algunos límites y colímites (productos fibrados y coproductos)
-
Exponenciales
-
Clasificador de subobjetos
-
Puntos fijos y el teorema de Lawvere
-
Numeración de Gödel
-
Satisfacción, verdad y demostrabilidad
-
Teoremas de Cantor, Tarski y Gödel
-
Discusión acerca de la importancia política del teorema de Gödel
-
Indiscernibles
-
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,...)