Saltar al contenido principal
Library homepage
 

Text Color

Text Size

 

Margin Size

 

Font Type

Enable Dyslexic Font
LibreTexts Español

Apéndice C: Biografías

( \newcommand{\kernel}{\mathrm{null}\,}\)

  • 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) .

Support Center

How can we help?