[過去ﾛｸﾞ] 雑談はここに書け！【67】 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
1(3): １３２人目の素数さん [sage] 2023/12/12(火)23:53 ID:0fPPjc0w(1/3)
雑談はここでお願いします。
983(1): １３２人目の素数さん [sage] 2024/11/14(木)08:34 ID:Dmm5gr/V(3/5)
Mathematica（といっても、WolframAlphaは無料で誰でも使える）
で、Abs[Zeta[2/3 + t I]]のグラフを書いてみると、確かに波のように
上下しているが、周期的とは言えないし、おそらくtai氏が
主張したような「減衰する」という現象も見られない。
984(1): １３２人目の素数さん [sage] 2024/11/14(木)08:35 ID:Dmm5gr/V(4/5)
何よりも、最も重要なことは、いくらグラフを書いても必ず
「有限の区間」に過ぎず、数学の証明にはならないということ。
「1点コンパクト化で∞！」とかアホなこと言ってるのが工学部出身のひと。
985(1): １３２人目の素数さん [sage] 2024/11/14(木)08:36 ID:Dmm5gr/V(5/5)
https://ja.wolframalpha.com/input?i=Plot%5BAbs%5BZeta%5B2%2F3+%2B+t+I%5D%5D%2C+%7Bt%2C+0%2C+100%7D%5D
986(1): １３２人目の素数さん [sage] 2024/11/14(木)08:56 ID:GR/b6tfG(1)
>>973
君、また相手を間違ったね
妄想がおさまらない？
クスリ飲もうな
987: １３２人目の素数さん [sage] 2024/11/14(木)10:18 ID:QEIGwGcU(1)
1/2<σ<1 のとき、直線 σ+ti, （-∞<t<∞) 上に零点が存在しないというのが
リーマン予想（と同値な命題）だが、いかなる固定されたσに対しても証明されていない。
これは黒川信重氏が書いていたと思う。
だから当然、直線 σ=2/3 上でも未解決であって、もし証明されれば大変な成果。
ちなみに、直線σ=1上に零点がないことは素数定理と同値。
こういう点からも問題の深さが分かる。
988(3): １３２人目の素数さん [] 2024/11/14(木)10:26 ID:V0VFtZLN(1/2)
>>981-986
なんか、アホが湧いてきたなｗ
適切なアドバイスは、ただ一点です
それは>>949に書いた通りで
『youtu.be/JAj3O3j88b0?t=1025
超準解析を用いたリーマン予想の証明不可能性の証明〜改訂版〜
59 回視聴 2024/09/25
リーマン予想の証明不可能性の証明です』で
このyoutu.beで主張していることは、超準解析→超準実数 通常の実数を拡大して 無限大と その逆数の無限小 を導入した実数体 R の拡大体
において
『ζ(s)=0 が σ>1/2, s=σ+∞iで成り立つ』あるいは 『ζ(s)=0,Re(s+ε_0) =0(Re(s+ε_0))』
この二つが、リーマン予想（>>978） における非自明の零点だと 主張して
『だから、”リーマン予想の証明不可能性”成立』というわけだね
しかし、本来のリーマン予想 における非自明の零点は、あくまで 拡大前の 実数体 Rの話なので
Rには存在しない ”s=σ+∞i”や”s+ε_0”をもってして 『リーマン予想（>>978） における非自明の零点』と主張しても
本来のリーマン予想とは、直接関係しないってことです！
そこを、まず第一に指摘すべき話だよね ；ｐ）
(参考)>>969
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年代にはロビンソンが、超実数体が論理的に無矛盾であることと実数体が論理的に無矛盾であることが同値であることを示した。これは、ロビンソンが描いた論理的な規則に従って操作されている限りにおいて、あらゆる無限小を含む証明は不健全になる恐れがないことを示している
超実数の応用、特に解析学における諸問題への移行原理の適用は超準解析と呼ばれる
989: １３２人目の素数さん [] 2024/11/14(木)10:31 ID:V0VFtZLN(2/2)
>>988 タイポ訂正
『ζ(s)=0 が σ>1/2, s=σ+∞iで成り立つ』あるいは 『ζ(s)=0,Re(s+ε_0) =0(Re(s+ε_0))』
↓
『ζ(s)=0 が σ>1/2, s=σ+∞iで成り立つ』あるいは 『ζ(s)=0,Re(s+ε_0) =0 (Re(s)＝1/2)』
990: １３２人目の素数さん [sage] 2024/11/14(木)14:18 ID:/Nci0aIo(1)
>>988
> なんか、アホが湧いてきたな
自虐乙
991: １３２人目の素数さん [] 2024/11/14(木)18:50 ID:NVhwK+cU(1)
主語が大きいタイトルの論文があった
Every theory is eventually of presheaf type
arxiv.org/abs/2312.12356
992: １３２人目の素数さん [] 2024/11/15(金)08:45 ID:IYO8jKFM(1)
eventuallyが臭い
993: １３２人目の素数さん [] 2024/11/16(土)18:01 ID:XoMbXEhc(1/2)
>>988
このスレはもうすぐ1000なので
補足を下記に書いた
rio2016.5ch.net/test/read.cgi/math/1725190538/287-288
純粋・応用数学・数学隣接分野（含むガロア理論）19
994: １３２人目の素数さん [sage] 2024/11/16(土)18:04 ID:OflVOVXD(1)
次スレ立てろよ
995: １３２人目の素数さん [] 2024/11/16(土)19:26 ID:XoMbXEhc(2/2)
ご下命により 次スレ
立てました
雑談はここに書け！【68】
2chｽﾚ:math
996: １３２人目の素数さん [] 2024/11/17(日)05:58 ID:YhRUzhpb(1)
誰かが1000を狙っているような気がする
997: １３２人目の素数さん [sage] 2024/11/18(月)12:37 ID:9L32Z1TK(1/4)
|
998: １３２人目の素数さん [sage] 2024/11/18(月)12:38 ID:9L32Z1TK(2/4)
|·）
999: １３２人目の素数さん [sage] 2024/11/18(月)12:39 ID:9L32Z1TK(3/4)
|·д·）
1000: １３２人目の素数さん [sage] 2024/11/18(月)12:40 ID:9L32Z1TK(4/4)
|=₃₃₃ ｛１０００！
1001(1): 1001 [] ID:Thread(1/2)
このスレッドは１０００を超えました。
新しいスレッドを立ててください。
life time: 341日 12時間 47分 33秒
1002(1): 1002 [] ID:Thread(2/2)
5ちゃんねるの運営はUPLIFT会員の皆さまに支えられています。
運営にご協力お願いいたします。
───────────────────
《UPLIFT会員の主な特典》
★ 5ちゃんねる専用ブラウザからの広告除去
★ 5ちゃんねるの過去ログを取得
★ 書き込み規制の緩和
───────────────────
会員登録には個人情報は一切必要ありません。
4 USD/mon. から匿名でご購入いただけます。
▼ UPLIFT会員登録はこちら ▼
https://uplift.5ch.net/
▼ UPLIFTログインはこちら ▼
2ch板:login
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.021s