400px zenon2

Fundamentos de las Matemáticas

  • Aristoteles
    384 BCE

    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.
  • Brahmagupta
    590

    Brahmagupta

    Dijo que 0/0=0
  • Bhaskara
    1114

    Bhaskara

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

    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.