Gödel-díjat kapott Tardos Gábor matematikus
![Gödel-díjat kapott Tardos Gábor matematikus](https://ttk.elte.hu/media/48/69/faffdfd1199793edcbcb04434e4710e9eabef36a014c71d93709feae1b53/gabortardos-thumb.jpg?v202209270307)
A világhírű osztrák matematikusról, Kurt Gödel-ről elnevezett díjat 1993 óta minden évben két szakmai egyesület - az European Association for Theoretical Computer Science és az Association for Computing Machinery Special Interest Group on Algorithms and Computational Theory - annak a matematikusnak ítéli oda, aki az elméleti számítógéptudomány területén világszínvonalú eredményeket ért el. Magyar matematikusok közül eddig Lovász László, Babai László, Szegedy Márió, Tardos Éva kapott Gödel-díjat.
2020-ban a Gödel-díjat Tardos Gábor és Robin A. Moser megosztva kapták
a Lovász-féle lokális lemma algoritmikus bizonyításáért.
A Lovász-féle lokális lemma a kombinatorika számos területén használható állítás, rengeteg alkalmazással, melyekre Tardos Gábor és Robin Moser munkássága nyomán mostantól algoritmikus megoldást is kapunk, nem csak a létezését tudjuk bizonyítani.
Gratulálunk a díjhoz!