- Contemporary messages sorted: [ by date ] [ by thread ] [ by subject ] [ by author ] [ by messages with attachments ]

From: Bruno Marchal <marchal.domain.name.hidden>

Date: Sat, 2 Sep 2006 14:54:38 +0200

Le 31-août-06, à 22:20, 1Z a écrit :

*>
*

*>
*

*> Bruno Marchal wrote:
*

*>
*

*>> Le 29-août-06, à 20:45, 1Z a écrit :
*

*>>
*

*>>
*

*>>
*

*>>> The version of AR that is supported by comp
*

*>>> only makes a commitment about mind-independent *truth*. The idea
*

*>>> that the mind-independent truth of mathematical propositions
*

*>>> entails the mind-independent *existence* of mathematical objects is
*

*>>> a very contentious and substantive claim.
*

*>>
*

*>>
*

*>> You have not yet answered my question: what difference are you making
*

*>> between "there exist a prime number in platonia" and "the truth of the
*

*>> proposition asserting the *existence* of a prime number is independent
*

*>> of me, you, and all contingencies" ?
*

*>
*

*> "P is true" is not different to "P". That is not the difference I
*

*> making.
*

I am glad to hear this.

*>
*

*> I'm making a difference between what "exists" means in mathematical
*

*> sentences and what it means in empiricial sentences (and what it means
*

*> in fictional contexts...)
*

Of course I do that difference too! Each hypostase has its own notion

of existence.

When I say that a number exists, it is in the usual sense of a realist

arithmetician.

But physical existence is a completely different things having a logic

of its own. The UDA shows that the logic of the physical propositions

should emerge from the logic of what will be true in all accessible

worlds. The world correspond to the relative consistent extension and

are eventually characterized by the discourse which remain invariant

through world-transition, themselves eventually given by the interview

of the lobian machine.

I am certainly not identifying many different notion of existence, on

the contrary. Recall perhaps that each hypostase (that is "notion of

person") defines some "canonical" Kripke "multiverses".

Perhaps search on "Kripke" in the archive, but I guess we will go back

to this at some point.

*>
*

*>
*

*> The logical case for mathematical Platonism is based on the idea
*

*> that mathematical statements are true, and make existence claims.
*

*> That they are true is not disputed by the anti-Platonist, who
*

*> must therefore claim that mathematical existence claims are somehow
*

*> weaker than other existence claims -- perhaps merely metaphorical.
*

*> That the the word "exists" means different things in different contexts
*

*> is easily established.
*

*>
*

*> <snip; ok but not completely relevant or premature>
*

*>
*

*> (Incidentally, this approach answers a question about mathematical and
*

*> empirical
*

*> truth. The anti-Platonists want sthe two kinds of truth to be
*

*> different, but
*

*> also needs them to be related so as to avoid the charge that one class
*

*> of
*

*> statement is not true at all. This can be achieved because empirical
*

*> statements rest on non-contradiction in order to achive correspondence.
*

*> If an empricial observation fails co correspond to a statemet, there
*

*> is a contradiction between them. Thus non-contradiciton is a necessary
*

*> but insufficient justification for truth in empircal statements, but
*

*> a sufficient one for mathematical statements).
*

Even for math, non contradiction is not a sufficient criteria. This

follows immediately from the second incompleteness theorem. PA cannot

prove its own consistency (PA does not prove ~Bf). This means you will

not get a contradiction by adding to PA the formula stating that PA is

inconsistent (Bf). Sp PA + Bf, although quite insane in some sense, is

actually consistent, but mathematically unreasonable (but useful in

self-reference theory for getting a simple example of arithmetically

unsound but consistent machine).

*>
*

*>
*

*>
*

*>>> Where is it shown the UD exists ?
*

*>>
*

*>>
*

*>> If you agree that the number 0, 1, 2, 3, 4, ... exist (or again, if
*

*>> you
*

*>> prefer, that the truth of the propositions:
*

*>>
*

*>> Ex(x = 0),
*

*>> Ex(x = s(0)),
*

*>> Ex(x = s(s(0))),
*

*>> ...
*

*>>
*

*>> is independent of me), then it can proved that the UD exists. It can
*

*>> be
*

*>> proved also that Peano Arithmetic (PA) can both define the UD and
*

*>> prove
*

*>> that it exists.
*

*>
*

*> But again this is just "mathematical existence". You need some
*

*> reason to assert that mathematical existence is not a mere
*

*> metaphor implying no real existence, as anti-Platonist
*

*> mathematicians claim. I do not think that is given by computationalism.
*

When I say that there is an infinity of prime number, it is not a

metaphor.

I am not saying that prime numbers exists like electrons, only that the

"physical existence of electron" emerge in the stable dreams of the

lobian machines, and those dreams are reducible to relative and local

finite computations which, relatively to universal numbers (which exist

by CT), exist then, in the same sense than the prime number, that is

the interpretation of formula like "ExP(x,y)" in the standard model of

arithmetic (the one we learn at school).

*>
*

*>>>> Tell me also this, if you don't mind: are you able to doubt about
*

*>>>> the
*

*>>>> existence of "primary matter"? I know it is your main fundamental
*

*>>>> postulate. Could you imagine that you could be wrong?
*

*>>>
*

*>>> It is possible that I am wrong. It is possible that I am right.
*

*>>> But you are -- or were -- telling me matter is impossible.
*

*>>
*

*>>
*

*>> Only when I use Occam.
*

*>
*

*> Occam does not support conclusions of impossibility. It could
*

*> be a brute fact that the universe is more complicated than
*

*> strcitly necessary.
*

With comp the universe is more complicated than necessary. Once lobian

machines appear relatively to themselves, complexity grows locally, in

an unbounded way.

*>
*

*>> Without Occam I say only that the notion of
*

*>> primary matter is necessarily useless i.e. without explanatory
*

*>> purposes
*

*>> (even concerning just the belief in the physical proposition only) .
*

*>> This is a non trivial consequence of the comp hyp. (cf UDA).
*

*>
*

*> As is the way with these things, we anti-Platonists appeal
*

*> to Occam as well (although not qua impossibilia).
*

Please I have never said that primary matter is impossible. Just that I

have no idea what it is, no idea what use can it have, nor any idea how

it could helps to explain quanta or qualia.

So I am happy that with comp it has necessarily no purpose, and we can

abandon "weak materialism", i.e. the doctrine of primary matter, like

the biologist have abandon the vital principle, or like the abandon of

ether by most physicist.

But with comp it is shown how to retrieve the appearance of it, by

taking into account the differences between the notions of n-person

(and of n-existence) the universal machine cannot avoid.

*>
*

*> All the facts about mathematical truth and methodology can be
*

*> established
*

*> without appeal to the actual existence of mathematical objects.
*

I am not *that* platonist.

But I can revert your sentence: All the facts about *physical* truth

and methodology can be established (and with comp: *have to* be

established) without appeal to the actual existence of physical object.

*> In fact, the lack of such objects actually explains the
*

*> objectivity and necessity of maths. Mathematical statements
*

*> are necessarily true because there are no possible circumstances
*

*> that make them false;
*

Not really .....

*> there are no possible circumstances that
*

*> would make them false because they do not refer to anything
*

*> external.
*

It depends what you mean by "external". You beg the question because

you talk like if we *knew* there is a "primary material reality" out

there.

*> This is much simpler than the Platonist
*

*> alternative that mathematical statements :
*

*> 1) have referents
*

