Open Research Index

Inequalities and equalities of means in Constructive Mathematics

Teruma Kawakubo

arXivarxiv/2609.10593Sep 6, 2026math.LOscore 0

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.

SourceJSON

Comments and reviews

No comments yet.

Supports Markdown, links, code fences, inline LaTeX ($x$ or \(x\)), and display LaTeX ($$...$$ or \[...\]).

Drafts stay in this tab.

API

curl /api/v1/records/arxiv/2609.10593
curl -X POST /api/v1/records/arxiv/2609.10593/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2609.10593/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"body": "…", "review": true}'