A Gödel-díj a számítógéptudomány egyik legnagyobb díja, és 2020-ban Tardos Gábor kapta meg Robin Moserrel a Lovász Lokál Lemma konstruktív bizonyításáért.
Az eddigi magyar Gödel-díjasok: Babai László, Szegedy Márió (kétszeres), Tardos Éva (Gábor nővére), Lovász László, és remélem a pozsonyi Róbert Szelepcsényi nem fog megharagudni, ha őt is beveszem.
Azért álljon itt néhány másik név is: Alexander Razborov, Daniel Spielman, Peter Shor, Shafi Goldwasser, Noga Alon, Avi Wigderson, Madhu Sudan. Ők is Gödel-díjasok.
Ez is Magyarország, nemcsak az izék.
