STRUKE:

Gödel, Kurt

Gödel [gø:'dəl], Kurt, američki matematičar i logičar češkoga podrijetla (Brno, 28. IV. 1906Princeton, 14. I. 1978). Doktorirao (1930) na Sveučilištu u Beču. Od 1953. bio profesor u Institutu za napredne studije u Princetonu, SAD. Bavio se pretežito matematičkom logikom i istraživanjem aksiomatike u matematici. Najpoznatiji je njegov rezultat teorem prema kojem je svaki nekontradiktoran sustav aksioma nepotpun, u smislu da mu se može dodati još jedan aksiom koji s njim nije u suprotnosti. Drugim riječima, ako je sustav aksioma nekontradiktoran, onda u teoriji postoji tvrdnja koja se, služeći se samo polaznim aksiomima, ne može ni dokazati ni opovrgnuti. U vezi s tim Gödel je dokazao također da je logički nemoguće provesti dokaz nekontradiktornosti nekoga sustava aksioma samim tim aksiomima. Gödel je također pronašao kozmološka rješenja Einsteinovih jednadžbi gravitacije. Glavna djela: Russelova matematička logika (Russel’s Mathematical Logic, 1944), Primjedba o odnosima između teorije relativnosti i idealističke filozofije (A Remark About the Relationship Between Relativity Theory and Idealistic Philosophy, 1949).

Gödel, Kurt. Hrvatska enciklopedija, mrežno izdanje. Leksikografski zavod Miroslav Krleža, 2018. Pristupljeno 29.2.2020. <http://www.enciklopedija.hr/Natuknica.aspx?ID=22466>.