Descripción
La teoría de la computabilidad es una rama de la lógica matemática y la informática que ha adquirido una relevancia creciente en los últimos años. El campo ha desarrollado conexiones cada vez mayores en diversas áreas de las matemáticas, con aplicaciones en topología, teoría de grupos y otros subcampos.
En A Hierarchy of Turing Degrees, Rod Downey y Noam Greenberg introducen una nueva jerarquía que les permite clasificar la combinatoria de construcciones de muchas áreas de la teoría de la computabilidad, incluyendo la aleatoriedad algorítmica, los grados de Turing, los conjuntos efectivamente cerrados y la teoría de estructuras efectivas. Esta jerarquía unificadora da lugar a nuevos resultados de definibilidad natural para las clases de grados de Turing, demostrando cómo las construcciones dinámicas se reflejan en la definibilidad. Downey y Greenberg presentan numerosas técnicas de construcción que implican argumentos no uniformes de alto nivel, y su trabajo autónomo es apropiado para estudiantes de posgrado e investigadores. Al combinar resultados de investigación tradicionales y modernos en la teoría de la computabilidad, A Hierarchy of Turing Degrees establece nuevas direcciones en el campo.Autor: Rod Downey, Noam Greenberg
Editorial: Princeton University Press
Publicado: 16/06/2020
Páginas: 240
Tipo de encuadernación: Tapa blanda
Peso: 0.75 libras
Tamaño: 9.10h x 6.00w x 0.60d
ISBN13: 9780691199665
ISBN10: 0691199663
Categorías BISAC:
- Matemáticas | Lógica
- Informática | Ciencias de la Computación
- Matemáticas | Aplicadas
Acerca de los autores
Rod Downey y Noam Greenberg son profesores de matemáticas en la Universidad Victoria de Wellington en Nueva Zelanda. Downey es coautor de Parameterized Complexity, Algorithmic Randomness and Complexity y Fundamentals of Parameterized Complexity. Greenberg es el autor de The Role of True Finiteness in the Admissible Recursively Enumerable Degrees.