- 313 名前:構成しても
それだけでは、本来のリーマン予想に対しては何も言えないってこと なお繰り返すが アマチュア数学研究は、これからも続けて欲しい (参考) ja.wikipedia.org/wiki/%E8%B6%85%E5%AE%9F%E6%95%B0 超実数(英: hyperreal number)または超準実数(英: nonstandard reals)と呼ばれる数の体系は無限大量や無限小量を扱う方法の一つである。超実数の全体 *R は実数体 R の拡大体であり、 1+1+⋯+1 の形に書けるいかなる数よりも大きい元を含む。そのような数は無限大であり、その逆数は無限小である。"hyper-real" の語はエドウィン・ヒューイット(英語版)が1948年に導入した[1][2]。 超実数は(ライプニッツの経験則的な連続の法則(英語版)を厳密なものにした)移行原理(英語版)を満たす。この移行原理は、R についての一階述語論理の真なる主張は *R においても真であることを主張する。 1960年代にはロビンソンが、超実数体が論理的に無矛盾であることと実数体が論理的に無矛盾であることが同値であることを示した。これは、ロビンソンが描いた論理的な規則に従って操作されている限りにおいて、あらゆる無限小を含む証明は不健全になる恐れがないことを示している 超実数の応用、特に解析学における諸問題への移行原理の適用は超準解析と呼ばれる (引用終り) 以上 [] - [ここ壊れてます]
|

|