TY  - THES 
A3  - Barba Escribá, Juan Luis
AU  - Lavagnoli González, Alba
PY  - 2022
UR  - https://uvadoc.uva.es/handle/10324/59128
AB  - El teorema de Church demuestra que la cuestión de la validez o no de fórmulas de primer orden no es resoluble por máquinas de Turing ni procedimientos equivalentes, lo que a partir de la tesis de Church-Turing significa la inexistencia de métodos...
LA  - spa
KW  - Máquinas de Turing
KW  - Halting problem
KW  - Método de decisión
KW  - Método deductivo de árboles
TI  - La indecidibilidad de la lógica de primer orden y el método de árboles
M3  - info:eu-repo/semantics/masterThesis
ER  -