Re: Theory of Everything based on E8 by Garrett Lisi

2007-11-27 Thread Günther Greindl
Dear Marc, Physics deals with symmetries, forces and fields. Mathematics deals with data types, relations and sets/categories. I'm no physicist, so please correct me but IMHO: Symmetries = relations Forces - could they not be seen as certain invariances, thus also relating to symmetries?

Re: Several Criticisms of the Doomsday Argument

2007-11-27 Thread Günther Greindl
HI, If all of the balls had been numbered unambiguously from 1 through 1,000,010, the statistical effect produced by Bostrom's ambiguous ball 7 would vanish. Agreed. Also consider another version: do not name the balls in the first urn 1 to 10, but with uniform random numbers of the

Re: Theory of Everything based on E8 by Garrett Lisi

2007-11-27 Thread Bruno Marchal
Le 27-nov.-07, à 05:47, [EMAIL PROTECTED] a écrit : Geometric properties cannot be derived from informational properties. I don't see why. Above all, this would make the computationalist wrong, or at least some step in the UDA wrong (but then which one?). I recall that there is an

Re: Are First Person prime?

2007-11-27 Thread Bruno Marchal
Le 26-nov.-07, à 20:22, George Levy a écrit : Bruno Yes I am particularizing things... But the end justifies the means. I am being positivist, trying to express these rules as a function of an observer. In any case, once the specific example is worked out, we can fall back on the

OM = SIGMA1 links

2007-11-27 Thread Bruno Marchal
Hi Mirek, Brent, Barry, David, ... and all those who could be interested in the INTRO to Church thesis, I have to go, actually. Just to prepare yourself to what will follow, below are recent links in the list . It could be helpful to revise a bit, or to ask last questions. I will ASAP come

Re: OM = SIGMA1 links

2007-11-27 Thread Günther Greindl
Dear Bruno, thanks for your posts! I like them very much! Looking forward to further stuff, Günther Bruno Marchal wrote: Hi Mirek, Brent, Barry, David, ... and all those who could be interested in the INTRO to Church thesis, I have to go, actually. Just to prepare yourself to

Re: Several Criticisms of the Doomsday Argument

2007-11-27 Thread Gene Ledbetter
Günther Greindl [EMAIL PROTECTED] wrote: If all of the balls had been numbered unambiguously from 1 through 1,000,010, the statistical effect produced by Bostrom's ambiguous ball 7 would vanish. Agreed. Also consider another version: do not name the balls in the first urn 1 to 10, but with

Re: Theory of Everything based on E8 by Garrett Lisi

2007-11-27 Thread marc . geddes
On Nov 28, 1:18 am, Günther Greindl [EMAIL PROTECTED] wrote: Dear Marc, Physics deals with symmetries, forces and fields. Mathematics deals with data types, relations and sets/categories. I'm no physicist, so please correct me but IMHO: Symmetries = relations Forces - could they not

Re: Theory of Everything based on E8 by Garrett Lisi

2007-11-27 Thread marc . geddes
On Nov 28, 3:16 am, Bruno Marchal [EMAIL PROTECTED] wrote: Le 27-nov.-07, à 05:47, [EMAIL PROTECTED] a écrit : Geometric properties cannot be derived from informational properties. I don't see why. Above all, this would make the computationalist wrong, or at least some step in the UDA