# Re: Theory of Everything based on E8 by Garrett Lisi

```Le Thursday 29 November 2007 17:22:59 Torgny Tholerus, vous avez é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 follow after another event,
> >> according to the rules.  And after that event will follow another more
> >> event, and so on unlimited.  The events will follow after eachother even
> >> if you will not have any implementation of this model.  Any physics is
> >> not needed.  You don't need any geometric properties.
> >
> > Sure, but you can't be ultrafinitist and saying things like "And after
> > that event will follow another more event, and so on unlimited".
>
> 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 always be finite.
> It is not possible to create an infinite set.```
```
I'm sorry I don't get it... The set N as an infinite numbers of elements still
every element in the set is finite. Maybe it is an english subtility that I'm
not aware of... but in french I don't see a clear difference between "infini"
and "illimité".

> So it is OK to use the word "unlimited".  But it is not OK to use the
> word "infinite".  Is this clear?

No, I don't see how a set which have not limit get a finite number of
elements.

> Another important word is the word "all".  You can talk about "all
> events".  But in that case the number of events will be finite, and you
> can then talk about "the last event".  But you can't deduce any
> contradiction from that, because that is forbidden by the type theory.
> And there will be more events after "the last event", because the number
> of events is "unlimited".

If there are events after the last one, how can the last one be the last ?

> As soon as you use the word "all", you will
> introduce a limit - all up to this limit.  And you must then think of
> only doing conclusions that are legal according to type theory.

o_O... could you explain what is type theory ?

> So the best thing is to avoid the word "all" (and all synonyms of that
> word).

like everything ?

Regards,
Quentin Anciaux

--
All those moments will be lost in time, like tears in the rain.

--~--~---------~--~----~------------~-------~--~----~
You received this message because you are subscribed to the Google Groups
"Everything List" group.
To post to this group, send email to [EMAIL PROTECTED]
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at