C.4: Kurt Gödel
- Page ID
- 103508
\( \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}}\)
\( \newcommand{\vectorA}[1]{\vec{#1}} % arrow\)
\( \newcommand{\vectorAt}[1]{\vec{\text{#1}}} % arrow\)
\( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vectorC}[1]{\textbf{#1}} \)
\( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)
\( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)
\( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)Kurt G ö del (ger -dle) nació el 28 de abril de 1906 en el Br ü nn en el imperio austrohúngaro (ahora Brno en la República Checa). Debido a su naturaleza inquisitiva y brillante, el joven Kurtele a menudo fue llamado “Der kleine Herr Warum” (Little Mr. Why) por su familia. Destacó en académicos desde la primaria en adelante, donde obtuvo menos que el grado más alto sólo en matemáticas. G ö del a menudo estaba ausente de la escuela debido a la mala salud y estaba exento de educación física. Se le diagnosticó fiebre reumática durante su infancia. A lo largo de su vida, creía que esto afectaba permanentemente su corazón pese a que la valoración médica decía lo contrario
G ö del comenzó a estudiar en la Universidad de Viena en 1924 y completó sus estudios de doctorado en 1929. Primero pretendía estudiar física, pero sus intereses pronto pasaron a las matemáticas y sobre todo a la lógica, en parte debido a la influencia del filósofo Rudolf Carnap. Su disertación, escrita bajo la supervisión de Hans Hahn, demostró el teorema de integridad de la lógica predicada de primer orden con identidad (Gödel, 1929). Apenas un año después, obtuvo sus resultados más famosos: el primer y segundo teoremas de incompletitud (publicados en Gödel 1931). Durante su estancia en Viena, G ö del estuvo muy involucrado con el Círculo de Viena, un grupo de filósofos con mentalidad científica que incluía a Carnap, cuya obra estuvo especialmente influenciada por los resultados de G ö del.
En 1938, Gödel se casó con Adele Nimbursky. Sus padres no estaban contentos: no sólo era seis años mayor que él y ya se divorciaba, sino que trabajaba como bailarina en una discoteca. Las presiones sociales no afectaron a G ö del, sin embargo, y permanecieron felizmente casados hasta su muerte.
Después de que la Alemania nazi anexara Austria en 1938, G ö del y Adele emigraron a Estados Unidos, donde asumió un cargo en el Instituto de Estudios Avanzados de Princeton, Nueva Jersey. A pesar de su introversión y naturaleza excéntrica, el tiempo de G ö del en Princeton fue colaborativo y fructífero. Publicó ensayos en teoría de conjuntos, filosofía y física. En particular, entabló una amistad particularmente fuerte con su colega de la IAS, Albert Einstein.
En sus últimos años, la salud mental de G ö del se deterioró. La hospitalización de su esposa en 1977 significó que ya no era capaz de cocinarle sus comidas. Habiendo sufrido problemas de salud mental a lo largo de su vida, sucumbió a la paranoia. Muertuosamente temeroso de ser envenenado, G ö del se negó a comer. Murió de inanición el 14 de enero de 1978, en Princeton.
Lectura adicional
Para una biografía completa de la vida de G ö del, véase John Dawson (1997). Para más piezas biográficas, así como ensayos sobre las contribuciones de G ö del a la lógica y la filosofía, ver Wang (1990), Baaz et al. (2011), Takeuti et al. (2003), y Sigmund et al. (2007).
La tesis doctoral de G ö del está disponible en alemán original (Gödel, 1929). El texto original de los teoremas de incompletitud es (Gödel, 1931). Todos los escritos publicados e inéditos de Gödel, así como una selección de correspondencia, están disponibles en inglés en su Collected Papers Feferman et al. (1986, 1990).
Para un tratamiento detallado de los teoremas de incompletitud de G ö del, ver Smith (2013). Para una discusión informal y filosófica de los teoremas de G ö del, véase el podcast de Mark Linsenmayer (Linsenmayer, 2014).