Updates

I have updated the note for week 4, with things to read and exercises to do. If there are too many, concentrate on those you think look most interesting.

I will update the weekly plan to reflect what I think is doable, based on progress made during lectures.

I have also updated the note on foundations with translations of Descartes and Pirsig, and a poem on mathematics.