Buscar
Mostrando ítems 1-4 de 4
Teorema de Kalmar a partir de un enfoque algebraico de todos los teoremas de completitud e incompletitud de Gödel
(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 ...
Un acercamiento filosófico a la hipótesis del continuo
(Universidad Veracruzana. Facultad de Filosofía. Región Xalapa, 2018)