Actividad 4

Ejemplos de teora:
-Los antiguos griegos la utilizaron cuando desarrollaron el mtodo axiomtico y
estudiaron los criterios formales del razonamiento.
-La invencin de Napier de los logaritmos.
-Los trabajos de Galileo.
-Las investigaciones de Boole.
-Lievniz en la investigacin de la aritmtica binaria.
-La utilizacin de Von Neumann de los trabajos de Gdel y Turing.
-Kurt Gdel en 1931 al trabajar en un documento sobre lenguajes formales basados en
operaciones aritmeticas.

Ejemplos de abstraccin:
-Los antiguos griegos la utilizaron cuando consideraron el razonamiento ordinario,
observaron sus patrones y formularon otros nuevos.
-Los babilonios y egipcios la utilizaron al definir estndares de problemas, tales como el
del inters compuesto.
-La introduccin al algebra de Vite, expresando problemas de forma simblica.
-Los trabajos de Galileo.
-Las investigaciones de Boole.
-La idea de Leibniz respecto a la posibilidad de reducir el razonamiento a la realizacin
de caculos.
-Las propuestas de Gdel y Turing sobre el almacenamiento del programa de
funcionamiento secuencial de procesador.
-Vannever Bush al desarrollar la teora de Memex.

Ejemplos de diseo:
-Los babilonios y egipcios lo utilizaron para desarrollar mtodos que resolvieran
problemas tales como el del inters compuesto.
-La regla de clculo.
-Los esfuerzos de Schikard y Pascal para construir maquinas capaces de calcular.
-Los desarrollos de Babbage.
-La construccin de la rueda de Leibniz.
-Leonardo Torres Quevedo al construir un autmata capaz de jugar al ajedrez en 1912.
-Konrad Zuse crea la primera maquina programable y completamente automtica en
1941.