*> which are
*

*> 2) unchanging and eternal, unlike anything anyone has actuall seen
*

*> and thereby
*

*> 3) explain the necessity (invariance) of mathematical statements
*

*> without
*

*> 4) performing any other role -- they are not involved in
*

*> mathematical proof.
*

I am not *that* platonist at all!!!!! (Neither Plato or Plotinus, ...)

*>
*

*>>> But the negative integers exist (or "exist"), so it has
*

*>>> an existing predecessor.
*

*>>
*

*>>
*

*>> Yes. But the axiom Q1 "Ax ~(0 = s(x)" is not made wrong just because
*

*>> you define the negative integer in Robinson Arithmetic. The "x" are
*

*>> still for "natural number". The integer are new objects defined from
*

*>> the natural number. All right? To take another example, you can define
*

*>> in RA all partial recursive functions, but obviously they does not
*

*>> obey
*

*>> to the Q axioms, they are just constructs, definable in RA.
*

*>
*

*> So the specialness of Time depends on the specialness of nautral
*

*> numbers, depends on the specialness of Robinson Arithemtic ?
*

Robinson Arithmetic is Turing-universal, and, unlike just any UTM, RA

can easily be extended into Peano Arithmetic, which is not only turing

universal, but which, in some precise sense, know that she is turing

universal.

Mathematician does this all the time. They show that what they want to

prove about some mathematical object O does not depend on the choice of

representations used to represent O, so, after, they choose a special

representation in which O appears as something as simple as possible

for reasoning about it and then they can conclude by statements true on

O in all representations.

For the math you are far more platonist than I am. My position is just

that propositions like :"all non negative integers can be written as

the sum of four squares", [which was already known by Diophantus

(probably a contemporary of Plotinus), but proved much later by

Lagranges], are true independently of me or of any cognition abilities.

... If only because "cognition" has to be defined or isolate by number

relations, once the comp hyp is taken seriously enough.

And then physics will reappear as "relation between cognitions", higher

order "meta" relation between numbers ...

What I say is far more concrete than what you try to ascribe to me, I

think. I could say more: the standard comp-particles are probably

related to the irreducible presentation of permutation groups operating

on the roots of some (any?) universal diophantine polynomial(s), or

something like that. Why waves? I am still asking the lobian machine.

But thanks to Godel, Lob, Solovay ... it is possible to manage the

difference between quanta and qualia, intelligible matter and sensible

matter, sharable and unsharable truth, and many other n-person notions,

