Monthly Archives: March 2016

Analysis

I am delighted to hear from Chris Daly that David Liggins and he (both at Manchester) are to become joint editors of Analysis (which once upon a long time ago, I edited for a dozen years). I can’t imagine the … Continue reading

Posted in This and that | Leave a comment

Encore #16: Weir’s formalism

One of the books which I blogged about at length here was Alan Weir’s Truth Through Proof (OUP, 2010). I found this difficult and puzzling, but also enjoyable to battle with (not least because Alan responded in comments at length). … Continue reading

Posted in Books, Phil. of maths | Leave a comment