From: Marc Alcobé García on
Understanding is necessary for even the possibility of logic as a
science.
From: John Jones on
yasu wrote:
> Hi,
>
> I am a 33 year old Japanese male, never been formally educated in math
> or logic but have always been "bothered" by my blurred understanding
> of math,logic, etc, for the past 15 years or so..
>
> I have been trying to figure out what such things that bother me
> really are... bought ( and read some part of...) many books on logic,
> philosophy, mathematics, etc
>
> I am still not clear and I am not sure if my question will be answered
> even after I have read and studied all my books...
>
> So, if you don't terribly mind, please would you comment on my
> thinking below?
>
> =========================================================
>
> MATHEMATICS is a belief system which can be almost mechanically
> followed.
>
> The study and research of MATHEMATICS is not practiced by any machine
> today.
>
> Understanding requires assumptions about implicitly stated conditions.
>
> Such assumptions are not practiced by any machine today.
>
>
>
> Kind Regards,
> Yasuaki Kudo
> PS
> My occupation is computer programmer.

You are asking the wrong people.

Mathematicians do not know what mathematics is. They know how to
manipulate mathematical syntax, which is something completely different.

You should direct your question to a good philosopher.
From: Marc Alcobé García on
> Mathematicians do not know what mathematics is. They know how to
> manipulate mathematical syntax, which is something completely different.

I think mathematicians do know a lot more than manipulating
mathematical syntax... even if they are strict formalists.

From: John Jones on
Marc Alcob� Garc�a wrote:
>> Mathematicians do not know what mathematics is. They know how to
>> manipulate mathematical syntax, which is something completely different.
>
> I think mathematicians do know a lot more than manipulating
> mathematical syntax... even if they are strict formalists.
>

Are you reasonably sure?
From: Marc Alcobé García on
On 28 mar, 05:23, John Jones <jonescard...(a)btinternet.com> wrote:
> Marc Alcobé García wrote:
> >> Mathematicians do not know what mathematics is. They know how to
> >> manipulate mathematical syntax, which is something completely different.
>
> > I think mathematicians do know a lot more than manipulating
> > mathematical syntax... even if they are strict formalists.
>
> Are you reasonably sure?

Absolutely.