Re: it's a conceptual zoo out there

Liste des GroupesRevenir à s math 
Sujet : Re: it's a conceptual zoo out there
De : ram (at) *nospam* zedat.fu-berlin.de (Stefan Ram)
Groupes : sci.math
Date : 19. Jul 2024, 15:06:23
Autres entêtes
Organisation : Stefan Ram
Message-ID : <math-20240719150342@ram.dialup.fu-berlin.de>
References : 1
sobriquet <dohduhdah@yahoo.com> wrote or quoted:
In particle physics, people used to refer to the particle zoo since
. . .
Can we expect something similar to happen eventually in math, given
. . .

  I don't think so, because math has this reduction of
  entities build in right from the start. The mathematical
  structures are composed exactly in such a manner as to
  avoid unnecessary repetitions and redundancies, and in
  a sense that's the reason there are so many of them.

  You could avoid the terms by giving your preconditions anew
  each and every time. So, instead of, "Let G be a group, ",
  you'd say, "Let (M,+) be a pair so that ...". So you would
  not need to introduce the term "group". But this wouldn't
  make reading the text any easier! You could then even avoid the
  term "pair" by writing a certain kind of set instead. So in the
  end, maybe you would only need basic concepts of set theory.
  But in most cases, it would be impossible to write or read
  such a text, just as it would make it impossible to understand
  a detective story to tell it by describing all the quarks and
  gluons the detective is made of and how they move in time.

Can we kind of distinguish between mathematical reality and mathematical
fantasy

  In mathematical reality, all your concepts need to be clearly defined
  and all you assertions need to be free from contradictions.

  In mathematical fantasy, you could have vague concepts and admit
  contradictions.

Date Sujet#  Auteur
23 Jun 24 * it's a conceptual zoo out there14sobriquet
23 Jun 24 +* Re: it's a conceptual zoo out there2Ross Finlayson
23 Jun 24 i`- Re: it's a conceptual zoo out there1Ross Finlayson
23 Jun 24 +* Re: it's a conceptual zoo out there10FromTheRafters
23 Jun 24 i+* Re: it's a conceptual zoo out there3Ross Finlayson
23 Jun 24 ii`* Re: it's a conceptual zoo out there2Ross Finlayson
23 Jun 24 ii `- Re: it's a conceptual zoo out there1Ross Finlayson
23 Jun 24 i`* Re: it's a conceptual zoo out there6sobriquet
23 Jun 24 i +* Re: it's a conceptual zoo out there3Mike Terry
23 Jun 24 i i`* Re: it's a conceptual zoo out there2Ross Finlayson
30 Jun 24 i i `- Re: it's a conceptual zoo out there1sobriquet
23 Jun 24 i +- Re: it's a conceptual zoo out there1FromTheRafters
23 Jun 24 i `- Re: it's a conceptual zoo out there1Ross Finlayson
19 Jul 24 `- Re: it's a conceptual zoo out there1Stefan Ram

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal