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

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

Date: Sat, 23 Sep 2006 15:26:21 +0200

Le 22-sept.-06, à 19:10, Russell Standish a écrit :

*>
*

*> On Fri, Sep 22, 2006 at 02:59:09PM +0200, Bruno Marchal wrote:
*

*>>
*

*>>> Any person's experience is obtained by
*

*>>> differentiating - selecting something from that "nothing".
*

*>>>
*

*>>> The relationship between this zero information object, and
*

*>>> arithmetical platonia is a bit unclear, but I would say that anything
*

*>>> constructible (Sigma_1) must be extractable from the zero information
*

*>>> object.
*

*>>
*

*>> OK then. But this means you are an arithmetical realist, and that an
*

*>> external "reality" exist, for example your strings, or your set of
*

*>> strings, and I am still more confused by your saying there is not even
*

*>> an immaterial external reality, which would be solipsism with a
*

*>> revenge.
*

*>>
*

*>> Bruno
*

*>>
*

*>
*

*> The set of all strings is the same object, regardless of
*

*> interpretation, regardless of alphabet, and is the only object to have
*

*> zero information. It is a good candidate for the Everything, but
*

*> curiously it has the properties of Nothing.
*

Please allows me at this stage to be the most precise as possible. From

a logical point of view, your theory of Nothing is equivalent to

Q1 + Q2 + Q3. It is a very weaker subtheory of RA. It is not sigma1

complete, you don't get the the UTM, nor all partial recursive

functions FI or all r.e. set Wi. Actually you cannot recover addition

and multiplication.

But it is neither "nothing". It is the natural numbers without addition

and multiplication, the countable order, + non standard models.

Or you have an implicit second order axiom in mind perhaps, but then

you need to express it; and then you have a much richer ontology than

the one expressed through RA.

*>
*

*> One simply cannot observe this zero information object, one can only
*

*> observe somethings, descriptions in my terminology. Anything in
*

*> Sigma_1 is such a something.
*

Sigma_1 is far richer. There are many sigma_1 true arithmetical

sentences (provable by RA, PA, ZF, ...) not provable in your system.

*> Anything you can possibly to convey to me about
*

*> any mathematical object must also be extractable.
*

Again, strictly speaking this is not true. (Unless your implicit axioms

obviously ...)

*> However, there are
*

*> possibly mathematical things not within the zero information objects,
*

*> but they are inherently noncommunicable (shades of you G*\G perhaps?).
*

You are very well below. You cannot even prove the existence of a prime

number in your theory.

*>
*

*> I think all that I say is that external reality is Nothing.
*

No. Even your very weak theory as infinite models, and models of all

cardinality. But it has no finite models, still less the empty model

(which logicians avoid).

*> It is not
*

*> quite the same as saying there is no external reality, but not far
*

*> off.
*

This is too ambiguous. And too much sounding solipsistic.

*>
*

*> But solipsism is really about other minds, in any case, so its hardly
*

*> solipsism.
*

Which again show the external reality is very rich, but your ontic

theory cannot prove the most elementary thing about it.

I guess you are using some implicit supplementary axiom.

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 23 2006 - 09:27:58 PDT

Date: Sat, 23 Sep 2006 15:26:21 +0200

Le 22-sept.-06, à 19:10, Russell Standish a écrit :

Please allows me at this stage to be the most precise as possible. From

a logical point of view, your theory of Nothing is equivalent to

Q1 + Q2 + Q3. It is a very weaker subtheory of RA. It is not sigma1

complete, you don't get the the UTM, nor all partial recursive

functions FI or all r.e. set Wi. Actually you cannot recover addition

and multiplication.

But it is neither "nothing". It is the natural numbers without addition

and multiplication, the countable order, + non standard models.

Or you have an implicit second order axiom in mind perhaps, but then

you need to express it; and then you have a much richer ontology than

the one expressed through RA.

Sigma_1 is far richer. There are many sigma_1 true arithmetical

sentences (provable by RA, PA, ZF, ...) not provable in your system.

Again, strictly speaking this is not true. (Unless your implicit axioms

obviously ...)

You are very well below. You cannot even prove the existence of a prime

number in your theory.

No. Even your very weak theory as infinite models, and models of all

cardinality. But it has no finite models, still less the empty model

(which logicians avoid).

This is too ambiguous. And too much sounding solipsistic.

Which again show the external reality is very rich, but your ontic

theory cannot prove the most elementary thing about it.

I guess you are using some implicit supplementary axiom.

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 23 2006 - 09:27:58 PDT

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