Matemáticas/Lógica/Historia
La evolución de la lógica está ligada a la evolución intelectual del ser humano, ya que como ciencia del razonamiento se puede afirmar que su historia representa la historia misma del hombre. La lógica surge desde el momento en que el hombre al enfrentarse a la naturaleza empieza a observar, experimentar, deduce y razona.
El objetivo de la lógica matemática es cuestionar los conceptos y las reglas de deducción que son utilizadas en las matemáticas y esto constituye a la lógica una verdadera matemática.
Durante el periodo 600 AC hasta 300 AC se desarrollaron en Grecia los principios formales de las matemáticas, a este periodo se le llamo periodo clásico en donde sus principales representantes son: Platón que el introdujo sus ideas y abstracciones; Aristóteles que presento el razonamiento ductivo y sistemático y Euclides que fue el que tuvo mayor influencia ya que este estableció el método axiomático.
Tiempos Modernos
[editar]La Lógica Matemática se desarrolla a partir del siglo XIX con los trabajos de George Boole (1815-1868), Auguste de Morgan(1806--1871) y 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 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 Artificial:
Detalles biográficos en Mc_Tutor_Universidad_de_San_Andrés