24/11/14 08:34:41.26 Dmm5gr/V.net
Mathematica（といっても、WolframAlphaは無料で誰でも使える）
で、Abs[Zeta[2/3 + t I]]のグラフを書いてみると、確かに波のように
上下しているが、周期的とは言えないし、おそらくtai氏が
主張したような「減衰する」という現象も見られない。
1020:１３２人目の素数さん
24/11/14 08:35:23.39 Dmm5gr/V.net
何よりも、最も重要なことは、いくらグラフを書いても必ず
「有限の区間」に過ぎず、数学の証明にはならないということ。
「1点コンパクト化で∞！」とかアホなこと言ってるのが工学部出身のひと。
1021:１３２人目の素数さん
24/11/14 08:36:08.31 Dmm5gr/V.net
URLﾘﾝｸ(ja.wolframalpha.com)
1022:１３２人目の素数さん
24/11/14 08:56:42.86 GR/b6tfG.net
>>974
君、また相手を間違ったね
妄想がおさまらない？
クスリ飲もうな
1023:１３２人目の素数さん
24/11/14 10:18:19.53 QEIGwGcU.net
1/2<σ<1 のとき、直線 σ+ti, （-∞<t<∞) 上に零点が存在しないというのが
リーマン予想（と同値な命題）だが、いかなる固定されたσに対しても証明されていない。
これは黒川信重氏が書いていたと思う。
だから当然、直線 σ=2/3 上でも未解決であって、もし証明されれば大変な成果。
ちなみに、直線σ=1上に零点がないことは素数定理と同値。
こういう点からも問題の深さが分かる。
1024:１３２人目の素数さん
24/11/14 10:26:12.55 V0VFtZLN.net
>>9
1025:82-987 なんか、アホが湧いてきたなｗ 適切なアドバイスは、ただ一点です それは>>950に書いた通りで 『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))』 この二つが、リーマン予想（>>979） における非自明の零点だと 主張して 『だから、”リーマン予想の証明不可能性”成立』というわけだね しかし、本来のリーマン予想 における非自明の零点は、あくまで 拡大前の 実数体 Rの話なので Rには存在しない ”s=σ+∞i”や”s+ε_0”をもってして 『リーマン予想（>>979） における非自明の零点』と主張しても 本来のリーマン予想とは、直接関係しないってことです！ そこを、まず第一に指摘すべき話だよね ；ｐ） (参考)>>970 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年代にはロビンソンが、超実数体が論理的に無矛盾であることと実数体が論理的に無矛盾であることが同値であることを示した。これは、ロビンソンが描いた論理的な規則に従って操作されている限りにおいて、あらゆる無限小を含む証明は不健全になる恐れがないことを示している 超実数の応用、特に解析学における諸問題への移行原理の適用は超準解析と呼ばれる
1026:１３２人目の素数さん
24/11/14 10:31:37.58 V0VFtZLN.net
>>989 タイポ訂正
『ζ(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)』
1027:１３２人目の素数さん
24/11/14 14:18:06.81 /Nci0aIo.net
>>989
> なんか、アホが湧いてきたな
自虐乙
1028:１３２人目の素数さん
24/11/14 18:50:49.66 NVhwK+cU.net
主語が大きいタイトルの論文があった
Every theory is eventually of presheaf type
arxiv.org/abs/2312.12356
1029:１３２人目の素数さん
24/11/15 08:45:54.15 IYO8jKFM.net
eventuallyが臭い
1030:１３２人目の素数さん
24/11/16 18:01:32.96 XoMbXEhc.net
>>989
このスレはもうすぐ1000なので
補足を下記に書いた
rio2016.2ch.sc/test/read.cgi/math/1725190538/287-288
純粋・応用数学・数学隣接分野（含むガロア理論）19
1031:１３２人目の素数さん
24/11/16 18:04:33.68 OflVOVXD.net
次スレ立てろよ
1032:１３２人目の素数さん
24/11/16 19:26:44.85 XoMbXEhc.net
ご下命により 次スレ
立てました
雑談はここに書け！【68】
ｽﾚﾘﾝｸ(math板)
1033:１３２人目の素数さん
24/11/17 05:58:00.05 YhRUzhpb.net
誰かが1000を狙っているような気がする
1034:１３２人目の素数さん
24/11/18 12:37:47.60 9L32Z1TK.net
|
1035:１３２人目の素数さん
24/11/18 12:38:34.87 9L32Z1TK.net
|·）
1036:１３２人目の素数さん
24/11/18 12:39:22.65 9L32Z1TK.net
|·д·）
1037:１３２人目の素数さん
24/11/18 12:40:40.65 9L32Z1TK.net
|=₃₃₃ ｛１０００！
1038:1001
Over 1000 Thread.net
このスレッドは１０００を超えました。
新しいスレッドを立ててください。
life time: 341日 12時間 47分 33秒
1039:過去ログ ★
[過去ログ]
■ このスレッドは過去ログ倉庫に格納されています