After almost 500 posts, this will be the last post here, meaning at this URL .... .... but I'll be continuing the Logic Matters blog at logicmatters.net (and all the posts here at Blogger have been imported to that address, though the aesthetics are...

Here now is the fifth episode on the idea of a primitive recursive function. The preamble explains why this matters and where this is going. The previous episodes are available: Episode 1, Incompleteness -- the very idea (version of Oct. 16)Episode 2....

Philosophers don't get asked often enough to write for the newspapers and weeklies: so it is really annoying when an opportunity is wasted on second-rate maunderings. Michael Ruse writes in today's Guardian on whether there is an "atheist schism". And...

To return for a moment the question we left hanging: what is the shape of Hilbert's "naturalism" according to Franks? Well, Franks in §2.3 thinks that Hilbert's position can be contrasted with a "Wittgensteinian" naturalism that forecloses global...

Hilbert in the 1920s seems pretty confident that classical analysis is in good order. "Mathematicians have pursued to the uttermost the modes of inference that rest on the concept of sets of numbers, and not even the shadow of an inconsistency has...