Images

pensadores de la logica

  • Period: 569 BCE to 475 BCE

    Pitagoras

    fue un filósofo y matemático griego, considerado el primer matemático puro. Contribuyó de manera significativa en el avance de la matemática helénica, la geometría y la aritmética derivada particularmente de las relaciones numéricas, aplicadas por ejemplo a la teoría de pesos y medidas, a la teoría de la música o la astronomía.
  • Period: 532 BCE to 484 BCE

    Heráclito de Éfeso

    La obra de Heráclito es netamente aforística. Su estilo remite a las sentencias del Oráculo de Delfos y reproduce la realidad ambigua y confusa que explica, usando el oxímoron y la antítesis para dar idea de la misma.
  • Period: to

    Immanuel Kant

    fue un filósofo prusiano de la Ilustración. Es el primero y más importante representante del criticismo y precursor del idealismo alemán y está considerado como uno de los pensadores más influyentes de la Europa moderna y de la filosofía universal.
  • Period: to

    Augustos De Morgan

    fue un matemático y lógico nacido en la India. Profesor de matemáticas en el Colegio Universitario de Londres entre 1828 y 1866; primer presidente de la Sociedad de Matemáticas de Londres. De Morgan se interesó especialmente por el álgebra.
  • Period: to

    George Boole

    Matemático británico.fundó su propia escuela de enseñanza elemental,, y desarrolló un álgebra propia, que aplicó a la lógica, sosteniendo que ésta debería ser una rama de las Matemáticas, en lugar de la Filosofía.
  • Period: to

    Gottlob Frege

    rege fue un defensor del logicismo, la tesis de que las matemáticas son reducibles a la lógica, en el sentido de que las verdades de la matemática son deducibles de las verdades de la lógica. Sin embargo su defensa del logicismo era de alcance limitado, aplicándola sólo a la aritmética y a la teoría de conjuntos, puesto que Frege permaneció en gran medida kantiano respecto de la geometría.
  • Period: to

    David Hilbert

    proponía desarrollar la matemática formalmente, partiendo de un sistema de axiomas, y mediante el uso de las reglas de inferencia de la lógica clásica. Por otra parte se demostraría la consistencia de la teoría obtenida de esa manera
  • Period: to

    Alan Turing

    creador de la Automatic Digital Machine que por primera vez permitió realizar cálculos mecanizados mediante el empleo de algoritmos.