Re: it's a conceptual zoo out there

On 06/23/2024 05:32 AM, FromTheRafters wrote:

sobriquet pretended :

In particle physics, people used to refer to the particle zoo since
there was such a bewildering variety of elementary particles that were
being discovered in the previous century.
Eventually things got reduced to a relatively small set of fundamental
fermions and bosons and all other particles (like hadrons or mesons)
were composed from these constituents (the standard model of particle
physics).
>
Can we expect something similar to happen eventually in math, given
that there is a bewildering variety of concepts in math (like number,
function, relation, field, ring, set, geometry, topology, algebra,
group, graph, category, tensor, sheaf, bundle, scheme, variety, etc..).
>
https://www.youtube.com/watch?v=KiI8OnlBTKs
>
Can we kind of distinguish between mathematical reality and
mathematical fantasy or is this distinction only applicable to an
empirical science like physics or biology (like evolution vs
intelligent design)?

>
I don't think so because regarding physics there is one goal, to model
reality, and I believe only one reality to deal with. With mathematics
there are endless abstractions such as the idea of endlessness itself in
its many forms.

As models of relation, of course mathematics is associated
with any matters of definition and reason, as logic is,
or also il-logic, about the realm of the abstract.
Then one may wonder there's a "Plato's ideal realm, of
mathematical objects", that it's a wider universe than
Earthly matters, and also whether it's the same.
Besides the usual notion of analysis as "mathematics
of the infinite", i.e., of analytical character that's
only so in the infinite limit, then also the non-standard
analysis, has as its goal again: real analytical character.
A nice thing about Goedel's incompleteness is "at least
it's open".
Then, whatever matters of real analytical character that
mathematics provides, can also automatically equip physics.
(The theory, "mathematical physics".)
About model theory and various theories of mathematical
objects regarding relations, numbers and counting, and
points and spaces, the equi-interpretable parts are
equi-interpretable.
Then that various number-theoretic conjectures about
number theory with standard integers are un-decide-able,
i.e. independent, including that there are standard integers,
is great.
Like all things Great it's Sublime.