Andrei Markov

Un libro clásico del matemático soviético que explora en profundidad la teoría de las máquinas de Turing y su papel en la computabilidad, presentando una perspectiva diferente a la occidental predominante.

Explora el análisis matemático desde una perspectiva constructivista, donde la existencia de un objeto se demuestra construyéndolo, en contraste con los métodos clásicos que pueden invocar el axioma de elección.

Un trabajo fundamental sobre la teoría de las funciones recursivas y los algoritmos normales, desarrollando la formalización de la computabilidad desde una perspectiva rusa que influyó en la matemática constructiva.