Monthly Archives: June 2007

Hemlock all round?

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

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

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

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

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

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

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