发表机构
St. Mary’s International School（圣玛丽国际学院）
机构由 AI 辅助整理，请以论文原文为准。AI 中文总结
本文在构造性数学中研究均值的不等式与等式，证明对构造性实数参数，不存在总能判定两个均值是否相等的算法，而参数为有理数时则可判定。
AI 中文摘要
我们在构造性数学中研究数的均值的不等式与等式。此类均值的参数是构造性实数。我们证明，不可能存在一个算法总能判定两个均值是否相等。当然，若参数为有理数，此问题总能被解决。
英文摘要
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.
