[過去ﾛｸﾞ] 雑談はここに書け！【67】 (1002ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
949(6): １３２人目の素数さん [sage] 2024/11/12(火)08:02 ID:h2zTa+wx(1/2)
>>944
>YouTube「超準解析を用いたリーマン予想の証明不可能性の証明」っていうのについてなんか御意見もらいたいです
これね
youtu.be/JAj3O3j88b0?t=1025
超準解析を用いたリーマン予想の証明不可能性の証明〜改訂版〜
59 回視聴 2024/09/25
リーマン予想の証明不可能性の証明です
確かにどうでも良いが
・この1025秒画面で、同値な命題として
ζ(s)=0 が σ>1/2, s=σ+∞iで成り立つ
ζ(s)=0,Res(s)=1/2
2つのモデルが存在し無矛盾である
「証明不可能である」
とある
・まず、リーマン予想 ja.wikipedia.org/wiki/%E3%83%AA%E3%83%BC%E3%83%9E%E3%83%B3%E4%BA%88%E6%83%B3
”リーマンゼータ関数のすべての非自明な零点の実部は 1/2 である”
ですね（確認しておきます）
・で、ここの前半で 要素”∞”を、超準解析で初めて導入された如く論じているが
要素”∞”は、超準以前に リーマンがリーマン球面で導入している ja.wikipedia.org/wiki/%E3%83%AA%E3%83%BC%E3%83%9E%E3%83%B3%E7%90%83%E9%9D%A2
いわゆる、一点コンパクト化 ja.wikipedia.org/wiki/%E3%82%B3%E3%83%B3%E3%83%91%E3%82%AF%E3%83%88%E5%8C%96 （一点コンパクト化の例）
（ここから、ちょっとヘン）
・そして、リーマン予想 ”すべての非自明な零点の実部は 1/2 である”
は、あくまで sの絶対値が有限の範囲で言えれば良いのであって 「s=σ+∞i」の性質を論じてもね
・そもそも、「ζ(s)=0 が σ>1/2, s=σ+∞iで成り立つ」は厳密な証明があるのかどうか？
それも疑問だし（真面目に見てないので ごめん）、仮に”s=σ+∞i”が例外点だとしても、では例外を一つ除いて
なお、sの絶対値が有限の範囲でのリーマン予想は、残ったままでしょ？■
976: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2024/11/12(火)23:39 ID:h2zTa+wx(2/2)
>>973 タイポ訂正
本来のリーマン予想が、通常の実数Rの中の話とすると
↓
本来のリーマン予想が、通常の実数R（及び通常の複素数C）の中の話とすると
さて本題
>>962
>|Zeta(2/3+100000000i)|とか計算するといいよ
>続リーマン予想の証明不可能性の証明
これか？
youtu.be/5Hn5aQWEjRw?t=525
続・リーマン予想の証明不可能性の証明
tainakashima
2024/03/23
リーマン予想の証明不可能性の証明の続編です
この525秒の画面に
「σ+∞iがゼロ点であることを認める」
と書かれているけど
ζ(2/3+∞i)の数値計算やっているだけでしょ？
（数値計算しても、数学の証明の代用にならんし、それに数値計算結果が ＝0 に漸近しているように見えないのは、私だけか？ ）
書くならば
「σ+∞iの形の非自明ゼロ点が存在する」とでも
すべき
つまり、全ての実数σでσ+∞iの形の非自明ゼロ点
でなくとも良いので
なにか一つでもあるσでσ+∞iの形の非自明ゼロ点
があれば良いんでしょ？
しかし、上記のように
本来のリーマン予想が、通常の実数R（及び通常の複素数C）の中の話
だから、「σ+∞iの形の非自明ゼロ点が存在した」としても
それって、本来のリーマン予想（通常の実数R（及び通常の複素数C）の中の話）
の反例には、ならないし
だから、”リーマン予想の証明不可能性の証明”になってないよね
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.084s