Resumen en español

Se presenta un análisis histórico, matemático y epistemológico del argumento diagonal desde su génesis en la demostración de la no numerabilidad de R por Cantor en 1891 hasta su incorporación en la teoría de categorías por Lawvere en 1969. Además, se analizan diversos marcos teóricos que dan cuenta de la objetivación de procedimientos. Dicho análisis tiene como objeto mostrar que el argumento diagonal, en tanto que es un procedimiento matemático influyente en resultados de alto relieve en las matemáticas, es en efecto un objeto matemático. Es decir, que constituye un objeto de estudio e investigación. Para tal efecto, el análisis epistemológico sobre la objetivación de procedimientos se apoya fuertemente en el análisis histórico de la génesis y desarrollo de la diagonalización.