Diferencia entre revisiones de «Matemáticas/Lógica/Historia»
Contenido eliminado Contenido añadido
Línea 8:
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 Alan Turing (1912--1954) unieron la Lógica con
las Computadoras. El desarrollo de la Informática ha esta desde entonces muy
Línea 17 ⟶ 18:
Detalles biográficos en
[http://www-history.mcs.st-andrews.ac.uk/history/Biographies/ Mc_Tutor_Universidad_de_San_Andrés]
▲http://www-history.mcs.st-andrews.ac.uk/history/Biographies/Hilbert.html
| |||