Saltar al contenido principal
Library homepage
 
LibreTexts Español

Apéndice C: Biografías

  • Page ID
    103484
  • \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \) \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)\(\newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\) \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\) \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\) \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\) \( \newcommand{\Span}{\mathrm{span}}\) \(\newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\) \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\) \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\) \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\) \( \newcommand{\Span}{\mathrm{span}}\)\(\newcommand{\AA}{\unicode[.8,0]{x212B}}\)

    • C.1: Georg Cantor
      Georg Cantor es conocido por su trabajo en teoría de conjuntos, y se le atribuye la fundación de la teoría de conjuntos como una disciplina de investigación distintiva.
    • C.2: Iglesia de Alonzo
      Alonzo Church desarrolló una teoría de la calculabilidad efectiva, el cálculo lambda, independientemente del desarrollo de Alan Turing de la máquina Turing. También demostró lo que ahora se conoce como Teorema de la Iglesia: El problema de la decisión para la validez de fórmulas de primer orden es irresoluble.
    • C.3: Gerhard Gentzen
      Gerhard Gentzen es conocido principalmente como el creador de la teoría de la prueba estructural, y específicamente la creación de los sistemas de prueba de deducción natural y cálculo secuente.
    • C.4: Kurt Gödel
      La tesis de Kurt Gödel demostró el teorema de integridad de la lógica predicada de primer orden con identidad. Apenas un año después, obtuvo sus resultados más famosos: el primer y segundo teoremas de incompletitud.
    • C.5: Emmy Noether
      Aclamada como la “madre del álgebra moderna”, Noether hizo contribuciones innovadoras tanto a las matemáticas como a la física, a pesar de importantes barreras para la educación de las mujeres.
    • C.6: Bertrand Russell
      Bertrand Russell es aclamado como uno de los fundadores de la filosofía analítica moderna.
    • C.7: Alfred Tarski
      Tarski completó algunos de sus trabajos más importantes mientras trabajaba como profesor de secundaria en Varsovia. Su trabajo sobre la consecuencia lógica y la verdad lógica fueron escritos durante este tiempo.
    • C.8: Alan Turing
      Alan Turing es considerado el padre de la informática teórica. Desarrolló (lo que ahora se llama) la máquina Turing como un intento de definir con precisión la noción de una función computable y demostrar la indecibilidad del problema de decisión.
    • C.9: Ernst Zermelo
      Los logros matemáticos más celebrados de Ernst Zermelo incluyen la introducción del axioma de elección y su axiomatización de la teoría de conjuntos.


    This page titled Apéndice C: Biografías is shared under a CC BY license and was authored, remixed, and/or curated by Richard Zach et al. (Open Logic Project) .