Re: Theory of Everything based on E8 by Garrett Lisi

2007-11-30 Thread Torgny Tholerus
[EMAIL PROTECTED] skrev: > On Nov 28, 9:56 pm, Torgny Tholerus <[EMAIL PROTECTED]> wrote: > > >> You only need models of cellular automata. If you have a model and >> rules for that model, then one event will follow after another event, >> according to the rules. And after that event will fol

Re: Theory of Everything based on E8 by Garrett Lisi

2007-11-30 Thread Torgny Tholerus
Bruno Marchal skrev: > > > Le 29-nov.-07, à 17:22, Torgny Tholerus a écrit : > > There is a difference between "unlimited" and "infinite". "Unlimited" > just says that it has no limit, but everything is still finite. If > you > add something to a finite set, then the new set will a

N^N is not enumerable (post before key post bis)

2007-11-30 Thread Bruno Marchal
Hi, I recall the proof that N^N is not enumerable. I recall that N^N is the set of functions from N to N. Such functions associate a natural number to each natural number. Example: factorial = {(0, 1) (1, 1) (2, 2) (3, 6) (4, 24) (5 120) ...} of course the same information is provided by the

Re: Theory of Everything based on E8 by Garrett Lisi

2007-11-30 Thread Bruno Marchal
Le 29-nov.-07, à 17:22, Torgny Tholerus a écrit : > > Quentin Anciaux skrev: >> Hi, >> >> Le Wednesday 28 November 2007 09:56:17 Torgny Tholerus, vous avez >> écrit : >> >>> >>> You only need models of cellular automata. If you have a model and >>> rules for that model, then one event will fol

RE: Theory of Everything based on E8 by Garrett Lisi

2007-11-30 Thread Jesse Mazer
> Date: Fri, 30 Nov 2007 09:00:17 +0100 > From: [EMAIL PROTECTED] > To: [EMAIL PROTECTED] > Subject: Re: Theory of Everything based on E8 by Garrett Lisi > > > Jesse Mazer skrev: >> >> >> >>> Date: Thu, 29 Nov 2007 19:55:20 +0100 >>> From: [EMAIL PRO

Re: Theory of Everything based on E8 by Garrett Lisi

2007-11-30 Thread Torgny Tholerus
Jesse Mazer skrev: > > > >> Date: Thu, 29 Nov 2007 19:55:20 +0100 >> From: [EMAIL PROTECTED] >> >> >> As soon as you say "the set of ALL numbers", then you are forced to >> define the word ALL here. And for every definition, you are forced to >> introduce a "limit". It is not possible