Buscar
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
(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 ...