Kurt Gödel

Kurt Gödel
Date personale
Nume la naștere	Kurt Friedrich Gödel
Născut	28 aprilie 1906[6][7][8][9][10] Brünn, Austro-Ungaria[11][8][12][13]
Decedat	14 ianuarie 1978 (71 de ani)[6][14][8][9][10] Princeton, New Jersey, SUA[15]
Înmormântat	cimitirul Princeton[*]​[16][17]
Cauza decesului	sinucidere[2] (subnutriție[*]​[2])
Căsătorit cu	Adele Gödel[*][[Adele Gödel (Austrian dancer (1899–1981))|​]][2]
Cetățenie	Statele Unite ale Americii (aprilie 1948–14 ianuarie 1978)[18]  Austria (1929–)  Cisleithania (1906–1918)  Cehoslovacia (1918–1929)
Religie	creștinism
Ocupație	matematician filozof cadru didactic universitar[*]​ informatician fizician
Locul desfășurării activității	Brno[11]
Limbi vorbite	limba germană[19][20] limba engleză[20][19][14]
Activitate
Rezidență	Austria
Domeniu	teoria mulțimilor logică matematică[1] filosofie analitică matematică[1] fizică[1] teoria relativității[1] logică[1] predicate logic[*][[predicate logic (subfield of logic)|​]][1] filozofie[1] filozofia matematicii[1]
Număr Erdős	3
Instituție	Universitatea Princeton[2] Universitatea din Viena[2] Universitatea Notre Dame[2] Institute for Advanced Study[2]
Alma Mater	Universitatea din Viena[2]
Organizații	Societatea Regală din Londra Academia Americană de Arte și Științe[*]​ Academia Franceză de Științe[3] Academia Națională de Științe a Statelor Unite ale Americii[*]​
Conducător de doctorat	Hans Hahn[*][[Hans Hahn (matematician austriac)|​]][4]
Cunoscut pentru	teoremele 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)|​]] 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 |​]] Gödel logic[*][[Gödel logic |​]] Gödel's second incompleteness theorem[*][[Gödel's second incompleteness theorem |​]] Godel's first incompleteness theorem[*][[Godel's first incompleteness theorem (mathematical sentence)|​]] Gödel operation[*][[Gödel operation |​]]
Premii	Medalia Națională pentru Știință a Statelor Unite[*]​ (1974)[5] Josiah Willard Gibbs Lectureship[*][[Josiah Willard Gibbs Lectureship (American mathematics award (1923-))|​]] (1951)[2] honorary doctorate from Princeton University[*][[honorary doctorate from Princeton University |​]] doctor honoris causa al Universității din Viena[*]​ Albert Einstein Award[*][[Albert Einstein Award (award in theoretical physics)|​]] (1951)[5] membru străin al Royal Society[*]​ (1968)[5]
Semnătură
Modifică date / text

Kurt Gödel (n. 28 aprilie 1906, Brünn, Austro-Ungaria – d. 14 ianuarie 1978, 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.

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, 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”.

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.

• 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).

• Listă de oameni din Brno

• en Biografie la MacTutor History
• en Biografie la Encyclopedia Britannica
• en Stanford Encyclopedia of Philosophy

v • d • m Time 100: Cei mai importanți oameni ai secolului XX Lideri și revoluționari David Ben Gurion Winston Churchill Mahatma Gandhi Mihail Gorbaciov Adolf Hitler Ho Și Min Papa Ioan Paul al II-lea Ruhollah Khomeini Martin Luther King Vladimir Ilici Lenin Nelson Mandela Mao Zedong Ronald Reagan Eleanor Roosevelt Franklin Delano Roosevelt Theodore Roosevelt Margaret Sanger Margaret Thatcher Omul din Piața Tiananmen Lech Wałęsa Artiști și animatori Louis Armstrong Lucille Ball The Beatles Marlon Brando Coco Chanel Charlie Chaplin Le Corbusier Bob Dylan T. S. Eliot Aretha Franklin Martha Graham Jim Henson James Joyce Pablo Picasso Rodgers și Hammerstein Bart Simpson Frank Sinatra Steven Spielberg Igor Stravinski Oprah Winfrey Făuritori și titani Stephen Bechtel Sr. Leo Burnett Willis Carrier Walt Disney Henry Ford Bill Gates Amadeo Giannini Ray Kroc Estée Lauder William Levitt Lucky Luciano Louis B. Mayer Charles E. Merrill Akio Morita Walter Reuther Pete Rozelle David Sarnoff Juan Trippe Sam Walton Thomas J. Watson Jr. Oameni de știință și gânditori Leo Baekeland Tim Berners-Lee Rachel Carson Albert Einstein Philo Farnsworth Enrico Fermi Alexander Fleming Sigmund Freud Robert H. Goddard Kurt Gödel Edwin Hubble John Maynard Keynes Familia Leakey Jean Piaget Jonas Salk William Bradford Shockley Alan Turing Francis Crick & James D. Watson Ludwig Wittgenstein Frații Wright Eroi și legende Muhammad Ali Soldatul american Diana, Prințesă de Wales Anne Frank Billy Graham Che Guevara Edmund Hillary & Tenzing Norgay Helen Keller Familia Kennedy Bruce Lee Charles Lindbergh Harvey Milk Marilyn Monroe Emmeline Pankhurst Rosa Parks Pelé Jackie Robinson Andrei Saharov Maica Tereza Bill W.