Bruno,I took your mention of Hardy, perhaps naively, as an exihibit

of commonsense on your part but I see that was hasty. If you

pardon this observation your comments seem to wonder from

this branch of the Universe's wavefunction where we all live

and think to your own private branch where words have the

meanings you assign them. You engage, in other words, in

HumptyDumptese, a mode of _expression_ perilously close,

I am afraid, to EmptyDumptese!I did look up your URL which is definitely into that other

branch, but I manage to extract from it a paper of your which

seems to be directed at physicists (al least the first section),

called "Computation, Consciousness and the Quantum".

Unfortunately in that section you elaborate on a statement

of yours which is at best ambiguous and at worst entirely

false (a telling characteristic of Humpty Dumptese): you

"put it this way: all sufficiently realist interpretations

of quantum mechanics accept the existence of parallel

situations"! I take it by "situations" you mean alternatives,

no? Otherwise I don't know what you are talking about.If that is what you mean than your statement is misquantified:

most self-professed realist interpretations admit the existence

of parallel alternatives from which the outcomes of measurement

are drawn in some fashion. But Bohmian mechanics, the single

example you mention, does not. It is a fully deterministic

interpretation so it determines the singular outcome of each

experiment. So the little connundrum you revel in at the end

of that section simply does not obtain because Bohmians do

not interpret superpositions in the same was as Everettians.

Now I have no particular sympathy for either but that does

not allow me to abuse their standpoint to agrandize my own.

Let us put it that way...Something tells me the rest of your "proof" is likely to be

filled with the same self delusional presumptions as you

so blatantly exihibit here...Be careful how you sit on that wall...

Kindly,

-Joao

Bruno Marchal wrote:

To avoid mailbox explosion I give short and related answers

to many post in one post.Joao Leao ([EMAIL PROTECTED] ) wrote:

>By no means does this translate to the identification you

>suggest between what is empirical is what is... "incomplete",

>If anything physical reality sees mathematical reality "from

>the outside", and it is this "map" that is incomplete and likely

>to remain so, not because of the sparseness of empirical

>data, but due to the limited resources of physicists. As far

>as nature is concerned what is weird is not what cannot be

>mapped to math but what can (as in Wigner's famous

>"unreasonableness"paper)!!I agree with your answer, and I guess I have not been enough

clear, because you repeat what I said, except for my use of

Church thesis. I was (implicitely) assuming the computationalist

hypothesis in the cognitive science. Knowing that from comp

physics is reduced into a measure on the self consistent

extension, empiricalness and all contingencies is justified by

incompleteness. Now that is not obvious. Look in my URL for

links to the proof. Note that by Godel second theorem a consistent

machine cannot prove the existence of even just one consistent

extension, but yet can prove a lot about the geometry of those

consistent extensions, once they exist.======================

"CMR" <[EMAIL PROTECTED]> wrote (to Joao Leao)>I would tend to agree with Chaitin that your apparent confidence in the

>"precise accessibility" of Mathematics as opposed to that of physics may be

>misplaced; I would also agree that Leibniz's insights are probably more

>useful than Plato's on the ultimate "nature" of reality:

>

>

> >From "Should Mathematics Be More Like Physics? Must Mathematical Axioms Be

>Self-Evident?"Just to be clear on that point, I agree totally with Chaitin.

Now, some truth (like 317 is a prime) are clearer than any physical

proposition. But, as I said, there will be more and more mathematical

propositions, in the future, which will have "experimental" status, and

this follows from incompleteness phenomena.===================

"Norman Samish" <[EMAIL PROTECTED]> wrote:

>What are the philosophical implications of unsolvable mathematical problems?

>Does this mean that mathematical reality, hence physical reality, is

>ultimately unknowable?It is not because some question are unsolvable in one domain, that

all the question are unsolvable in that domain. Reality is most

plausibly *partially* knowable. With Godel we know that our uncertainties

are proportional to our certainties. This is perhaps related to the

free-will question btw.======================================

"Hal Finney" <[EMAIL PROTECTED]> wrote>If, from a set of axioms and rules of inference, we can produce a

>valid proof of a theorem, then the theorem is true, within that

>axiomatic system.

>

>

>I'd suggest that this notion of provability is analogous to the

>"reality" of physics. Provable theorems are what we know, within

>a mathematical system.

>

>

>Now, one problem with this approach is that it focuses on the theorems,

>which are generally "about" some mathematical concepts or objects,

>but not on the objects themselves. For example, we have a theory of

>the integers, and we can make proofs about them, such as that there

>are an infinite number of primes. These proofs are what we know about

>the integers, the "mathematical reality" of this subject.

>

>

>But what about the integers themselves? They are distinct from the

>theorems about them. Maybe we would want to say that it is the integers

>which are "mathematically real", rather than proofs about them.Yes. Important point. Why do you ask? I am afraid you are confusing

levels. Let me be precise on this because a lot of people are wrong

or confused. So, roughly speaking.

Number theory is the study of numbers. That is, a number theorist

works on numbers, and its main methodology is informal proof, conjectures,

and nowadays : computer experimentation, and tomorrow perhaps physical

experiment.

Geometry is the study of spaces. That is a (mathematical) geometer

works on spaces (Euclidian, non euclidian, riemannian, hilbert spaces,

projective spaces, etc.). and its main methodology is informal proof,

conjectures, etc.

Proof theory (a branche of logic) is the study of formal proofs.

That is, a proof theorist works on proofs and proofs system (quantum

like, intuitionnist, monotonic, modal, classical, non standard, etc.).

And its main methodology is, like any other mathematicians, *informal

proof*, conjecture, etc.

No mathematician do formal proofs. All proof in mathematical

books and papers are informal (although rigorous). To formalise

a proof is made only by proof theorist, because formal proof are their

object of study, but then they make informal proofs *about* those

formal proofs.

So, the number theorist learn about numbers, the geometer

learns about spaces, the proof theorist learns about proofs.

And then they exist bridges between those branch, and

applications, etc.

But a mathematician does not learn about proofs per se

(of course by practice he develops skills for proving things), but

he learns about its subject matter (numbers, spaces, etc.)

*through* proofs.======================================

"Stephen Paul King" <[EMAIL PROTECTED]> wrote:>This is at the heart of my argument against proposals such as those of

>Bruno Marchal. The "duration" required to instantiate a relation, even one

>between a priori "existing" numbers can not be assumed to be zero and still

>be a meaningful one.I don't want to look presumptuous, but then, I want to be clear about

what I have done (or at least about what I think, and apparently some other

people thinks I have done). In particular, I don't think I have made a

*proposal*. I provide a proof. A proof that *if* we postulate the COMP

hyp., *then* it

follows that physics is a branch of number theory. See my URL for the

proof, and

don't hesitate to ask question if some steps are unclear.

Note that the proof assumes almost nothing in mathematics. Only the attempt

of an actual derivation of the logical skeleton of the physical propositions

assumes a lot of mathematical logics. But the proof itself of the necessity

of the

reduction assumes nothing more that the comp hyp, and of course

some reasoning abilities, if this should be mentioned at all.

I am completely open to the idea that comp will be refuted, and that what

I have done could lead to such a refutation. But currently comp seems to be

confirmed by the facts. For example, the most obvious and oldest fact

which follows from comp is the Many-World-like ontology, and through

physics, the idea is slowly made seemingly reasonable.Bruno

-- Joao Pedro Leao ::: [EMAIL PROTECTED] Harvard-Smithsonian Center for Astrophysics 1815 Massachussetts Av. , Cambridge MA 02140 Work Phone: (617)-496-7990 extension 124 VoIP Phone: (617)=384-6679 Cell-Phone: (617)-817-1800 ---------------------------------------------- "All generalizations are abusive (specially this one!)" -------------------------------------------------------

## Advertising

-- Joao Pedro Leao ::: [EMAIL PROTECTED] Harvard-Smithsonian Center for Astrophysics 1815 Massachussetts Av. , Cambridge MA 02140 Work Phone: (617)-496-7990 extension 124 VoIP Phone: (617)=384-6679 Cell-Phone: (617)-817-1800 ---------------------------------------------- "All generalizations are abusive (specially this one!)" -------------------------------------------------------