This is Greg Restall’s website, with news, writings, pictures, and links. For background see below.

An idea...

Monday, September 4, 2006 at 02:43PM

I just had an Idea today. From here, it seems like a Really Neat Idea. (Having the idea made me remember what it feels like to prove something you’ve been struggling with for a long time: a mix of excitement, wonder, awe, relief, and much else besides. It’s welcome to be reminded of why I like working in logic.)

This idea isn’t a new theorem, but what seems to me to be a simpler proof of an already proved theorem. I’ll try writing it up in the next couple of days and I’ll report back. It could dissolve into dust and vapour, but if it survives the writeup process, I’ll be one happy logician. If it doesn’t survive, at least I’ll have learned something new.

News Archive

2002 | 2003 | 2004 | 2005 | 2006 | Happy 2006Teaching in Semester 1, 2006Assorted crosscultural observations, upon visiting the supermarketPhase ChangeFun with Playlists: Squeezing your music library onto a 2GB iPodDegrees of Truth, Degrees of FalsityMasses of Formal PhilosophyGreg Hjorth coming back to MelbourneMarathon EffortLast Night at the MCGDame Edna at the Commonwealth Games Closing CeremonyBeing a logician means sometimes having to say that you're sorry. Or at least, that you're wrong.Oh, and there's another paper, tooSpooky coincidence? I think notAJL Papers2006 redesign in progressEnclosuresThe Shifty SalesmanWell, that was easy...Happy 5 day!Masses of Formal Philosophy: Question 1On the Cable Guy ParadoxOn Regret and SlingshotsEnd of SemesterInterviewedThis football game is pretty tense...Key Ideas in the theory of proofs #1: The Duality of Proofs and CounterexamplesTeaching in Semester 2, 2006Off to FranceHere in Nancy, Day 1Here in Nancy, Day 2Back homeAssorted ObservationsInterviewed againOn PoliticsOn the InterviewTen Questions about BooksVisitsAn idea...Masses of Formal Philosophy: Question 2Party on TuesdayA Philosophical Poll: on a priori knowledge of possibilitiesHorn tootingScenes from an afternoonOff to India...2007 | 2008 | 2009 |

This is a news item at consequently.org. There are many others at the archive page. You can add comments at the end.

About

I’m Greg Restall, and this is my website. I work in Philosophy at the University of Melbourne. Email: greg at consequently.org; Post: School of of Philosophy, Anthropology and Social Inquiry, University of Melbourne, Parkville 3010, Australia.

Start at the home page—a summary of the site. The left column is news, archived on the news archive page. The central column is for photos, archived on the occasional photos page. The right column contains recent items from the writing page, which lists my publications. These are also categorised by topic. You can follow my links at my account on delicious and occasional short snarky remarks at @consequently on twitter.

Current CO2 concentration in the atmosphere

To subscribe to this site, either read the full feed  of everything, the feed of news items only , or the feed of writing items only , which is also great for podcasting pdfs automatically.

This site is handcoded: I write text in Textmate, and Webby files things in the right place and uploads them to the server. This page was last modified on 2009-01-07 at 10:23AM.

Thought

Power corrupts. PowerPoint corrupts absolutely.
— Edward Tufte