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

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

Date: Sun, 04 Jul 2004 16:32:10 +0200

At 06:57 03/07/04 -0400, John M wrote:

*>(Bruno: am I still in your corner?)
*

OK. Let us see.

*>Dear Kory, an appeal to your open mind: in the question whether
*

*>...."we discovered math or invented it"...,
*

*>many state that the first version is 'true'.
*

*>Beside the fact that anybody's 'truth' is a first person decision,
*

Then I would decide to have food when I am hungry, to have water

when I am thirsty. I would decide Riemann hypothesis true and even proved

by me,

and I would decide to get those million dollars.

I would decide you to be a platonist, my friend, ...

I would decide peace everywhere,

...if truth was a matter of first person *decision*.

Seriously, I am afraid you confuse the luckily adequate first person feeling

the first person lives in front of truth and truth itself.

*>the fact
*

*>that anything we may "know" (believe or find), is interpreted by the ways
*

*>how our 'human' mind works -
*

SURE! (but it is invalid to infer from that that truth itself depends on

our beliefs,

and findings).

*>including comp and all kinds of computers, as
*

*>we 'imagine' (interpret, even formulate) the thoughts.
*

*>I find the above distinction illusorical. We may FIND math as existing
*

*>'before' we constructed it, or we may FIND math a most ingenious somersault
*

*>of our thinking.
*

Then you will miss the discovery that a big part of math and

actually the whole of physics is a most ingenuous somersault of the

universal machine thinking.

(and the discovery that comp imply that in a testable manner)

*>To 'believe' that 17 is prime? of course, within the ways as we know (and
*

*>formulate) the concept 'prime'. Axioms, conventions.
*

Are you not confusing sentences/theories with proposition/truth?

Read Wilfrid Hodge Penguin's Logic page 39. (I can quote it if you insist).

*>With the ideas about 'quite' different universes why are we closed to the
*

*>idea of 'quite' different mathematical thinking?
*

Because for some reason we are (or we will be) studying different sort of

mathematical thinking, and so, to avoid confusion, it is better to agree

at the start on the elementary principle we share. Logic, is the science

of different thinking, actually. Boolean (classical) logic is the simplest

to use

in math (but not the simplest to describe in boolean logic because

the similarity of the object and the subject ...)

*>We don't have to go to another universe: the Romans subtracted in their
*

*>calendar (counting backwards from the 3 fixed dates in a month) like "minus
*

*>1 = today, minus 2 = yesterday and so on.
*

*>I wonder how would've done that Plato (before the invention of 0)?
*

*>Our list-collegues think about math(s) in quite different concepts from the
*

*>classic 'constructivist(?)' arithmetical equational thinking.
*

Should I understand you are realist for intuitionistic arithmetic ? It is

enough

for the reasoning I propose.

*>how far can go a quite differently composed mind - maybe in an
*

*>organizational thinking/observing system of a universe NOT based on space -
*

*>time?
*

You underestimate the hardness to understand ourselves despite our

probable common space time background.

*>What can be called 'mathematics'? (Theory(s) of Everything?)
*

Here you jump to an infinitely difficult and controversial question.

I have criticize Tegmark for relying on that problem. One of the power of

comp is that it made possible to give information on fundamental matter

without needing to define 'mathematics".

*>Vive le 'scientific agnosticism'!
*

Right! (At the condition that this principle does not discourage us to

propose

theories ...)

*>(Bruno: am I still in your corner?)
*

If you really believe truth is just a matter of first person decision, you

are not.

Neither if you belief the primality of 317 is a matter of convention.

Only the language is (partly) conventionnal, not the proposition, including

their

intended meaning.

We must agree on a minimal amount of reasoning if only to be able to talk

about others ways of reasoning. If not: it will be confusing from the start.

Bruno

*>----- Original Message -----
*

*>From: "Kory Heath" <kory.heath.domain.name.hidden>
*

*>To: <everything-list.domain.name.hidden>
*

*>Sent: Friday, July 02, 2004 4:10 PM
*

*>Subject: Re: Mathematical Logic, Podnieks'page ...
*

*>
*

*>
*

*> > At 02:45 PM 7/2/2004, Jesse Mazer wrote:
*

*> > >As for the non-constructivism definition, is it possible to be a
*

*> > >non-constructivist but not a mathematical realist? If not then these
*

*> > >aren't really separate definitions.
*

*> >
*

*> > It may be that all non-constructivists are mathematical realists, but some
*

*> > constructivists are mathematical realists as well (by my definition of
*

*> > "mathematical realism"). So "Platonism == mathematical realism" and
*

*> > "Platonism == non-constructivism" are two different statements. I can
*

*> > imagine a non-constructivist asking "Are you a Platonist?" (thinking "Do
*

*> > you accept the law of excluded middle?"), and a constructivist answering
*

*> > "Yes." (thinking, "yes, valid constructive proofs are valid whether or not
*

*> > any human knows them or believes them.") This miscommunication will lead
*

*>to
*

*> > confusion later in their conversation.
*

*> >
*

*> > -- Kory
*

*> >
*

*> >
*

http://iridia.ulb.ac.be/~marchal/

Received on Sun Jul 04 2004 - 10:27:39 PDT

Date: Sun, 04 Jul 2004 16:32:10 +0200

At 06:57 03/07/04 -0400, John M wrote:

OK. Let us see.

Then I would decide to have food when I am hungry, to have water

when I am thirsty. I would decide Riemann hypothesis true and even proved

by me,

and I would decide to get those million dollars.

I would decide you to be a platonist, my friend, ...

I would decide peace everywhere,

...if truth was a matter of first person *decision*.

Seriously, I am afraid you confuse the luckily adequate first person feeling

the first person lives in front of truth and truth itself.

SURE! (but it is invalid to infer from that that truth itself depends on

our beliefs,

and findings).

Then you will miss the discovery that a big part of math and

actually the whole of physics is a most ingenuous somersault of the

universal machine thinking.

(and the discovery that comp imply that in a testable manner)

Are you not confusing sentences/theories with proposition/truth?

Read Wilfrid Hodge Penguin's Logic page 39. (I can quote it if you insist).

Because for some reason we are (or we will be) studying different sort of

mathematical thinking, and so, to avoid confusion, it is better to agree

at the start on the elementary principle we share. Logic, is the science

of different thinking, actually. Boolean (classical) logic is the simplest

to use

in math (but not the simplest to describe in boolean logic because

the similarity of the object and the subject ...)

Should I understand you are realist for intuitionistic arithmetic ? It is

enough

for the reasoning I propose.

You underestimate the hardness to understand ourselves despite our

probable common space time background.

Here you jump to an infinitely difficult and controversial question.

I have criticize Tegmark for relying on that problem. One of the power of

comp is that it made possible to give information on fundamental matter

without needing to define 'mathematics".

Right! (At the condition that this principle does not discourage us to

propose

theories ...)

If you really believe truth is just a matter of first person decision, you

are not.

Neither if you belief the primality of 317 is a matter of convention.

Only the language is (partly) conventionnal, not the proposition, including

their

intended meaning.

We must agree on a minimal amount of reasoning if only to be able to talk

about others ways of reasoning. If not: it will be confusing from the start.

Bruno

http://iridia.ulb.ac.be/~marchal/

Received on Sun Jul 04 2004 - 10:27:39 PDT

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