数理論理学（数学基礎論）　その12

数理論理学（数学基礎論）　その12 at MATH

数理論理学（数学基礎論）　その12 - 暇つぶし2ch554:１３２人目の素数さん
18/01/12 19:11:29.48 T4OwhIQo.net
>>535
＞0から初めて1つ1つ自然数ｎがAに属するかを
＞検証することによって最小値を求めることができるのでは？
Aに属するかどうかアルゴリズムで判定可能とは限らないところがポイントです
逆にAから一つづつ要素を取り出していくとして、
必ずあるところで最小の要素が取り出されますが
それがいつかが分からないのがポイントです

次ページ

続きを表示

1を表示