A two week absence from this site is pretty large, at least when its unannounced. As you can probably tell, I'm snowed under. Slowly digging through that inbox and the pile of administrative work which requires doing. You might even get a link recommendation or two from me in the next few days. But I'm not promising anything. First, I must get back to that email.

It seems that the discussion group has formed a life of its own. Here, as elsewhere, the action is below the surface.

Quite a lot about the structure of the universe (well, at least the relationship between wishes and choices) can be inferred from folk wisdom. Here is an example.

If wishes were horses,

beggars would ride.So, if wishes were

choices,

beggars would be choosers.But beggars can't be choosers.

Therefore, wishes can't be choices.

This is something I really love. (Warning, it's a *dvi* file. If you don't know what a dvi file is, it's almost certain that you won't have the software to deal with it. Sorry.) Anyway, this paper "A nonstandard proof of the Jordan curve theorem" by Vladimir Kanovei and Michael Reeken, is a beautiful piece of mathematics. The Jordan Curve theorem is a particularly easy theorem to state, and a particularly hard theorem to *prove* with the kind of rigour mathematicians desire and enjoy. Here's the theorem:

Every closed curve in the plane divides the plane into two regions, the inside and the outside.That's pretty darn obvious, you might think, but it's not obvious when you realise that closed curves can be

The remaining trick is to deal with the case in where the number of crossings is *infinite*. In this case, Kanovei and Reeken show that a sensible notion of "even" and "odd" can be defined for the kind of infinities applied here, and the result still applies.

It's a lovely piece of work. It's the kind of thing that I find so enjoyable in mathematics. It's sometimes easier to solve a problem by initially making it *more* complicated. The seemingly harder theorem is sometimes simpler to prove, because in the new space, different rules apply.

Our immediate past prime minister and the current incumbent are two very different people. There's no way, for example, that the current model would ever call anyone "pre-Copernican obscurantists." That was Keating on the current government, on the debate on cross media ownership rules. For more Keating-isms, try the Paul Keating Insults Archive.

For something a little more uplifting than that, try Keating's 1992 speech at Redfern. It ends:

We cannot imagine that the descendants of people whose genius and resilience maintained a culture here through 50 000 years or more, through cataclysmic changes to the climate and environment, and who then survived two centuries of dispossession and abuse, will be denied their place in the modern Australian nation.That speech was given in December 1992.We cannot imagine that.

We cannot imagine that we will fail.

And with the spirit that is here today I am confident that we won't.

I am confident that we will succeed in this decade.

← News from January 2002 | News Archive | News from March 2002 →

I’m *Greg Restall*, and this is my personal website. I teach philosophy and logic as Professor of Philosophy at the University of Melbourne. ¶ Start at the home page of this site—a compendium of recent additions around here—and go from there to learn more about who I am and what I do. ¶ This is my personal site on the web. Nothing here is *in any way* endorsed by the University of Melbourne.

- School of Historical and Philosophical Studies, The University of Melbourne, Parkville 3010, Australia.
- greg@consequently.org
- keybase.io/consequently, to sign or encrypt a message to send to me privately.
- @consequently on Twitter.
- @consequently on Instagram.

To receive updates from this site, you can subscribe to the RSS feed of all updates to the site in an RSS feed reader, or follow me on Twitter at @consequently, where I’ll update you if anything is posted.