At 13:17 20/05/00 -0500, you wrote: > >That's a reference to Douglas Hofstadter's exceptional book _Gödel, Escher, >Bach: An Eternal Golden Braid_, and it isn't really a description of >Gödel's Theorem, although in some sense it's analogous. The basic idea of >the theorem is that, for any formal system, there are true theorems such >that the system cannot determine whether they are true or false. > Hey, what's funny about this is that currently on French TV there is a commercial for Multimania which uses the Gödel's Theorem :) . Actually, it is in the amphitheater of a college where students are silently working on the Gödel's theorem in front of a professor. Suddenly one of the students shouts: "Err... But, what's the Gödel's theorem really?". Of course, the teacher is badly surprised. After a few seconds of silence, another student answers: "Well, it's a theorem about undecidable systems". Again, the teacher is shocked at death. Finally, a few seconds more and a girl says: "Well, if you want I have all the doc you need for it". And it ends with an off-voice saying: "If that's your vision of life, come to us, it happens to be ours too". Not a very good commercial (the second one is much better) but that's funny that they're using this theorem and that suddenly we talk about it here (because of one of my posts :)) ). Coincidences... Christophe Grandsire |Sela Jemufan Atlinan C.G. "Reality is just another point of view." homepage : http://rainbow.conlang.org (ou : http://www.bde.espci.fr/homepages/Christophe.Grandsire/index.html)