In this post I gave a brief sketch of what I claim is a better approach to modelling the continuum. In this post I am going to develop the ideas a little bit more thoroughly and also explain why I this is a better approach than the usual set-theoretic definitions of the real numbers. Here [...]

Over at Terence Tao's blog, the Fields medalist produces prodigious volumes of posts; some detail his major research work, some are course lecture notes, and then some are expository bits that he writes up for his own edification. I just noticed a post from April about Gödel's completeness and compactness theorems. From a logician's point [...]

This post, and a few to follow, aren't going to be about mathematics at all, but rather another subject close to my heart: education. I am going to share some thoughts on education in general and, in particular, the sorry state of public education (in this country and elsewhere, and from kindergarten through college). In [...]