Efectividad, computación y máquinas

JAVIER BLANCO; DARÍO SANDRONE; PIO GARCÍA

Salamanca

Congreso; IV Congreso Iberoamericano de Filosofía de la Ciencia y la Tecnología; 2017

Robin Gandy (1988) daba cuenta de la convergencia de ideas que en 1936 dio lugar a la caracterización de lo efectivo por parte de Turing para resolver (negativamente) el Entscheidungsproblem planteado por Hilbert (es decir, la existencia de una máquina que pudiera determinar mecánicamente si una fórmula era o no un teorema aritmético). Esta convergencia tenía al menos dos grandes corrientes, la de la lógica matemática y la de los mecanismos. Parcialmente conocidas por Turing, nos encontramos con dos tradiciones provenientes del siglo XIX respecto de la concepción de la máquina como objeto de estudio, susceptible de ser estudiada en sí misma, sin reducirla a sus propósitos humanos. Por un lado, podemos encontrar la concepción basada en una teoría de la acción técnica, por otro, la que se funda sobre una teoría de los mecanismos objetivos, con fundamentación matemática propia. En ambos casos, se concebía la posibilidad de encontrar los elementos básicos constituyentes de toda máquina existente, con independencia de su configuración y función práctica.Las dos tradiciones consideradas sustentan la separación analítica entre las dos miradas contrapuestas acerca de la tesis de Church-Turing. La confluencia de ideas en 1936 se replica hoy con una confluencia tecnológica: casi toda máquina compleja actual incorpora componentes programables, cualquier posible ?reducción? a mecanismos elementales se encontrará, en última instancia, con una reducción a elementos programables. Los trabajos de Turing y Gandy (y las revisiones de varios autores, por ejemplo Sieg) muestran un camino promisorio pero inexplorado.