On Thu, 23 Jul 2009, Roland Perry wrote:

In message , at 15:27:44 on Thu,
23 Jul 2009, Christopher A. Lee remarked:

Anyway, everyones missed the most obvious example - Heathrow Airport,

cough except I ruled out airports in my original posting.

Dear god man, you say that as if you expected me to read before posting!
The very idea!

tom

--
Formal logical proofs, and therefore programs - formal logical proofs
that particular computations are possible, expressed in a formal system
called a programming language - are utterly meaningless. To write a
computer program you have to come to terms with this, to accept that
whatever you might want the program to mean, the machine will blindly
follow its meaningless rules and come to some meaningless conclusion. --
Dehnadi and Bornat