The 2006 RZ World tour just started at the "Truth and Proof" conference in Edinburgh. Thanks Jeff Ketland and Jean-Louis Hudry for putting this on and inviting me! So far we had some excellent talks by John Dawson on the history of the notion of truth and use of semantic methods in logic; by Hannes … Continue reading Truth and Proof in Edinburgh

Long time no blog. Sorry, been busy planning my 2006 world tour. Dates will be announced shortly.While you're waiting, there's a neat little piece of metamathematics that should be more widely known than it is. You all know that if T is a consistent theory satisfying the usual assumptions, then Con(T) is undecidable in T. … Continue reading Ordinal Logics