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
[http://www-history.mcs.st-andrews.ac.uk/history/Biographies/Boole.html George Boole]
(1815-1868),
[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
[http://www-history.mcs.st-andrews.ac.uk/history/Biographies/Hilbert.html David Hilbert] (1862-1943) y [http://www-history.mcs.st-andrews.ac.uk/history/Biographies/Russell.html Bertrand Russell] (1872--1970) dieron un gran impuso al estudio de la Lógica Matemática.
Posteriormente, los trabajos de
David Hilbert] (1862-1943) y [http://www-history.mcs.st-andrews.ac.uk/history/Biographies/Russell.html Bertrand Russell] (1872--1970) dieron un gran impuso al estudio de la Lógica Matemática.
Posteriormente, los trabajos de[http://www-history.mcs.st-andrews.ac.uk/history/Biographies/Turing.html Alan Turing] (1912--1954) unieron la Lógica con
las Computadoras. El desarrollo de la Informática ha esta desde entonces muy
ligado a la Lógica Matemática, especialmente con referencia a la Inteligencia