El Teorema de indecidibilidad de Church (1936): Formulación y presentación de las ideas principales de su prueba.

El Teorema de indecidibilidad de Church es uno de los resultados meta-teóricos de mediados de la tercera década del siglo pasado, que junto a otros teoremas limitativos como los de Gödel y Tarski, han generado todo un sinfín de reflexiones y análisis tanto en el marco de las ciencias formales, esto...

Full description

Bibliographic Details

Published:	2017
Subjects:	Teorema de indecidibilidad de Church Teoremas de Incompletitud de Gödel Lógica de primer orden funciones recursivas Teorema de indefinibilidad de Tarski
Online Access:	http://hdl.handle.net/10872/21573
Tags:	Add Tag No Tags, Be the first to tag this record!