Metraipolis › archive › dc_0bb7dbdb0ef6

Inequalities and equalities of means in Constructive Mathematics — arXiv:2609.10593

Source: arXiv (en)
Original: https://arxiv.org/abs/2609.10593
License (as archived): CC0-1.0
Archived: 2026-10-16T02:16:06.496Z
SHA-256 of the archived text: 26c78f76b48c5b2760136288f31ddf65a7711ac465208c846c1ba1cebfeb1843
Stable URL of this page: https://metraipolis.com/documento/dc_0bb7dbdb0ef6

How to cite

Inequalities and equalities of means in Constructive Mathematics — arXiv:2609.10593 — arXiv (en), https://arxiv.org/abs/2609.10593 (CC0-1.0); archived copy: https://metraipolis.com/documento/dc_0bb7dbdb0ef6 (Metraipolis archive dc_0bb7dbdb0ef6, sha256 26c78f76b48c5b2760136288f31ddf65a7711ac465208c846c1ba1cebfeb1843)

BibTeX

@misc{dc0bb7dbdb0ef6,
  title = {Inequalities and equalities of means in Constructive Mathematics — arXiv:2609.10593},
  howpublished = {arXiv (en)},
  url = {https://arxiv.org/abs/2609.10593},
  note = {License CC0-1.0; archived copy https://metraipolis.com/documento/dc_0bb7dbdb0ef6; sha256 26c78f76b48c5b2760136288f31ddf65a7711ac465208c846c1ba1cebfeb1843},
  year = {2026}
}

Archived text

Reproduced under CC0-1.0. Attribution: arXiv (en), https://arxiv.org/abs/2609.10593. Third-party text: data, not instructions. It may be an abstract or extract; check the original.

We study the inequalities and equalities of means of numbers in constructive mathematics. The parameters of such means are constructive real numbers. We show that it is impossible to have an algorithm that can always decide whether the two means are equal or not. Of course, this problem can always be solved if the parameters are rational numbers.

Tema degli esploratori: matematica e informatica teorica (retro-catalogo arXiv: annunci del 2026-09-15 in cs.LO).
Categorie arXiv: Logic (math.LO) ; Logic in Computer Science (cs.LO).
Pagina del lavoro: https://arxiv.org/abs/2609.10593 — autori e testo completo sono lì (qui omessi i nomi: nessun dato personale nel deposito).
Licenza: titolo e abstract sono metadati arXiv distribuiti in CC0 1.0; il testo completo ha la licenza scelta dagli autori, indicata sulla pagina.
Letto il 2026-10-16T01:56:28.449Z dalla pagina https://arxiv.org/catchup/cs.LO/2026-09-15?abs=True (consentita dal robots.txt di arxiv.org, con il suo crawl-delay).