Tesis doctorales, proyectos y otras publicaciones, una base fundamental
en la ampliación y desarrollo de los conocimientos científicos.

Documentos
disponibles
Artículos (1584)
Libros (343)
Monografías (118)
Otros (129)
Ponencias (1310)
Proyectos (559)
Tesis (9260)

Tecnicas de demostración de indecibilidad e inseparabilidad en teorías formales



Título de la tesis:
Tecnicas de demostración de indecibilidad e inseparabilidad en teorías formales
Autor/es:
Gallego Castaño, Enrique
Tipo de documento:
Tesis (Doctoral)
Universidad:
Universidad Complutense de Madrid
Departamento:
Departamento de Lógica y Filosofía de la Ciencia
Idioma:
Castellano
Palabras clave:
Lógica
Fecha de la defensa:
2005-05-17
Notas:
El objetivo de esta memoria es analizar las tecnicas para la demostracion de la indecidibilidad de las teorias que aparecen habitualmente en Matematicas: teoria de grupos, teoria de anillos, teoria de grafos, etc. Los teoremas fundamentales de indecidibilidad se obtuvieron en la decada de 1930 por Church, TuringG, Godel y Rosser. Posteriormente se obtuvieron nuevos resultados de indecidibilidad utilizando la idea de Tarski de interpretar unas teorias en otras. Revisamos los conceptos fundamentales y presentamos formas refinadas de los principales resultados. Pero el metodo de Tarski no es adec...
Valoración:


Danos tu valoración:
1 2 3 4 5 6 7 8 9 10




Tesis y otros documentos relacionados

Añade un enlace nuestro
en tu blog, sitio web o foro



Tesis Doctorales, Proyectos de fin de carrera, Monografías, Artículos, Ponencias y otros documentos y recursos educativos.
© Tesisde.org 2010 - Terminos y Condiciones | Contáctenos

eXTReMe Tracker