Kurt Gödel
Kurt Gödel (alemany: Kurt Friedrich Gödel) (Brno, 28 d'abril de 1906 - Princeton, 14 de gener de 1978) fou un matemàtic austríac-americà, un lògic profund que va desenvolupar el teorema d'incompletesa, afirmant que qualsevol sistema axiomàtic consistent prou potent per descriure l'aritmètica dels enters permet proposicions (sobre enters) que no es poden demostrar ni refutar. També va provar que la hipòtesi del continu no es pot refutar del conjunt d'axiomes de la teoria de conjunts suposant que aquests axiomes són consistents.[1]
Es pot argumentar que Kurt Gödel és el lògic més important del segle xx i un dels tres lògics més grans de la història (juntament amb Aristòtil i Gottlob Frege).
Biografia
[modifica]Kurt Friedrich Gödel va néixer el 28 d'abril de 1906, a Brno la capital de la Moràvia Austrohongaresa (actualment Brno, República Txeca) en una família d'ètnia alemanya benestant, composta per Rudolf August Gödel, home de negocis i administrador d'una fàbrica de tèxtils, i Marianne Gödel (nascuda Handschuh), una dona educada i culta que va romandre propera a Gödel durant tota la seva vida (tal com es pot observar en l'extensa correspondència entre ambdós).[2] Al moment del seu naixement la seva ciutat tenia la majoria de població de parla alemanya[3] i aquest era l'idioma dels seus pares.[4]
Gödel, que no parlava gaire txec, es va convertir automàticament en txecoslovac a l'edat de 12 anys després de la caiguda de l'Imperi Austrohongarès al final de la Primera Guerra Mundial. Posteriorment li va explicar al seu biògraf John W. Dawson que durant aquest temps se sentia com un "exiliat austríac a Txecoslovàquia" ("ein Österreicher im Exil in der Tschechoslowakei"). Va decidir convertir-se en ciutadà austríac a l'edat de 23 anys. Quan l'Alemanya nazi va annexionar Àustria Gödel automàticament es va convertir en ciutadà alemany a l'edat de 32 anys. Després de la Segona Guerra Mundial, a l'edat de 42 anys, es va convertir en ciutadà nord-americà.
A casa, al jove Kurt l'anomenaven Herr Warum (Sr. per què) a causa de la seva insaciable curiositat. L'única excepció a una infància sense incidents va ser el que a partir dels quatre anys Kurt va patir defalliments i febres reumàtiques, de les quals es va recuperar completament, però va quedar convençut per la resta de la seva vida que el seu cor havia sofert un dany permanent.
Va assistir a l'escola primària i secundària en idioma alemany a Brno de la qual es va graduar amb honors en 1923 i va sobresortir en matemàtiques, idiomes i religió. En el transcurs de la seva adolescència Kurt va estudiar, entre altres matèries, la Teoria dels colors de Goethe, crítiques d'Isaac Newton i l'obra d'Immanuel Kant.
A l'edat de 18 anys Kurt es va reunir amb el seu germà major Rudolf (nascut el 1902) i va ingressar a la Universitat de Viena. Llavors ja dominava les matemàtiques en l'àmbit universitari, i encara que al principi va pretendre estudiar física teòrica, també va assistir a cursos de filosofia impartits per Heinrich Gomperz i de matemàtiques. Durant aquest període va adoptar idees de l'empirisme matemàtic, va llegir els Metaphysische Anfangsgründe der Naturwissenschaft (Fonaments metafísics de la ciència natural) de Kant, i encara que ell mateix no va ser un positivista lògic, va participar en reunions del Cercle de Viena amb Moritz Schlick, Hans Hahn i Rudolf Carnap, sent aquests dos últims de qui va aprendre lògica. Després va estudiar també la teoria dels nombres, i va assistir a un seminari dirigit per Schlick, en el qual s'estudiava el llibre Introducció a la lògica matemàtica de Bertrand Russell, el que el va motivar a interessar per la lògica matemàtica.
El fet d'assistir a una conferència de Hilbert sobre la completesa i la consistència dels sistemes matemàtics podria haver estat el que va decidir el curs de la seva vida. El 1928 Hilbert i Wilhelm Ackermann van publicar els Grundzüge der theoretischen Logik (Principis de lògica teòrica), una introducció a la lògica de primer ordre en la qual es plantejava el problema de la completesa: "Són suficients els axiomes d'un sistema formal per a derivar cadascuna de les proposicions veritables en tots els models del sistema? " Aquest va ser el tema triat per Gödel per a la seva tesi doctoral.
El 1929, a l'edat de 23 anys, va completar la seva dissertació sota la supervisió de Hans Hahn, en la qual Gödel va establir la completesa del càlcul de predicats de primer ordre (aquest resultat es coneix ara com el teorema de completesa de Gödel). El títol de Doctor li va ser concedit el 1930 i la seva tesi, al costat de treball addicional, va ser publicada per l'Acadèmia de Ciències de Viena.[5]
Obra a Viena
[modifica]El 1931 Gödel va publicar els seus cèlebres teoremes de la incompletud en "Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme" ("Sobre proposicions formalment indecidibles de Principia Mathematica i sistemes relacionats"). En aquest article va demostrar que per a tot sistema axiomàtic computable que sigui prou poderós per a descriure l'aritmètica dels nombres naturals (els axiomes de Peano), llavors:
- Si el sistema és consistent, no pot ser complet (això generalment es coneix com el teorema de la incompletud).
- La consistència dels axiomes no es pot demostrar a l'interior del sistema.
Aquests teoremes van finalitzar mig segle d'intents acadèmics (començant amb el treball de Gottlob Frege i culminant en els Principia Mathematica i en el formalisme de Hilbert) per trobar un conjunt d'axiomes suficient per a tota la matemàtica. El teorema de la incompletud implica també que no tota la matemàtica és computable.
La idea bàsica del teorema de la incompletud és més aviat simple. Essencialment, Gödel va construir una fórmula que assegura ser no-demostrable per a cert sistema formal. Si fos demostrable, seria falsa, la qual cosa contradiu el fet que en un sistema consistent les proposicions demostrables són sempre veritables. De manera que sempre hi haurà almenys una proposició veritable però no demostrable. És a dir, per a tot conjunt d'axiomes de l'aritmètica construïble per l'home existeix una fórmula que s'obté de l'aritmètica però és indemostrable en aquest sistema. Tanmateix, per a precisar això Gödel necessitava resoldre diverses qüestions tècniques, com ara proposicions de codificació i el concepte mateix de demostrabilitat en la teoria dels nombres naturals. Això últim ho va realitzar mitjançant un procés denominat numeració de Gödel.
En el seu assaig de dues pàgines "Zum intuitionistischen Aussagenkalkül" (1932) Gödel va refutar la "valuabilidad" finita de la lògica intuicionista. En la demostració va emprar implícitament el que després es va conèixer com la lògica intermèdia de Gödel-Dummett (o Gödel fuzzy logic).
Gödel va rebre la seva habilitació a la Universitat de Viena el 1932, i el 1933 es va convertir en Privatdozent (professor no remunerat). L'ascensió de Hitler a Alemanya el 1933 va afectar poc a Gödel a Viena, ja que tenia poc interès en la política. No obstant això, es va veure molt afectat per l'assassinat de Moritz Schlick (el seu seminari havia despertat el seu interès per la lògica) a mans d'un estudiant pertorbat, incident que va resultar en el seu primer col·lapse nerviós.
Visites als Estats Units
[modifica]El 1933 Gödel va viatjar per primera vegada als Estats Units on va conèixer a Albert Einstein, amb qui va estrènyer llaços d'amistat. Va presentar una conferència a la reunió anual de la Societat Americana de Matemàtiques. En el transcurs d'aquest any Gödel també va desenvolupar idees sobre la computabilitat i la funció recursiva al punt que va presentar una conferència sobre aquestes funcions i sobre el concepte de veritat. Posteriorment, aquest treball es va desenvolupar en la teoria dels nombres, emprant la numeració de Gödel.
El 1934 Gödel va presentar una sèrie de conferències a l'Institut d'Estudis Avançats de Princeton (IAS) a Princeton, titulada Sobre les proposicions indecidibles dels sistemes matemàtics formals. Stephen Kleene, que acabava de finalitzar el seu doctorat a Princeton, va prendre notes d'aquesta conferència, les quals van ser publicades posteriorment.
Gödel visitaria l'IEA novament la tardor de 1935, però els viatges i l'intens treball l'havien extenuat i a l'any següent va caure en una depressió, i no va tornar a la docència fins al 1937. Durant aquest temps es va dedicar a la prova de consistència de l'axioma d'elecció i a la hipòtesi del continu fins a demostrar que aquestes hipòtesis no poden refutar-se des del sistema comú d'axiomes de la teoria de conjunts. Va contreure matrimoni el 20 de setembre de 1938 amb Adele Nimbursky (nascuda Porkert, 1899-1981), la qual coneixia des de feia deu anys. Els pares de Gödel s'oposaven a la relació sobre la base que es tractava d'una ballarina divorciada i sis anys més gran que ell. Mai van tenir fills.
Posteriorment va realitzar una altra visita als Estats Units, on va passar la tardor de 1938 a l'IEA i la primavera de 1939 a la Universitat de Notre Dame. Durant les seves vacances de l'IEA, Gödel i la seva dona Adele van passar l'estiu de 1942 a Blue Hill, Maine, estiu durant el qual va descobrir una prova de la independència de l'axioma d'elecció de la teoria finita de tipus.
Treball a Princeton
[modifica]Després del Anschluss el 1938, Àustria va passar a formar part de l'Alemanya Nazi. Alemanya va abolir el títol de Privatdozent, de manera que Gödel va haver de concursar a un càrrec diferent en el nou ordre. No obstant això, els seus vincles anteriors amb membres jueus del Cercle de Viena, especialment amb Hahn, pesaven en contra seu. La seva situació es va precipitar quan el van declarar apte per al servei militar, quedant en risc de ser cridat a les files de l'exèrcit alemany, raó per la qual va emigrar cap als Estats Units per assumir un càrrec docent en l'IEA.
Ràpidament va reprendre el seu treball en matemàtiques i el 1940 va publicar la seva obra Consistència de l'axioma d'elecció i de la hipòtesi del continu generalitzada amb els axiomes de la teoria de conjunts, la qual constitueix un clàssic de la matemàtica moderna. En aquest treball va introduir l'univers construïble, un model de la teoria de conjunts en el qual els únics conjunts que existeixen són aquells que poden construir-se a partir de conjunts més simples. Gödel va mostrar que tant l'axioma d'elecció (AC) i la hipòtesi del continu generalitzada (HCG) són veritables en l'univers construïble i per tant han de ser consistents amb els axiomes de Zermelo-Fraenkel per a la teoria de conjunts (ZFC). Posteriorment Paul Cohen va construir un model de ZFC en el qual AC i HCG són falsos, en conjunt aquestes demostracions signifiquen que AC i HCG són independents dels axiomes de ZFC per a la teoria de conjunts.
A finals dels anys 40, Gödel va demostrar l'existència de solucions paradoxals a les equacions de camp de la relativitat general d'Albert Einstein. Aquests "universos rotatoris" permetrien viatjar en el temps i van provocar dubtes en Einstein sobre la seva pròpia teoria. Les seves solucions es coneixen com la mètrica de Gödel (o l'Univers de Gödel).
Durant l'etapa americana, els interessos de Gödel van oscil·lar cap a la filosofia i la física. Va estudiar i admirar les obres de Gottfried Leibniz, però va arribar a la conclusió (sense evidència) que la major part del treball de Leibniz havia estat suprimida. En menor mesura també va estudiar a Kant i a Edmund Husserl.
El 1946 Gödel es va convertir en un membre permanent de l'IEA. Al voltant d'aquest període va deixar de publicar, encara que continua treballant. Es va convertir plenament en professor de l'Institut el 1955 i en professor emèrit el 1976.
El 1951 Gödel va ser reconegut (juntament amb Julian Schwinger) amb el primer Premi Albert Einstein, i també se li va lliurar la National Medal of Science el 1974.
Al principi dels 1970 Gödel va fer circular entre les seves amistats una elaboració de la demostració ontològica de Leibniz sobre l'existència de Déu, la qual es coneix ara com la demostració ontològica de Gödel.
- Kurt Gödel: My philosophical viewpoint Arxivat 2012-09-11 a Wayback Machine., c. 1960, No publicat.
- Kurt Gödel: The modern development of the foundations of mathematics in the light of philosophy Arxivat 2011-04-11 a Wayback Machine., 1961, No publicat.
Mort
[modifica]En els seus últims anys, Gödel va sofrir períodes d'inestabilitat i malaltia mental. Tenia temors obsessius de ser enverinat, i no menjava llevat que la seva esposa Adele tastés el menjar abans que ell. A finals de 1977, Adele va ser hospitalitzada durant sis mesos i no va poder continuar tastant el menjar de Gödel. En absència d'ella, es va negar a menjar, fins al punt de deixar-se morir de fam. Al moment de la seva mort pesava uns trenta quilos. El certificat de defunció a l'Hospital de Princeton, el 14 de gener de 1978, diu que va morir de "desnutrició i inanició causades per pertorbacions en la personalitat".[6]
Publicacions importants
[modifica]En alemany
- 1930, "Die Vollständigkeit der Axiome des logischen Funktionenkalküls." Monatshefte für Mathematik und Physik 37: 349–60.
- 1931, "Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme, I." Monatshefte für Mathematik und Physik 38: 173–98.
- 1932, "Zum intuitionistischen Aussagenkalkül", Anzeiger Akademie der Wissenschaften Wien 69: 65–66.
En anglès
- 1940. The Consistency of the Axiom of Choice and of the Generalized Continuum Hypothesis with the Axioms of Set Theory. Princeton University Press.
- 1947. "What is Cantor's continuum problem?" The American Mathematical Monthly 54: 515–25. Versió revisada per Paul Benacerraf i Hilary Putnam, eds., 1984 (1964). Philosophy of Mathematics: Selected Readings. Cambridge Univ. Press: 470–85.
- 1950, "Rotating Universes in General Relativity Theory." Proceedings of the international Congress of Mathematicians in Cambridge, 1: 175–81
Vegeu també
[modifica]Referències
[modifica]- ↑ «Kurt Gödel». Gran Enciclopèdia Catalana. Barcelona: Grup Enciclopèdia Catalana.
- ↑ Dawson 1997, pp. 3-4
- ↑ «1911 Encyclopædia Britannica/Brünn». [Consulta: 13 març 2008].
- ↑ Dawson 1997, p. 12
- ↑ Gödel, Kurt, 1986, Collected Works. I: Publications 1929–1936. S. Feferman, S. Kleene, G. Moore, R. Solovay, and J. van Heijenoort (eds.), Oxford: Oxford University Press.
- ↑ Toates, Frederick; Olga Coschug Toates. Obsessive Compulsive Disorder: Practical Tried-and-Tested Strategies to Overcome OCD. Class Publishing, 2002, p. 221. ISBN 978-1859590690.
Bibliografia
[modifica]- Alonso, Enrique. Sócrates en Viena (en castellà). Montesinos Ensayo, 2007. ISBN 978-84-96831-33-9.
- Crocco, Gabriella; Engelen, Eva-Maria. Kurt Gödel Philosopher-Scientist (en anglès). Presses universitaires de Provence, 2016. ISBN 9791036576850.
- Kreisel, Georg «Kurt Gödel» (en anglès). Biographical Memoirs of Fellows of the Royal Society, Vol. 26, 1980, pàg. 149-224. DOI: 10.1098/rsbm.1980.0005. ISSN: 0080-4606.
- Mosterín, Jesús (ed.). Obras completas de Kurt Gödel (en castellà). Alianza Editorial, 2006. ISBN 978-84-2064-773-9.
- van Atten, Marl; Kennedy, Juliette «On the Philosophical Development of Kurt Gödel» (en anglès). Bulletin of Symbolic Logic, Vol. 9, Num. 4, 2003, pàg. 425-476. DOI: 10.2178/bsl/1067620090. ISSN: 1079-8986.
- Wang, Hao. Reflections on Kurt Gödel (en anglès). MIT Press, 1987. ISBN 0-262-73087-1.
Enllaços externs
[modifica]- O'Connor, John J.; Robertson, Edmund F. «Kurt Gödel» (en anglès). MacTutor History of Mathematics archive. School of Mathematics and Statistics, University of St Andrews, Scotland.
- Moore, Gregory H. «Gödel, Kurt Friedrich» (en anglès). Complete Dictionary of Scientific Biography, 2008. [Consulta: 8 novembre 2021].
- Balaguer, Mark. «Kurt Gödel» (en anglès). Encyclopaedia Britannica, 2008. [Consulta: 8 novembre 2021].
- «Kurt Gödel Society» (en anglès). [Consulta: 8 novembre 2021].
- Cercle de Viena
- Matemàtics estatunidencs
- Lògics
- Persones de Brno
- Alumnes de la Universitat de Viena
- Doctors honoris causa per la Universitat de Viena
- Morts a Princeton
- Professors de la Universitat de Princeton
- Suïcides alemanys
- Doctors honoris causa per la Universitat de Princeton
- Matemàtics txecs
- Matemàtics austríacs
- Matemàtics austrohongaresos
- Filòsofs txecs
- Filòsofs austríacs
- Filòsofs alemanys
- Matemàtics alemanys
- Suïcides austríacs
- Suïcides estatunidencs
- Científics estatunidencs
- Filòsofs estatunidencs
- Morts d'inanició
- Naixements del 1906