Ambos libros analizan las bases teóricas de la computación, profundizando en los conceptos fundamentales como la máquina de Turing y sus implicaciones.
Sobre la Computabilidad y los Fundamentos de las Matemáticas
por Andrey Kolmogorov · 1953
Ver sugerenciasSinopsis
Una colección de ensayos e investigaciones del influyente matemático soviético Andrey Kolmogorov, explorando los límites teóricos de lo computable y la noción de complejidad de los algoritmos en un sentido fundamental.
Sé el primero en valorar este libro.
Más de Andrey Kolmogorov
Ver autor →Otras obras del mismo autor en el catálogo
Libros similares
Libros relacionados según distintos criterios de búsqueda
Este ensayo establece una conexión directa con la noción de complejidad de Kolmogorov, explorando el concepto de información y su representación algorítmica.
La obra de Márkov discute la formalización de algoritmos, un tema central en el análisis de la computabilidad que Kolmogorov también aborda.
Matiyasevich centra su estudio en problemas indecidibles, un área crucial de la lógica matemática que complementa las investigaciones sobre límites computacionales de Kolmogorov.
Este libro reitera los principios de la teoría de la información y la complejidad algoritmica, áreas exploradas en profundidad por Kolmogorov en su colección de ensayos.
Kolmogorov presenta aquí una visión constructivista en lógica, que coincide con su enfoque rigoroso y sistemático hacia los fundamentos matemáticos en su obra referencial.