>> > From: "Russell Standish" <[EMAIL PROTECTED]>

>> >
>> > > There is no problem is saying that all computations exist in
>> > > "platonia" (or the plenitude). This is a zero information set, and
>> > > requires no further explanation.

Stricly speaking I disagree. The expression "all computations" needs
Church thesis for example. And Church thesis is a non trivial bag of info.
But I see where is the point. The "all computation set" is a zero
information set, but is not a zero meta-information set, should we say.
Same for "all numbers", "all sets" You still need to define axiomatically
numbers or sets.
There will always be some mysterious entity we need to
postulate. That is why I postulate explicitely the Arithmetical Realism
in comp. Too vague "Everything" could lead to inconsistencies.

Bruno

Reply via email to