Portada de Elementos de la teoría de algoritmos

Elementos de la teoría de algoritmos

por Fiodor Evgenievich Tarasov · 2005

Sinopsis

Este texto ruso presenta los fundamentos de la teoría de algoritmos y la complejidad computacional, incluyendo las construcciones esenciales de máquinas de Turing y la lógica matemática, con un enfoque riguroso.

Sé el primero en valorar este libro.

Libros similares

Libros relacionados según distintos criterios de búsqueda

La ecuación D'Alembert-Lagrange en la física moderna: Introducción al cálculo de variaciones

Sergei L. Sobolev·1962·no ficcion

Aunque ambos tratan temas matemáticos fundamentales, el libro de Tarasov se enfoca en algoritmos discretos, mientras que el de Sobolev se adentra en el cálculo de variaciones y sus aplicaciones en física continua. La conexión es la conceptualización de los fundamentos teóricos que subyacen a sistemas complejos, pero desde disciplinas y perspectivas matemáticas diferentes a las esperadas de un texto sobre algoritmos.

Historia de los autómatas

Derek de Solla Price·1964·no ficcion

Mientras que Tarasov aborda la teoría de algoritmos desde una perspectiva matemática y computacional abstracta, Price contextualiza históricamente la idea de sistemas automáticos y sus principios. La conexión 'nonobvious' radica en la exploración de las raíces y la evolución de la noción de 'algoritmo' encarnada en máquinas físicas, en lugar de su formalización teórica, ofreciendo un contrapunto humanístico a la abstracción matemática.

Gödel, Escher, Bach: Un Eterno y Grácil Bucle

Douglas Hofstadter·1979·divulgacion

Ambos libros, aunque en formatos y dominios distintos, se sumergen en la estructura subyacente del pensamiento y los sistemas. Mientras Tarasov formaliza la ejecución de tareas a través de algoritmos, Hofstadter explora cómo los principios lógicos y formales subyacen a fenómenos complejos como la inteligencia y la creatividad, compartiendo la búsqueda de una 'gramática' fundamental de la organización y el razonamiento. La conexión filosófica es la exploración de los límites y posibilidades de los sistemas formales.

Una breve historia de la infalibilidad

Alain Badiou·1998·filosofia

El libro de Tarasov establece cómo construir sistemas algorítmicos 'infalibles' para resolver problemas computacionales. Badiou, en contraste, aborda la idea de 'infalibilidad' desde una perspectiva filosófica, explorando cómo los sistemas de pensamiento buscan su propia certeza y cuáles son las limitaciones intrínsecas a esta búsqueda. Ambos confrontan la cuestión de la fiabilidad y la construcción de la verdad, uno desde la programación y el otro desde la teoría crítica, pero con una resonancia profunda sobre la arquitectura del conocimiento.

Teoría de los algoritmos y los problemas insolubles

Boris Abramovich Trakhtenbrot·1960·no ficcion

Comparte con Tarasov no solo el campo de estudio (teoría de algoritmos) sino también el origen geográfico e intelectual (matemáticos rusos del siglo XX). Trakhtenbrot es menos conocido en el mundo anglosajón, a pesar de sus contribuciones esenciales a la complejidad computacional y la lógica matemática, ofreciendo una perspectiva complementaria y original a la presentada por Tarasov.

El algoritmo universal

Andrei Nikolaevich Kolmogorov·1965·no ficcion

Kolmogorov es una figura central en las matemáticas rusas, contemporáneo y colega de muchos que influenciaron a Tarasov. Su trabajo sobre la complejidad algorítmica es un pilar de la teoría de la información y la computación, que aunque tangencial a la teoría de algoritmos desde una perspectiva más práctica, ofrece una conexión profunda y menos explorada en el panorama occidental. Su enfoque radicalmente diferente a la 'comprensión' de los algoritmos lo hace un 'obscure' pero crucial complementario.

La estructura de las revoluciones científicas

Thomas S. Kuhn·1962·ensayo

El libro de Tarasov, al presentar los 'elementos' de una teoría, establece un paradigma para entender los algoritmos. Kuhn, por su parte, analiza cómo se construyen, se aceptan y eventualmente se sustituyen estos paradigmas en la ciencia. La conexión estructural no es por el contenido, sino por el enfoque en la arquitectura fundamental de un campo de conocimiento, la manera en que se codifican sus principios y se construyen sus 'elementos' para que funcionen como un sistema coherente.

Una filosofía de la computación

Herman Tavani·2011·filosofia

Mientras Tarasov construye una teoría de los algoritmos desde sus bases técnicas, Tavani deconstruye la computación desde una perspectiva filosófica, analizando la estructura lógica y moral de sus componentes. La conexión estructural se da en el análisis de los 'elementos' constituyentes, ya sean técnicos (en Tarasov) o conceptuales y éticos (en Tavani), para formar un entendimiento completo de un dominio. Ambos descomponen un campo complejo en sus unidades fundamentales, aunque con propósitos y metodologías distintas.

Ayúdame a que yoleo sea sostenible