Historia Logica Computacional

wendysesshomaru1
Mind Map by wendysesshomaru1, updated more than 1 year ago
wendysesshomaru1
Created by wendysesshomaru1 about 5 years ago
709
0

Description

ghjklñ
Tags

Resource summary

Historia Logica Computacional
1 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.
2 Raimundo Lulio sugiri´o en 1272 la existencia de una m´aquina que produjera todo el conocimiento (incluso intent´o construirla).
2.1 Leibniz, en 1660, sugirió la idea de ordenar las verdades lógicas, la base misma de la definición de demostración formal.
2.1.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).
2.1.1.1 El teorema de Herbrand, 1930, es el fundamento mismo de la demostraci´on autom´atica de teoremas.
3 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.
3.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
Show full summary Hide full summary

Similar

geo-historia
ego75 ego7655
PLANEACIÓN Y DESARROLLO REGIONAL
otoniel gonzalez taborda
kkExpresion oral
Luis Angel
CREATIVIDAD
Yenifer Hernandez
el mercado
eolaya165
Ser Espiritual
jbpw2199
Exposiciones de algoritmia
tkevin981
L`ART ROMÀNIC:L`ESCULTURA I PINTURA
sofia baixauli pascual
SOLIDOS
cyndacuill
Voltaje, Corriente, y Resistencia
dgonzalez
Prueba
dioca2009