La logica

By fer_delcid
  • 400 BCE

    Antigua Grecia

    Platon: 427-347 a.C
    Sostiene la existencia de dos mundos: el de las ideas y el mundo de los objetos fisicos. Aristoteles: 384-332 a.C
    Es considerado el fundador de la logica. La definia como "la ciencia que estudia los razonamientos correctos", por lo que la entendía como un instrumento al servicio de las demas ciencias. Euclides: 300 a.C
    Autor de la obra Elementos. Uno de los textos matematicos mas relevantes de la historia del pensamiento cientifico hasta el siglo XIX.
  • Period: to

    Rene Descartes

    Filosofo y matematico francés, parte de la duda universal como principio y prescinde de cualquier conocimiento previo que no quede demostrado por la evidencia con que ha de manifestarse el espiritu. Descartes duda de toda enseñanza recibida, de todo conocimiento adquirido, del tetstimonio de los sentidos e incluso de las verdades de orden racional. Llegado a este punto, halla una verdad de la que no puede dudar: la evidencia interior que se manifiesta en su propio sujeto "pienso, luego existo".
  • Period: to

    Isaac Newton

    A Isaac Newton se le debe el descubrimiento de la gravitacion universal, el desarrollo del cálculo infinitesimal e importantes descubrimientos sobre óptica, asi como las leyes que rigen la mecánica clásica que alimentaría el nacimiento de la mecánica cuántica. Su obra fundamental, Principios matemáticos de la filosofia natural.
  • Period: to

    Gottfried W. Leibniz

    Fundó ka Academia de Ciencias de Berlín, 1700. En Discurso sobre el arte combinatorio enuncia la necesidad de un lenguaje riguroso, exacto y universal puramente formal. Como matemático, su principal trabajo publicado en 1684 es la mamoria Nuevo método para la determinación de los maximos y los mínimos, en la que expone las ideas fundamentales del cálculo infinitesimal, anticipándose unos años a Newton. Introdujo el símbolo de integral y de diferencial de una varibale.
  • Period: to

    Nikolai I. Lobachevsky

    Funda la Geometría No Euclidiana y renueva por ello los fundamentos que hasta ese momento cimentaban la ciencia de la Geometría. Lobachevsky lleva a cabo su revolución en el planteamiento que hasta entonces había utililzado la ciencia Matemática para resolver el enigma del quinto postulado de Euclides que a su vez sirve la puerta a Lobachevsky para adentrarse en los renovados campos de lo fisico y lo real.
  • Period: to

    George Boole

    Aplica el cálculo matemático a la lógica, fundando el álgebra de la lógica. En cierto modo realiza el sueño de de Leibniz de una characteristica universalis o cálculo del raciocinio. El empleo de simbolos y reglas operatorias adecuadas permite representar conceptos, ideas y razonamientos mediante variables y relaciones entre ellas. Boole dio un método general para formalizar la inferencia deductiva.
  • Period: to

    Friedrich G. Frege

    Junto con Boole y Peano, el matemático y lógico Friedrich G. Frege, partiendo del análasis de los fundamentos de la matemática lleva a cabo la mas profunda renovación y desarrollo de la lógica clásica hasta el momento. Es el primero en introducir los cuantificadores u operadores y en elaborar una Teoría de la Cuantificación.
  • Period: to

    Guiseppe Peano

    La enunciacón de los principios del italiano Guiseppe Peano, aceca de lógica matemática y su aplicación práctica quedaron contenidos en su obra Formulaire de mathematiques. Los axiomas de Peano permiten definir el conjunto de los números naturales.
  • Period: to

    Bertrand Rusell

    Uno de los creadores de la logística y uno de los pensadores de mayor influencia en la filosofía cientifíca contemporánea. Lo fundamental en su obra es su aportación a la lógica. Antiaristotélico por excelencia llego a afirmar que para iniciarse en logica lo basico era no estudiar la logica de Aristoteles.

  • Revolución Digital

    Matemático y Lógico pionero en Teoría de la computación que contribuye a importantes análisis lógicos de los procesos computacionales. Las especificaciones para la computadora abtracta que el idea -conocida como Maquina de Turing-. resulta ser una de sus mas importantes contribuciones a la teoría de la computación.
  • Period: to

    Revolución Digital

    Esta revolución se inicia con la invención de la computadora digital y el acceso universal a las redes de alta velocidad. Turing relaciona lógica y computación antes que cualquier computadora precese datos. Welner funda la ciencia de la Cibernética.En las Escuelas medernas de computación estan presentes Lógicos que han permitido avances importantes como Hoare que presenta un sistema axiomático de los sistemas de programación y Dijkstra con un sistema de verificación y deducción de programas.
  • Period: to

    Kurt Gödel

    Kurt Gödel aporta multiples contribuciones a la lógica matemática, destacando la demostración de la consistencia de la hipótesis cantariana del continuo y el teorema y prueba de incompletez semántica.