Grupos de atutomorfismos de predicados computablemente enumerables y endomorfismos de numeraciones

• Autores: Elías Fernández Combarro Álvarez
• Directores de la Tesis: Consuelo Martínez López (dir. tes.)
• Lectura: En la Universidad de Oviedo ( España ) en 2001
• Idioma: español
• Tribunal Calificador de la Tesis: José María Barja Pérez (presid.), Benjamín Dugnol Álvarez (secret.), Andrei Morozov (voc.), Antonio Bahamonde Rionda (voc.), César Luis Alonso González (voc.)
• Materias:
  • Lógica
    • Lógica deductiva
      • Funciones recursivas
  • Matemáticas
    • Álgebra
      • Grupos, generalidades
• Texto completo no disponible (Saber más ...)
• Resumen

  • En esta memoria se usan conceptos algebraicos para estudiar objetos de la teoria de la computabilidad, Asi, se construyen numeraciones (es decir, codificaciones de conjuntos mediante numeros naturales cuyo semigrupo de endomorfismos es minimo en algun sentido y se caracterizan las numeraciones negativas mediante una clase de sistemas de ecuaciones.

    Tambien se estudian los automorfismos de la funcion universal computable, mostrando que todos ellos son recursivos.