Historia Logica Computacional

G. Frege, uno de los fundadores de la l´ogica simb´olica moderna, fue el primero en intentar desarrollar la tesis del logicismo: las matem´aticas son reducibles a la l´ogica.
Raimundo Lulio sugiri´o en 1272 la existencia de una m´aquina que produjera todo el conocimiento (incluso intent´o construirla).
1. Leibniz, en 1660, sugirió la idea de ordenar las verdades lógicas, la base misma de la definición de demostración formal.
  1. Boole en 1854 señaló la analogía entre operaciones algebraicas y operaciones lógicas, incorporando así la lógica a las matemáticas, al reducir la lógica al álgebra (álgebras de Boole).
    1. El teorema de Herbrand, 1930, es el fundamento mismo de la demostraci´on autom´atica de teoremas.
J.A. Robinson, 1960, introdujo el principio de resoluci´on, un m´etodo de decisi´on mucho m´as eficiente que los existentes hasta la fecha.
1. A partir de los años 50 una parte importante de la investigación en lógica se centra en el estudio de sus aplicaciones en computación, en particular como herramienta de programación

Zusammenfassung der Ressource

	Erstellt von wendysesshomaru1 vor mehr als 9 Jahre