On 21 Jul 2011, at 20:30, meekerdb wrote:

On 7/21/2011 11:03 AM, Jason Resch wrote:On Thu, Jul 21, 2011 at 10:54 AM, meekerdb <meeke...@verizon.net>wrote:On 7/21/2011 2:27 AM, Bruno Marchal wrote:Axiomatics are already in Platonia so of course that forcescomputation to be there.The computations are concrete relations. If the are concrete then we should be able to point to them.If your mind is a computer, you don't even need to point to them,everything you see and experience is direct evidence of theexistence of the computation implementing your mind.Also, I don't think the "point test" works for everything that hasa concrete existence. How would a many-worlder point to the otherbranches of the wave function, or an eternalist point to the past?How would an AI or human in a virtual environment point to theconcrete computer that is rendering its environment?They don't need axioms to exist. Then the numbers relation can bedescribed by some axiomatic.And one can regard the numbers as defined by their relations. Sothe "fundamental ontology" of numbers is reduced to a descriptionof relations.Is a chair the same thing as a description of a chair, or an ideaof a chair?The is no need to suppose they exist in the sense of tables andchairs.Assume both matter and number relations exist. With comp, theexistence of number relations explains the existence of matter,That's the question. It seems that comp requires more than theexistence of number relations, it requires the existence of a UD orequivalent.

`Not at all. The UD is a collection of number relation, and its`

`existence is a theorem in elementary arithmetic.`

It requires the existence of all computation.

`That is Sigma_1 truth. That is contained in a tiny fragment of`

`provable truth in elementary arithmetic.`

I see no reason to suppose these exist, at least not in anyconventional meaning of 'exist'.

It exists in the sense of "even numbers exist".

It certainly doesn't follow from my saying "Yes" to the doctor thatI believe they exist.

It does follow.

It also has the problem that it explains too much - the white rabbitproblem.

`But that is *the* interesting things. Matter become a mathematical`

`problem. You can refute comp by showing that there is too much white`

`rabbits. But the logic of self-reference shows that it is not trivial.`

`The logic S4Grz1, X1* and Z1* explains already why the white rabbits`

`might be very rare, perhaps even more rare than with QM.`

but the existence of matter does not explain the existence ofnumber relations.It may not explain them, but it exemplifies them. And in factthat's how we learn what numbers are and how to count - long beforewe learn Peano's axioms and Cantor's diagonalization.

`That is normal. We are embedded in the reality of numbers, and cannot`

`see the numbers before seeing matter. This is explain in the theory.`

It is therefore a simpler theory to suppose the existence of numberrelations is fundamental and the appearance of matter is aconsequence, than to suppose both exist independently of each other.Simpler, yes. But then, "God did it" and "Everything exists." aresimple too. An explanation with no predictive power isn't much ofan explanation.

`It predicts physics and consciousness. Quantitively and qualitatively.`

`OK, it has not YET find a new particle, and that might take time. But`

`the theory explains much more than physics has ever explain, and this`

`with much fewer assumptions.`

Bruno http://iridia.ulb.ac.be/~marchal/ -- 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@googlegroups.com. To unsubscribe from this group, send email to everything-list+unsubscr...@googlegroups.com. For more options, visit this group at http://groups.google.com/group/everything-list?hl=en.