Diferencia entre revisiones de «Matemáticas/Lógica/Historia»

Contenido eliminado Contenido añadido
Línea 6:
== Tiempos Modernos ==
 
La Lógica Matemática se desarrolla a partir del siglo XIX con los trabajos de George Boole [http://www-history.mcs.st-andrews.ac.uk/history/Biographies/Boole.html George Boole]
(1815-1868),
(1815-1868), Auguste de Morgan [http://www-history.mcs.st-andrews.ac.uk/history/Biographies/De_Morgan.html Auguste de Morgan](1806--1871) y [http://www-history.mcs.st-andrews.ac.uk/history/Biographies/Dodgson.html Lewis Carroll ](1832-1898). A inicios del siglo XX, los trabajos de David HIlbert (1862-1943) y Bertrand Russell
(1872--1970) dieron un gran impuso al estudio de la Lógica Matemática.
Posteriormente, los trabajos de Alan Turing (1912--1954) unieron la Lógica con