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 everything-list.domain.name.hidden
To unsubscribe from this group, send email to everything-list-unsubscribe.domain.name.hidden
For more options, visit this group at http://groups.google.com/group/everything-list?hl=en
-~----------~----~----~----~------~----~------~--~---
Received on Thu Nov 29 2007 - 11:38:43 PST