wow, ravi vakil giving a lecture rare treat

Beautiful work, thank you for your time.

Loved every minute of this lecture!

@50:40 I would like to know more about this. What are the insights from logic translated into AG language?

Starts at 2:39

Absolutely amazing lecture!