Re: [Fwd: Apparently not a spoof...]

2007-08-09 Thread Kim Jones
Could you provide some info on this, please? How can we be sure it isn't a spoof? Which US Baptist college is this? Can't decipher the logo... cheers, Kim Jones On 09/08/2007, at 5:06 AM, Brent Meeker wrote: Here's a school that's ahead of Bruno in taking consistency to be part of

Re: [Fwd: Apparently not a spoof...]

2007-08-09 Thread Bruno Marchal
Hm I think it is preferable to introduce a few math in a theology course (which can be done by making some precise hypotheses like comp or lobianity) than to introduce theology in math. They are naming and invoking the unnameable! I know it is not always easy to motivate people for

Re: [Fwd: Apparently not a spoof...]

2007-08-09 Thread Kim Jones
What is lobian apart from la machine, Bruno? Are you referring to angels here? Aren't angels machines too? K On 09/08/2007, at 7:03 PM, Bruno Marchal wrote: Also, if we are machine (or just lobian), we can indeed contemplate the consistency of *little part* of math, but certainly

Rép : Observer Moment = Sigma1-Sentences

2007-08-09 Thread Bruno Marchal
Le 09-août-07, à 11:22, Kim Jones a écrit : What is lobian apart from la machine, Bruno? Are you referring to angels here? Aren't angels machines too? Angels are not machine. Unless you extend the meaning of machine 'course, but Angels' provability extend the provability of any

Re: $US 2 million math puzzle challenge

2007-08-09 Thread Scipione
Hi Marc, I knew this puzzle quite well; i tried to order it but i have some trouble obtaining it (i'm italian and as you can read http://uk.eternityii.com/ Italy isn't included in the country where such puzzle is sold and where the solution can come from (!) ). Anyway i started to work on it: