On 26 Dec 2012, at 16:17, Roger Clough wrote:

Hi Bruno Marchal

It all boils down to this: is something that is mathematically true necessarily physically true ?

I cannot even understand what that could mean.

I don't think that any mathematical truth is ever physically true. It is a category error (a point where I agree with Bill)

I don't think there is a general notion of "mathematical truth", nor do I think there is a primitive notion of "physical truth".

Assuming comp, we do have, by a sort of miracle, a rather clear notion of truth: arithmetical truth. It is quasi definable, and everybody seems to agree on the elementary base (except sunday philosophers).

Assuming comp, and assuming there is no logical flaw in UDA, we can bet on truth = arithmetical truth, and then derive, in the UDA way, and using the canonical self-reference logic, the witnessing of the existence of a rich psychology, and theology, including physics and cosmogonies.

But physics is described as the theory predicting result of observation, and observation is described by the interaction of a universal machine relatively to its most probable universal neighborhood.

Given that the basic reality is arithmetic, it is not astonishing that the physical has mathematical aspect.

It is even normal, here, that the psychological and theological hide their mathematical aspect, as they are not completely available to us from our perspective.




This question can be restated as "are mathematical truth and pragmatic truth
the same ?"

The truth that your government tries to hide to you:  1 + 1 = 2.

The pragmatic truth: 1 + 1 = 2 + taxes.




IMHO No, because theory can be wrong but what works works.

Which reminds me what Charles said on the FOR, or FOAR, list:

In theory, practice and theory fit well.
In practice, they don't.

The problem is that, in practice, we have only theories, and when you say 'what works works,' you are just betting on your oldest theories which have never been disconfirmed by experience (like the ground can support me). (Of course, "you" are (1p) betting from your ultimate ineffable undoubtable (but hidden from the public) conscious lever).

So we can only propose, publicly, but even to ourselves on any matter, theories, and we can only live the "pragmatic", which is itself the result of billions years, if not much longer complex universal machine histories in arithmetic. And we can only measure the imbalance between what we live and what we theorize (even theorizing on what we have theorized unconsciously in some possible past).

Keep in mind this theory protects the person from any reductionism, and is eventually far closer to Plato, Plotinus, and perhaps Descartes and Leibniz than to Aristotle, Metaphysical Naturalism, Physicalism, Weak Materialism, which is unfortunately often presented as the rationalist position. Today, we have theories and facts which makes Plato more rational than Aristotle, imo, for the big picture.

And then the Church Turing thesis, or Emil Post law, rehabilitates the more Pythagorean form of (Neo)Platonism.

If you don't like Number, you can use Word instead. The primitive ontology needs only to be Turing complete, equivalently, capable of proving all true sigma_1 sentences, as I am sure you and everybody can. That will already contains the computation involving more rich observers, not only sigma_1 complete, but Löbian, which means that they can know that they are Turing universal, and that they can get the "frightening" consequences (no prevention against crashing, looping, dreaming, hallucinating, etc. DBf, in G*.

The physical becomes the border of the number's observability (= bettable prediction for measurement) ability.

Arithmetic is an Indra net of universal entities not only reflecting each others, but interacting in all possible ways. Universal numbers can put masks and stop recognizing themselves, getting sleepy for awhile. This often makes shit happens more than usually and this can grow up to awaken them, momentarily, sometimes only relatively, etc.

Bruno






[Roger Clough], [rclo...@verizon.net]
12/26/2012
"Forever is a long time, especially near the end." -Woody Allen

----- Receiving the following content -----
From: Bruno Marchal
Receiver: everything-list
Time: 2012-12-26, 05:30:24
Subject: Re: Ten top-of-my-head arguments against multiverses




On 25 Dec 2012, at 15:34, Roger Clough wrote:


Hi Brian Tenneson

Tegmark has many many good ideas, but I am not a believer in multiverses,
which only a strict mechanistic 19th century type can believe.

Multiverses defy reason. Just off the top of head:

1) For one reason because of Occam's razor: it is a needless complication,
and the universe (or its Creator) does not do needless things,
because IMHO the universe is purposeful.


I disagree. The multiverse is just the literal reading of the SWE. To get 1 universe from the SWE you need to add a complication in the form of a collapse or a reduction principle. Occam asks us to chose the simpler theory, not the simpler ontology. Note that with comp we get both. The theory is the laws of + and *, and the ontology is the standard model of arithmetic: (N, +, *). But then in the 1p plural and singular we get the many dreams from which multiverses or quasi-multiverses emerge.











2) "Purposeful" meaning that Aristotle's end causes are needed for a
final collapse, as they are for life, which is not mechanistic.

3) As in life/mind/consciousness/intelligence, which are also purposeful.

4) In order for there to be multiple universes, there would
have to be multiple platonic Ones. But there can only be one One.




Not really. The ONE is "known" to let the multiple emanates from "him/her/it". The one remains one, but from inside and/or machine's epistemology you get the many internal views.







5) Multiverses are mechanistic and so in spacetime, but consciouss life
and all that other good stuff are outside of spacetime.  Would the
minds of multiverses be mashed together ?  And all particular lifes
would have to terminate at the same time.

6) There is no non-Boltzmann physics which is required for a final collapse.
Time has to begin to travel backwards as things reorganize,
in which case the final collapse should be a reflection of the initial creation.
That would be cool.

7) But each universes being differemnt, they would not be expected to
all terminate at the same time.

8) One might conjecture also that the presence of life, consciousness and
intelligence (which are all individual, personal, subjective) are not
mechanical and so cannot be part of a multiverse. It's each man
for himself.  Along these lines, because of natural selection and
different worlds not being all the same, evolution would not occur
in parallel.

9) Besides, there are alternate possibilities for a quantum wave collapse.


I have not yet find one, and besides, this would contradict the comp hypothesis.







10) In a related matter, one of the multiverse sites cited William James
as a proponent. Because of his pragmatism, his multiverses arise
because there is no fixed general in pragmatism for each particular.
There are as many generals (additional universes) as you can think of.
These obviously would not be parallel.


Parallel worlds are not really parallel. It is only a manner of speaking.
The "real" structure is still unknown and is plausibly rather complex.


Bruno







[Roger Clough], [rclo...@verizon.net]
12/25/2012
"Forever is a long time, especially near the end." -Woody Allen

----- Receiving the following content -----
From: Brian Tenneson
Receiver: everything-list
Time: 2012-12-24, 13:11:46
Subject: Re: Fw: the world as mathematical. was pythagoras right after all ?


What do you think of Tegmark's version of a mathematical Platoia?



-- You received this message because you are subscribed to the Google Groups "Everything List" group. To view this discussion on the web visit https://groups.google.com/d/msg/everything-list/-/6WzRUmWbHY0J .
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 .



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



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 .


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.

Reply via email to