Sari la conținut

Kurt Gödel

De la Wikipedia, enciclopedia liberă
Kurt Gödel
Kurt Gödel
Kurt Gödel ()
Date personale
Nume la naștereKurt Friedrich Gödel Modificați la Wikidata
Născut[1][2][3][4] Modificați la Wikidata
Brünn, Austro-Ungaria[5][6][7][8] Modificați la Wikidata
Decedat (71 de ani)[1][9][2][3] Modificați la Wikidata
Princeton, New Jersey, SUA[10] Modificați la Wikidata
Înmormântatcimitirul Princeton[*]​[11][12] Modificați la Wikidata
Cauza decesuluisinucidere[13] (subnutriție[*]​[13]) Modificați la Wikidata
PărințiRudolf Gödel[*]​
Marianne Gödel[*]​ Modificați la Wikidata
Căsătorit cuAdele Gödel[*][[Adele Gödel (Austrian dancer (1899–1981))|​]][13] Modificați la Wikidata
Cetățenie Statele Unite ale Americii (aprilie 1948–)[14]
 Austria (–)
 Cisleithania (–)
 Cehoslovacia (–) Modificați la Wikidata
Religiecreștinism Modificați la Wikidata
Ocupațiematematician
profesor universitar[*]​
informatician
fizician Modificați la Wikidata
Locul desfășurării activitățiiBrno[8] Modificați la Wikidata
Limbi vorbitegermană[15][16]
engleză[9][15][16] Modificați la Wikidata
Activitate
RezidențăAustria  Modificați la Wikidata
Domeniuteoria mulțimilor
logică matematică[17]
filosofie analitică
matematică[17]
fizică[17]
teoria relativității[17]
logică[17]
predicate logic[*][[predicate logic (subfield of logic)|​]][17]
filozofie[17]
filozofia matematicii[17]  Modificați la Wikidata
Număr Erdős3  Modificați la Wikidata
InstituțieUniversitatea Princeton[13]
Universitatea din Viena[13]
Universitatea Notre Dame[13]
Institute for Advanced Study[13]  Modificați la Wikidata
Alma MaterUniversitatea din Viena[13]  Modificați la Wikidata
OrganizațiiSocietatea Regală din Londra
Academia Americană de Arte și Științe[*]​
Academia Franceză de Științe[18]
Academia Națională de Științe a Statelor Unite ale Americii[*]​
American Philosophical Society[*]​  Modificați la Wikidata
Conducător de doctoratHans Hahn[19]  Modificați la Wikidata
Cunoscut pentruteoremele de incompletitudine ale lui Gödel[*]​
Gödel's completeness theorem[*][[Gödel's completeness theorem (fundamental theorem in mathematical logic)|​]]
Gödel numbering[*][[Gödel numbering (assignment of each symbol and well-formed formula of a formal language a unique natural number)|​]]
Von Neumann–Bernays–Gödel set theory[*][[Von Neumann–Bernays–Gödel set theory (axiomatic set theory)|​]]
Gödel metric[*][[Gödel metric (solution of Einstein field equations with a a homogeneous distribution of swirling dust particles and a negative cosmological constant, featuring closed timelike curves)|​]]
constructible universe[*][[constructible universe (particular class of sets which can be described entirely in terms of simpler sets)|​]]
Gödel's ontological proof[*][[Gödel's ontological proof (Gödel's formalization of the ontological argument for the existence of God using modal logic)|​]]
Gödel's β function[*][[Gödel's β function (type of function)|​]]
Gödel-incomplete machine[*][[Gödel-incomplete machine |​]]
Gödel's speed-up theorem[*][[Gödel's speed-up theorem (theorem on proofs and axiomatic systems)|​]]
Gödel logic[*][[Gödel logic |​]]
Gödel's second incompleteness theorem[*][[Gödel's second incompleteness theorem (theorem that no formal system capable of basic arithmetic can prove its own consistency)|​]]
Godel's first incompleteness theorem[*][[Godel's first incompleteness theorem (theorem that no consistent system of axioms whose theorems are algorithmically listable can prove all truths about natural numbers)|​]]
Gödel operation[*][[Gödel operation |​]]  Modificați la Wikidata
PremiiMedalia Națională pentru Știință a Statelor Unite[*]​ ()[20]
Josiah Willard Gibbs Lectureship[*][[Josiah Willard Gibbs Lectureship (American mathematics award (1923-))|​]] ()[13]
doctor honoris causa por la Universidad de Princeton[*][[doctor honoris causa por la Universidad de Princeton |​]]
doctor honoris causa al Universității din Viena[*]​
Premio Albert Einstein[*][[Premio Albert Einstein (American science award for achievements in the natural sciences (1951–1979))|​]] ()[20]
membru străin al Royal Society[*]​ ()[20]  Modificați la Wikidata
Semnătură
Modifică date / text Consultați documentația formatului

