Re: because g⤨(g⁻¹(x))= g(y) [1/2] Re: how

On 05/03/2024 07:06 AM, Tom Bola wrote:

Am 03.05.2024 15:41:24 WM drivels:
>

Le 02/05/2024 à 01:32, Tom Bola a écrit :
>

I think that WM has a very fixed idea of the
"world of math" which is fixed by nature and
not a creation of culture in the mind of men

>
I don't know whether actual infinity is true.

>
Being true IN MIND is all the Mathematicians want and need.
>

That there is a "theory of truth" has two schools:
"idealists" are "platonists" who agree mathematics is discovered,
"nominalists" are "figurists" who each say mathematics is invented.
So, "logical positivism" is usually that in a rejection
of any metaphysics, it's axiomatics and formalism, that
arrives at the formalism and constructivism.
Yet, a "stronger logical positivism" can arrive back at
a "strong mathematical platonism", because the objects
of mathematics that are central and primary, are ubiquitous.
So, mathematicians vary, yet, over time over history,
most have at some point been mathematical platonists,
and agree that truths of mathematics, are discovered,
not invented.