Evolución
del concepto de algoritmo
Partiendo del capítulo de introducción
histórica de (Hermes,
1984, pp. 62-69), se recopilará información sobre:
- los orígenes del álgebra (obra de al-Khwarizmi)
- los métodos matemáticos propuestos por Raimundo Lulio (Ars Magna)
- aportaciones de Leibniz (ars inveniendi y ars
iudicandi)
- los orígenes de la lógica (obra de Boole y el Principia
Matemática)
- teoremas de completitud e incompletitud de Gödel
- modelos de cálculo de Church, Kleene, Post y Turing
Enlaces de interés:
- biografías
de matemáticos (en español)
Historia,
biografías y teorema de Gödel
Curro Basagoiti
(I.I. 2ºA), José
Gil (I.I. 2º A), Marcos
Gallo (I.T.I.S. 2ºB) y Victor Ors
(I.T.I.S. 2ºB)