Implementation and Abstraction in Mathematics
By David McAllester
Discussion led by Andrew K. Hirsch on August 29, 2014
We went over this paper in much detail for several weeks and finally also had David McAllester giving a talk about it. Let's wrap up and share any insights we might have gotten from the talk.