>> > 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
