OZYMANDIAS. El terror a la máquina pensante - David Berdugo Gutiérrez
OZYMANDIAS. El terror a la máquina pensante Introducción a la filosofía computacional David Berdugo Gutiérrez Maestría Universidad del Valle dberdugog@gmail.com La presente exposición versa sobre el desarrollo de la computación y su relación con los estudios en lógica, a través de la filosofía. Nuestro punto de partida es lo que llamaremos como “el sueño de Leibniz”, donde mencionaremos algunos puntos inconclusos de los estudios de G. Leibniz sobre la nomenclatura binaria y la construcción de la máquina de cálculo y la su proyección de la maquina universal. En un segundo momento nuestra disertación se dirigirá hacia la tesis del Logicismo y su desarrollo por parte de Boole, Godel y Turing. Entre los problemas matemáticos que se cuentan, nos ocuparemos del problema de la decisión (Entscheidungsproblem) sobre el que trabajó Alan Turing y la formulación de un nuevo concepto de computación. Finalmente concluiremos con los desarrollos e incidencias d...