etc.

Don't forget I propose an empirically testable theory.

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.domain.name.hidden

To unsubscribe from this group, send email to everything-list-unsubscribe.domain.name.hidden

For more options, visit this group at http://groups.google.com/group/everything-list

-~----------~----~----~----~------~----~------~--~---

Received on Sat Sep 02 2006 - 08:56:37 PDT

Date: Sat, 2 Sep 2006 14:54:38 +0200

Le 31-août-06, à 22:20, 1Z a écrit :

I am glad to hear this.

Of course I do that difference too! Each hypostase has its own notion

of existence.

When I say that a number exists, it is in the usual sense of a realist

arithmetician.

But physical existence is a completely different things having a logic

of its own. The UDA shows that the logic of the physical propositions

should emerge from the logic of what will be true in all accessible

worlds. The world correspond to the relative consistent extension and

are eventually characterized by the discourse which remain invariant

through world-transition, themselves eventually given by the interview

of the lobian machine.

I am certainly not identifying many different notion of existence, on

the contrary. Recall perhaps that each hypostase (that is "notion of

person") defines some "canonical" Kripke "multiverses".

Perhaps search on "Kripke" in the archive, but I guess we will go back

to this at some point.

Even for math, non contradiction is not a sufficient criteria. This

follows immediately from the second incompleteness theorem. PA cannot

prove its own consistency (PA does not prove ~Bf). This means you will

not get a contradiction by adding to PA the formula stating that PA is

inconsistent (Bf). Sp PA + Bf, although quite insane in some sense, is

actually consistent, but mathematically unreasonable (but useful in

self-reference theory for getting a simple example of arithmetically

unsound but consistent machine).

When I say that there is an infinity of prime number, it is not a

metaphor.

I am not saying that prime numbers exists like electrons, only that the

"physical existence of electron" emerge in the stable dreams of the

lobian machines, and those dreams are reducible to relative and local

finite computations which, relatively to universal numbers (which exist

by CT), exist then, in the same sense than the prime number, that is

the interpretation of formula like "ExP(x,y)" in the standard model of

arithmetic (the one we learn at school).

With comp the universe is more complicated than necessary. Once lobian

machines appear relatively to themselves, complexity grows locally, in

an unbounded way.

Please I have never said that primary matter is impossible. Just that I

have no idea what it is, no idea what use can it have, nor any idea how

it could helps to explain quanta or qualia.

So I am happy that with comp it has necessarily no purpose, and we can

abandon "weak materialism", i.e. the doctrine of primary matter, like

the biologist have abandon the vital principle, or like the abandon of

ether by most physicist.

But with comp it is shown how to retrieve the appearance of it, by

taking into account the differences between the notions of n-person

(and of n-existence) the universal machine cannot avoid.

I am not *that* platonist.

But I can revert your sentence: All the facts about *physical* truth

and methodology can be established (and with comp: *have to* be

established) without appeal to the actual existence of physical object.

Not really .....

It depends what you mean by "external". You beg the question because

you talk like if we *knew* there is a "primary material reality" out

there.

I am not *that* platonist at all!!!!! (Neither Plato or Plotinus, ...)

Robinson Arithmetic is Turing-universal, and, unlike just any UTM, RA

can easily be extended into Peano Arithmetic, which is not only turing

universal, but which, in some precise sense, know that she is turing

universal.

Mathematician does this all the time. They show that what they want to

prove about some mathematical object O does not depend on the choice of

representations used to represent O, so, after, they choose a special

representation in which O appears as something as simple as possible

for reasoning about it and then they can conclude by statements true on

O in all representations.

For the math you are far more platonist than I am. My position is just

that propositions like :"all non negative integers can be written as

the sum of four squares", [which was already known by Diophantus

(probably a contemporary of Plotinus), but proved much later by

Lagranges], are true independently of me or of any cognition abilities.

... If only because "cognition" has to be defined or isolate by number

relations, once the comp hyp is taken seriously enough.

And then physics will reappear as "relation between cognitions", higher

order "meta" relation between numbers ...

What I say is far more concrete than what you try to ascribe to me, I

think. I could say more: the standard comp-particles are probably

related to the irreducible presentation of permutation groups operating

on the roots of some (any?) universal diophantine polynomial(s), or

something like that. Why waves? I am still asking the lobian machine.

But thanks to Godel, Lob, Solovay ... it is possible to manage the

difference between quanta and qualia, intelligible matter and sensible

matter, sharable and unsharable truth, and many other n-person notions,

etc.

Don't forget I propose an empirically testable theory.

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.domain.name.hidden

To unsubscribe from this group, send email to everything-list-unsubscribe.domain.name.hidden

For more options, visit this group at http://groups.google.com/group/everything-list

-~----------~----~----~----~------~----~------~--~---

Received on Sat Sep 02 2006 - 08:56:37 PDT

*
This archive was generated by hypermail 2.3.0
: Fri Feb 16 2018 - 13:20:12 PST
*