We had a special grad-student guest speaker, Abrahim Ladha, give a talk on primitive recursion and Gödel incompleteness.
His webpage can be found here.
Previous: Graphs problem session
We had a problem session guided by Arvind on graphs.
continue reading ❯