Posterior:
Sintaxis básica del cálculo
Anterior:
Lógica Matemática (Un enfoque
Cálculo de predicados
Cálculo de predicados
Subsections
Sintaxis básica del cálculo de predicados
Semántica básica del cálculo de predicados
Campos algebraicos
Números racionales
Cuaterniones
Enteros módulo-
Campos de Galois
Algebras booleanas
Teoría de conjuntos
Modelo estándar de la teoría de Zermelo y Fraenkel
Modelo constructible de la teoría de Zermelo y Fraenkel
Geometría del espacio
Geometría analítica
Geometría de Lobachevski
Plano de Fano
Deducción natural en el cálculo de predicados
Silogística
Barbara
Festino
Bocardo
Camenes
Formas clausulares
Coherencia y completitud
Coherencia
Algebra de Lindenbaum
Completitud
Irresolubilidad en la Aritmética
Aritmética de Peano
Incompletitud
El teorema de Goodstein
Representación formal en base
Sucesión de Goodstein
Función de Goodstein
Ilustración del Teorema de Goodstein
Algunos valores explícitos de la función
Resolución del sistema de recurrencias
con
La conjetura de Catalan
Motivación
Formulación
Guillermo Morales-Luna
2004-07-27
con 