Presentación del grupo 4245 - 2011-1.
No-Presentación.
El camino por Lógica Matemática tiene tantas vertientes como ordinales hay (claro si es que la clase de los ordnales existe ). Ahora bien la propuesta para este curso es comprender a fondo la visión clásica de la Logica Matemática con un par de anteojos (llamados teoria de modelos) que nos permitan descubrir la verdad relativa no sin antes analizar verdades universales.
Como una analogía, cuando se construye se necesita una base firme y unas columnas fuertes, así podemos identificar a los teoremas de Compacidad, Correctud-Completud, Löwenheim-Skolem, Definibilidad de Tarski como cimientos de la Lógica Matemática fundados sobre la definición de verdad de Tarski.
¿Hacia donde mira el curso?
Distinguiendo entre Lenguaje y metalenguaje es posible entrenarnos para construir un enunciado verdadero en la Aritmética pero no demostrable en un sistema formal.
P.D. La aritmetica no es una teoría completa.