struka(e): filozofija | matematika
Gödel, Kurt
američki matematičar i logičar češkoga podrijetla
Rođen(a): Brno, 28. IV. 1906.
Umr(la)o: Princeton, 14. I. 1978.

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

Citiranje:

Gödel, Kurt. Hrvatska enciklopedija, mrežno izdanje. Leksikografski zavod Miroslav Krleža, 2013. – 2024. Pristupljeno 26.5.2024. <https://enciklopedija.hr/clanak/godel-kurt>.