Nagroda Gödla
Nagroda Gödla – nagroda przyznawana przez EATCS i ACM za wybitne osiągnięcia w dziedzinie informatyki teoretycznej. Nazwana tak dla uczczenia Kurta Gödla, jednego z najwybitniejszych logików.

Nagroda w wysokości 5000 dolarów przyznawana jest corocznie, poczynając od roku 1993. Wręczana jest podczas sympozjum ACM na temat teorii obliczeń lub międzynarodowego kolokwium EATCS na temat automatów, języków i programowania. Nagradzani są autorzy znaczących publikacji, które ukazały się w ciągu ostatnich 14 lat (pierwotnie było to 7 lat).
Q3060764
EATCS
ORG
Q127992
ACM
ORG
Q21198
informatyki teoretycznej
Concept
Q41390
Kurta Gödla
PER
Q2065
1993
TIME
Q1417143
Nagroda Gödla
EVE
1993-01-01T00:00:00Z^^http://www.w3.org/2001/XMLSchema#dateTime
roku 1993
DATE
+14^^http://www.w3.org/2001/XMLSchema#decimal
14
NUMBER
+7^^http://www.w3.org/2001/XMLSchema#decimal
7
NUMBER
conferred by
conferred by
named after
start time