Sujet : Re: how (point at infinity)
De : ross.a.finlayson (at) *nospam* gmail.com (Ross Finlayson)
Groupes : sci.mathDate : 16. Jun 2024, 13:56:02
Autres entêtes
Message-ID : <5rWdnZmvVrZHffP7nZ2dnZfqn_qdnZ2d@giganews.com>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19
User-Agent : Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101 Thunderbird/38.6.0
On 06/15/2024 04:50 PM, Moebius wrote:
Am 16.06.2024 um 01:45 schrieb Moebius:
Am 15.06.2024 um 19:30 schrieb Jim Burns:
>
It is an essential aspect of mathematics that,
when we are discussing a thing or things,
we are not discussing a different thing or things.
>
Right. The context should be a certain/unique theory.
>
For example, in real analysis there are no infinitesimals, on the other
hand, in non-standard analysis there are.
>
"Foundations" is the idea that there's a particular
theory that's all the theories, and "mathematics"
is a study of objective forms. (The regular, the
rulial, the constructivist, the abstract, the
structural, the objective, the forms.)
arithmetic
geometry
algebra(s)
function theory
topology
operator calculus
^- relations, predicates, terms
^- models, proofs
^- sets, parts, classes/particles
^- continua, individua
^- discrete, continuous
^- null, universal
Not finite, ..., all one thing.
All mathematical theories are essentially egalitarian,
objective, and it results there can be no paradoxes,
throughout all of mathematical logic, logical mathematics.
("Mathematics" and "Logic" are considered about the same.)