London Banter - View Single Post

January 7th 07, 05:50 PM posted to uk.transport.london

wrote in message
...

"Tom Anderson" wrote in message
h.li...
On Sun, 7 Jan 2007 wrote:

http://www.youtube.com/watch?v=DCg7VGmeL9A

A drivers-eye video called "West Ruislip, Ruislip Gardens, South Ruislip,
Northolt EB", for those who aren't psychic. Craig: descriptive subject
lines and maybe a paragraph in the body please, old chap!

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

Editting the subject title.

Sorry editing the subject title.