Fundamentos de las Matemáticas

Timeline created by david22aa
In History
  • -384 BCE

    Aristoteles

    Aristoteles
    Aristóteles puso atención en el significado del infinito, dio una definición y rechazó el infinito por sus contradicciones. Creador de la lógica tal y como es hoy.
  • 590

    Brahmagupta

    Brahmagupta
    Dijo que 0/0=0
  • 1114

    Bhaskara

    Bhaskara
    Dijo que 1/0 es igual a infinito.
  • 1564

    Galileo Galilei

    Galileo Galilei
    consideró comparar conjuntos infinitos, por medio de una equiparación de sus elementos
  • John Wallis

    John Wallis
    Primero en usar el símbolo ∞, la llamó "lazo del amor"
  • Bernard Bolzano

    Bernard Bolzano
    Definió el infinito como aquello de lo que lo finito puede ser parte pero no en su totalidad.
  • Georg Cantor

    Georg Cantor
    Demostró que hay infinitos más grandes que otros, formalizó el infinito, dio las bases de la teoría de conjuntos, propuso un conjunto que tiene infinitos puntos llamado el conjunto de cantor
  • Gottlob Frege

    Gottlob Frege
    Una figura representativa del Logicismo, fundador de la lógica matemática, inventó la simbología lógica, y buscó expresar toda la aritmética con preposiciones lógicas.
  • Henri Poincaré

    Henri Poincaré
    En 1909 negó la definición de infinito actual y dijo que infinito era la posibilidad de crear nuevos objetos sin parar. Propuso la teoría del caos
  • Giuseppe Peano

    Giuseppe Peano
    Definió axiomas que definen completamente el conjunto de los Naturales, Formalizó la aritmética sobre los naturales.
  • David Hilbert

    David Hilbert
    Una figura representativa del Formalismo, buscó proporcionar a la geometría analítica fundamentos formales y axiomáticos, dio 5 pasos para formalizar ideas o axiomas. Planteó el teorema fundamental del algebra
  • Bertrand Russell

    Bertrand Russell
    Una figura representativa del Logicismo, escribe en 1900 "Principia Mathematica" junto con Alfred North Whitehead, allí buscaron expresar todas las matemáticas por medio de preposiciones lógicas
  • Luitzen Brouwer

    Luitzen Brouwer
    Fundador de la filosofía matemática del intuicionismo, planteó el teorema del punto fijo. Demostró que solo pueden haber biyecciones en dominios de la misma dimensión, algo que Dedekind había sugerido.
  • A. Heyting

    A. Heyting
    Una figura representativa del Intuicionismo, inventó el algebra que lleva su nombre.
  • Kurt Gödel

    Kurt Gödel
    En 1931 publica un articulo donde propuso 2 teoremas de la incompletitud, estos teoremas hallan contradicciones en el trabajo de Hilbert.