Procedimientos decisorios para fórmulas monádicas de primer grado

Additional information

Autor : Ferro, Juan B. Año de publicación: 1966 Tipo de tesis : Tesis de doctorado.

Ver más

Descripción

Descripción

Descripción:

Esta tesis explora la importancia histórica de los algoritmos en la lógica matemática, centrándose en el «Entscheidungsproblem» de Hilbert. Examina la evolución del problema, destacando la demostración de Church en 1936 de que no existe una solución general para la lógica cuantificacional de primer grado.

Palabras clave: Lógica matemática; Fórmulas de primer grado; Algoritmos.

Referencia en APA 7ma ed.: Ferro, J. (1966). Procedimientos decisorios para fórmulas monádicas de primer grado. [Tesis para optar el grado de Doctor en Letras] Unidad de Posgrado de la UniversidadnNacional Mayor de San Marcos.

Licencia: