Kurt Gödel

De la Wikipedia, enciclopedia liberă
Jump to navigation Jump to search
Kurt Gödel
1925 kurt gödel.png
Date personale
Născut[1][2][3][4][5] Modificați la Wikidata
Brno, Austro-Ungaria[6] Modificați la Wikidata
Decedat (71 de ani)[1][7][2][3][4][5] Modificați la Wikidata
Princeton, New Jersey, SUA[8] Modificați la Wikidata
Înmormântatcimitirul Princeton[*] Modificați la Wikidata
Căsătorit cuAdele Gödel[*] Modificați la Wikidata
CetățenieFlag of the United States.svg SUA
Flag of Austria.svg Austria
Flag of Austria-Hungary (1869-1918).svg Austro-Ungaria
Flag of Bohemia.svg Prima Republică Cehoslovacă Modificați la Wikidata
Religiecreștinism Modificați la Wikidata
Ocupațiematematician
filozof
profesor universitar
informatician Modificați la Wikidata
Activitate
Domeniuteoria mulțimilor
logică matematică  Modificați la Wikidata
Număr ErdősModificați la Wikidata
InstituțieUniversitatea Princeton
Universitatea din Viena
Universitatea Notre Dame
Institute for Advanced Study  Modificați la Wikidata
Alma MaterUniversitatea din Viena  Modificați la Wikidata
OrganizațiiSocietatea Regală din Londra
Academia Americană de Arte și Științe[*]
Academia Franceză de Științe[9]  Modificați la Wikidata
Conducător de doctoratHans Hahn[*][10]  Modificați la Wikidata
SocietățiSocietatea Regală din Londra
Academia Americană de Arte și Științe[*]
Academia Franceză de Științe[9]  Modificați la Wikidata
PremiiMedalia Națională pentru Știință a Statelor Unite[*] ()
Josiah Willard Gibbs Lectureship[*] ()
Albert Einstein Award[*] ()
Honorary doctor of the Princeton University[*]
Honorary doctor of the University of Vienna[*]
Albert Einstein World Award of Science[*] ()
doctor honoris causa ()[11]  Modificați la Wikidata
Semnătură
Kurt Gödel signature.svg

Kurt Gödel (n. ,[1][2][3][4][5] Brno, Austro-Ungaria[6] – d. ,[1][7][2][3][4][5] Princeton, New Jersey, SUA[8]) a fost un logician, matematician și filozof austriac care în 1940 a emigrat în SUA, unde a activat în continuare, fiind considerat matematician american.

Biografie[modificare | modificare sursă]

S-a născut în Austro-Ungaria, într-o familie de etnie germană. Tatăl său, proprietar al unei fabrici de textile era catolic, iar mama protestantă. Copilul a fost botezat în religia mamei sale, iar la vârsta de 12 ani, după prăbușirea imperiului, devine cetățean cehoslovac, dar la 23 de ani solicită cetățenia austriacă. În 1938, când Germania nazistă a anexat Austria, Gödel devine cetățean german.

Încă din tinerețe s-a dovedit avid pentru cunoaștere și deși, era pasionat pentru limbi străine, la 18 ani intră la Universitatea de la Viena, unde studiază matematica și filozofia. Participând la un seminar al lui Moritz Schlick, unde se studia Introduction to Mathematical Philosophy a lui Bertrand Russell, devine interesat de logica matematică. Ulterior avea să declare că acest domeniu este „o știință deasupra tuturor, care conține ideile și principiile care stau la baza tuturor științelor”.

Activitate științifică[modificare | modificare sursă]

Gödel are cercetări fundamentale în matematică și logică: teorema completitudinii calculului cu predicate, metoda aritmetizării meta-matematicii, teorema incompletitudinii sistemelor formale, teorema imposibilității demonstrării necontradicției sistemelor formale cu mijloacele sistemului însuși, prima definiție a funcției recursive generale.

Aceste teoreme au fost inspirate din opera logică a lui Leibniz și au arătat că rolul formalizării matematice introduse de David Hilbert este de nerealizat. Prima teoremă are însemnătate logică și conține importante implicații de ordin filozofic, fiindcă arată imposibilitatea unei formalizări complete a gândirii umane. A stabilit că în orice sistem deductiv, destul de implicat pentru a include raționamente aritmetice, există teoreme matematice care pot fi nerezilvabile în cadrul sistemului (nu pot fi nici demonstrate, nici infirmate).

Teoremele de incompletitudine ale lui Gödel pun evidență caracterul deschis al cunoașterii matematice. În prima perioadă a activității sale, Gödel a făcut parte din Cercul de la Viena. Mai târziu a criticat subiectivismul lui Russell și al altora în problemele filosofice ale logicii moderne.

Gödel a studiat și algebra logicii a lui Boole. A demonstrat că ipoteza conținutului nu vine în contradicție cu sistemul de axiome ale teoriei mulțimilor, dacă acest sistem nu este contradictoriu în sine. Ocupându-se în mod special cu dezvoltarea logicii matematice, a demonstrat că necontradicția unui formalism care include logica obișnuită și aritmetica nu poate fi realizat cu simple instrumente care se mențin în cadrul formalismului însuși. Deci în demonstrarea necontradicției aritmeticii trebuie să intervină considerații care să depășească cadrul strict finit în sens clasic.

Gödel s-a ocupat și cu teoria modelelor.

Este unul din subiectele best-seller-ului „Gödel, Escher, Bach” (1979), pentru care lui Douglas Hofstadter i s-a acordat Premiul Pulitzer.

Cu problemele abordate de Gödel s-a ocupat și matematicianul român C. Constantinescu în memoriul Semnificația rezultatelor lui Gödel pentru teoria sistemelor formale, lucrare apărută în Cercetări Filosofice nr. 2/1963.

Scrieri[modificare | modificare sursă]

  • 1931: Über formal unentscheidbare Satze der Principia Mathematica und verwandter Systeme;
  • 1939: Beweis der allgemeine Cantorschen Kontinuumvermutung mit den Zermeloschen Axiomen der Mengenlehre;
  • 1940: The consistency of the continuum hypothesis (Princeton).

Alte articole[modificare | modificare sursă]

Note[modificare | modificare sursă]

  1. ^ a b c d „Kurt Gödel”, Gemeinsame Normdatei, accesat în  
  2. ^ a b c d MacTutor History of Mathematics archive, accesat în  
  3. ^ a b c d Comité des travaux historiques et scientifiques, accesat în  
  4. ^ a b c d SNAC, accesat în  
  5. ^ a b c d Find a Grave, accesat în  
  6. ^ a b „Kurt Gödel”, Gemeinsame Normdatei, accesat în  
  7. ^ a b Autoritatea BnF, accesat în  
  8. ^ a b „Kurt Gödel”, Gemeinsame Normdatei, accesat în  
  9. ^ a b Notable Names Database 
  10. ^ Genealogia matematicienilor, accesat în  
  11. ^ http://geschichte.univie.ac.at/en/persons/kurt-goedel-prof-dr  Lipsește sau este vid: |title= (ajutor)

Legături externe[modificare | modificare sursă]