Listar Carrera de Matemática por autor "Paz Ballivián, Mario Francisco"
Mostrando ítems 1-1 de 1
-
Teorema de Kalmar a partir de un enfoque algebraico de todos los teoremas de completitud e incompletitud de Gödel
Alberdi Baptista, Javier Andrés (2019)Los teoremas que se profundizan en el presente trabajo, son los dos teoremas de Kurt Gödel (1906-1978) primero el de Completitud para el Cálculo de Predicados de Primer Orden y segundo el de Incompletitud en Sistemas ...