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...
Saved in:
| Published: |
2017
|
|---|---|
| Subjects: | |
| Online Access: | http://hdl.handle.net/10872/21573 |
| Tags: |
No Tags, Be the first to tag this record!
|
Similar Items: El Teorema de indecidibilidad de Church (1936): Formulación y presentación de las ideas principales de su prueba.
- Teorema de Completitud de Gödel, el Teorema del Colapso Transitivo de Mostowski y el Principio de Reflexión
- Completitud en el segundo nivel de la jerarquía polinomial a través de propiedades sintácticas
- Aspectos globales del espacio-tiempo de De Sitter
- El teorema de nehari y el teorema de kronecker
- Tres teoremas sobre cardinales medibles
- Comprensión de las implicaciones del teorema del límite central a través de histogramas: un estudio con estudiantes y profesores de América Latina.