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.