4 ms·

Lovasz is most well known to me for the Lovasz local lemma. Very cool to find out that this year’s Godel prize was given for an algorithmic construction for tha

Lovasz is most well known to me for the Lovasz local lemma. Very cool to find out that this year’s Godel prize was given for an algorithmic construction for that.

hanche 6y ago
As far as I know, this year's Gödel prize is not yet awarded. The current story is about the Abel prize.
- singhrac 6y ago
  Ah sorry, I know that. I meant the 2020 Godel prize awarded to Moser and Tardos. Just noting the connection.