Monthly Archives: June 2007

Hemlock all round?

Posted on June 8, 2007

I remember Geoffrey Hunter (the author of the rather good Metalogic) telling me years ago that at the beginning of his intro logic course, having explained the idea of a valid argument, he gave out a sheet of examples to … Continue reading →

Posted in This and that | 1 Comment

Church’s Thesis 10: Precision and pretension

Posted on June 7, 2007

So, we’re halfway through my blogview of Church’s Thesis After 70 Years edited by Adam Olszewski, Jan Wolenski and Robert Janusz: I’ve commented on eleven papers, and there are eleven to go. I’m afraid that so far I’ve not been … Continue reading →

Posted in Logic | Leave a comment

Damned squiggles

Posted on June 6, 2007

I discovered earlier today that some symbols weren’t showing correctly in a Windows browser. Sorry about that. I think I’ve sorted it and revised a couple of posts accordingly. But I won’t be able to check on a Windows machine … Continue reading →

Posted in This and that | Leave a comment

Church’s Thesis 9: Epistemic arithmetic, algorithms, and an argument of Kleene’s

Posted on June 6, 2007

Ok, yes, yes, I should be marking tripos papers. But I need to take a break before plunging enthusiastically back to reading yet more about gruesome ravens … So, let’s return to Horsten’s paper on ‘Formalizing Church’s Thesis’. After talking … Continue reading →

Posted in Logic | Leave a comment

Gruesome ravens

Posted on June 6, 2007

Marking a stack of tripos essays about ravens and white shoes, grue and green, theory and observation, Kuhn and rationality, laws and explanation, and the like, makes me realize (not for the first time) how out of sympathy I have … Continue reading →

Posted in This and that | Leave a comment

Church’s Thesis 8: Formalizing the thesis

Posted on June 3, 2007

On, then, to the tenth paper in Church’s Thesis After 70 Years, Leon Horsten’s ‘Formalizing Church’s Thesis’. Horsten explores two frameworks in which we can write down what look to be, in some sense, partial ‘formalizations’ of CT. Take first … Continue reading →

Posted in Logic | Leave a comment

Good heavens, a decent meal in Cambridge

Posted on June 1, 2007

This won’t be of much interest to my enormous world-wide readership (well, putting a tracker on this blog certainly is a good corrective for any great delusions on that score!), but after the last logic seminar of the academic year … Continue reading →

Posted in This and that | Leave a comment