Kurt Gödel (n. , Brünn, Austro-Ungaria – d. , Princeton, New Jersey, SUA) 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 confesiunea 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, cu toate că era pasionat pentru limbi străine, la 18 ani intră la Universitatea din 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 nerezolvabile î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. 1 2 Biblioteca Națională a Germaniei. „Gemeinsame Normdatei” (în germană). Wikidata Q36578. Accesat în .
  2. 1 2 „Kurt Gödel”. MacTutor History of Mathematics archive. Wikidata Q547473. Accesat în .
  3. 1 2 „Kurt Gödel” (în engleză). SNAC. Wikidata Q29861311. Accesat în .
  4. ↑ „Kurt Godel” (în engleză). Find a Grave. Wikidata Q63056. Accesat în .
  5. ↑ Biblioteca Națională a Germaniei. „Gemeinsame Normdatei” (în germană). Wikidata Q36578. Accesat în .
  6. ↑ „Národní autority České republiky”. Národní autority České republiky[*]. Wikidata Q13550863. Accesat în .
  7. ↑ „The Fine Art Archive”. Wikidata Q10855166. Accesat în .
  8. 1 2 Research Library in Olomouc. „REGO” (în cehă). Wikidata Q125023568. Accesat în .
  9. 1 2 Bibliothèque nationale de France. „Kurt Gödel” (în franceză). Autoritatea BnF[*]. Wikidata Q19938912. Accesat în .
  10. ↑ Biblioteca Națională a Germaniei. „Gemeinsame Normdatei” (în germană). Wikidata Q36578. Accesat în .
  11. ↑ http://www.cemeteryregister.com/search.asp?id=NJ_PRINCETON. Lipsește sau este vid: |title= (ajutor)
  12. ↑ „Kurt Gödel” (în engleză). Find a Grave. Wikidata Q63056. Accesat în .
  13. 1 2 3 4 5 6 7 8 9 „Kurt Gödel”. MacTutor History of Mathematics archive. Wikidata Q547473.
  14. ↑ https://plato.stanford.edu/entries/goedel/#BioSke. Lipsește sau este vid: |title= (ajutor)
  15. 1 2 „Kurt Gödel”. Národní autority České republiky[*]. Wikidata Q13550863. Accesat în .
  16. 1 2 „Kurt Gödel”. CONOR.SI[*]. Wikidata Q16744133.
  17. 1 2 3 4 5 6 7 8 „Kurt Gödel”. Národní autority České republiky[*]. Wikidata Q13550863. Accesat în .
  18. ↑ „Kurt Gödel” (în engleză). Notable Names Database. Wikidata Q1373513.
  19. ↑ „Kurt Gödel” (în engleză). Genealogia matematicienilor. Wikidata Q829984. Accesat în .
  20. 1 2 3 https://www.nndb.com/people/550/000091277/#FN1. Lipsește sau este vid: |title= (ajutor)

Legături externe

[modificare | modificare sursă]
Adus de la https://ro.wikipedia.org/w/index.php?title=Kurt_Gödel&oldid=17271402