数論の有効な結果
数論において、有効な結果(英: Effective results)であるとは、主張の内容が具体的に計算可能であることを表す。 数論における結果は、歴史的理由やディオファントス方程式の解法への応用を理由に、主張の内容が計算可能か否かを判断することを数学の他の分野よりも精査されてきた。例えばある整数のリストが有限であると主張されているならば、原理的に計算機で計算してそのリストを出力できるかどうかが問題となる。