[過去ﾛｸﾞ]
高木くんがアクセプトされるまで見守るスレ ★7 (1002ﾚｽ)
高木くんがアクセプトされるまで見守るスレ ★7 http://rio2016.5ch.net/test/read.cgi/math/1724840487/
上
下
前
次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
922: ◆pObFevaelafK [sage] 2024/12/16(月) 14:58:36.44 ID:JOor3GsK >>921 賢い人間であれば、無限まで機能すると判断できるはずだが ＞nを固定したら、pn+1も固定されるわな 当たり前のことだ http://rio2016.5ch.net/test/read.cgi/math/1724840487/922
923: ◆pObFevaelafK [sage] 2024/12/16(月) 15:03:45.39 ID:JOor3GsK アルゴリズムを論文に書いていて、それのプログラムを実装してある程度の数 (n=10000?)まで、そのプログラムが実行可能であり、その結果が完全に 論文に書いているとおりだったのに、何を言っているのだろうか？ http://rio2016.5ch.net/test/read.cgi/math/1724840487/923
924: １３２人目の素数さん [sage] 2024/12/16(月) 15:39:26.85 ID:qPSFR81u >>923 でもn=100000でコケるかもしれないよね http://rio2016.5ch.net/test/read.cgi/math/1724840487/924
925: １３２人目の素数さん [sage] 2024/12/16(月) 15:50:34.16 ID:AU5kOoOQ >>923 >アルゴリズムを論文に書いていて、それのプログラムを実装してある程度の数 (n=10000?)まで、そのプログラムが実行可能であり それは無限のnに対しての証明じゃないのよ >>922 >nを固定したら、pn+1も固定されるわな >当たり前のことだ 当たり前のことができてないから間違いなわけ http://rio2016.5ch.net/test/read.cgi/math/1724840487/925
926: ◆pObFevaelafK [sage] 2024/12/16(月) 16:04:45.16 ID:JOor3GsK >>924 そういうことがあるかもしれないが、そのようになるかならないかを プログラムや論文を精査して人が検証を行わなければならない >>925 無限まで機能するかどうかは、人が判断することだ。 ＞当たり前のことができてない 大嘘はいい加減にしろ。何故、証明した人間に対して証明が理解できないか あるいは、理解できないふりをしている人間が馬鹿にしているのか？ http://rio2016.5ch.net/test/read.cgi/math/1724840487/926
927: １３２人目の素数さん [sage] 2024/12/16(月) 16:20:43.19 ID:AU5kOoOQ >>926 証明したといいたいなら、プログラムが無限のnに対して検証するのはあなた自身でやらなきゃいけない >無限まで機能するかどうかは、人が判断することだ 判断できるようにするのが「証明」なのよ >大嘘はいい加減にしろ。何故、証明した人間に対して証明が理解できないか あるいは、理解できないふりをしている人間が馬鹿にしているのか？ 嘘じゃないよ、当たり前のことが出来ないんだから間違いなわけ http://rio2016.5ch.net/test/read.cgi/math/1724840487/927
928: ◆pObFevaelafK [sage] 2024/12/16(月) 16:34:39.58 ID:JOor3GsK >>927 ＞プログラムが無限のnに対して検証するのはあなた自身でやらなきゃいけない ド素人が書かなくていい、これは私以外の全ての人間でできないことだ。 ＞判断できるようにするのが「証明」なのよ 賢い人間であれば、判断できる。判断できない927は知的能力に問題がある。 ＞嘘じゃないよ 理解できないのは、自身に問題があるとは考えないのでしょうか？ http://rio2016.5ch.net/test/read.cgi/math/1724840487/928
929: １３２人目の素数さん [sage] 2024/12/16(月) 17:29:01.88 ID:dppJcvPg n=10000までできたからOK！ って理屈なら、そもそも証明したい命題 n=おっきい数 までは証明できてるものも多いだろうから新規性なくなっちゃうよ http://rio2016.5ch.net/test/read.cgi/math/1724840487/929
930: ◆pObFevaelafK [sage] 2024/12/16(月) 17:52:46.35 ID:JOor3GsK >>929 アルゴリズムによる証明を創り出したから新規性は何時までもある http://rio2016.5ch.net/test/read.cgi/math/1724840487/930
931: １３２人目の素数さん [sage] 2024/12/16(月) 17:56:00.44 ID:AU5kOoOQ >>928 >賢い人間であれば、判断できる。判断できない927は知的能力に問題がある。 n=10000までで判断するほうが知的にナイーブなのよ >理解できないのは、自身に問題があるとは考えないのでしょうか？ 理解できないじゃなくて単に高木くんの間違いなのよ Fn(x) at x = pn+1 = pn + log(pn) since it is clear from the graph of f(x) that the function Fn(x) decreases monotonically. Fn(x) = (log(x) － log(pn))/(x － pn).でxを微分するときpnが固定されてるのが間違い http://rio2016.5ch.net/test/read.cgi/math/1724840487/931
932: ◆pObFevaelafK [sage] 2024/12/16(月) 18:41:02.58 ID:JOor3GsK >>931 偏微分を知らないんですか？xの増減に対して、Fn(x)がどう変化するかということなんですけど。 http://rio2016.5ch.net/test/read.cgi/math/1724840487/932
933: １３２人目の素数さん [sage] 2024/12/16(月) 19:25:51.15 ID:AU5kOoOQ >>932 うん、それでxにpn+1を代入するのを企んでるよね でもpn+1が動いたらpnも変化するのは当たり前だよね pnを固定したFn(x) = (log(x) － log(pn))/(x － pn)のグラフと (log(pn+1) － log(pn))/(pn+1 － pn)のグラフは異なるよ http://rio2016.5ch.net/test/read.cgi/math/1724840487/933
934: ◆pObFevaelafK [sage] 2024/12/16(月) 19:36:01.26 ID:JOor3GsK >>933 xをpn+1とするということは正しい。 pn+1の値がどういう値を取るかということを考えているから pnの値は固定していてもよい。何故連動すると考えるのか意味不明だ。 http://rio2016.5ch.net/test/read.cgi/math/1724840487/934
935: １３２人目の素数さん [sage] 2024/12/16(月) 20:00:18.06 ID:AU5kOoOQ >>934 よくないんだわ、pn+1の値に応じてpnが決まるんだから 高木くんがすぐに理解できなかったとしても、また理解した時に新しい論文書けばいいだけでしょ 間違いは指摘したので>>911の目的は達せられたよね 1.プログラムが全てのnで機能することを示せてない 2.pnが定数だったり変数だったりコロコロ変わる 以上 http://rio2016.5ch.net/test/read.cgi/math/1724840487/935
936: ◆pObFevaelafK [sage] 2024/12/16(月) 20:08:16.87 ID:JOor3GsK >>935 1. そんな事を示せる人間は誰もいない 2. 変わっていない。 偏微分を知らない人間が私にとやかく言うのは大間違いだ。 http://rio2016.5ch.net/test/read.cgi/math/1724840487/936
937: １３２人目の素数さん [sage] 2024/12/16(月) 20:30:44.53 ID:m85GoqR7 >>936 偏微分知ってるから君が間違ってるのが よく分かるよ 偏微分を知ってると言うなら偏微分の定義を延べてごらんよ 定義を述べられない高木くんｗ http://rio2016.5ch.net/test/read.cgi/math/1724840487/937
938: １３２人目の素数さん [sage] 2024/12/16(月) 20:34:28.12 ID:qPSFR81u >>936 横だけど Idris や Agda などの必ず停止する言語でプログラムを書けば、 全てのnで"停止"すること は言えると思うよ http://rio2016.5ch.net/test/read.cgi/math/1724840487/938
939: ◆pObFevaelafK [sage] 2024/12/16(月) 20:47:00.04 ID:JOor3GsK >>937 どこがどう間違っているのか具体的に述べてみろよ 偏微分は、一つ以外の変数を固定して、一つの変数で微分する という操作だということだが？ ということも知らないで、変数を固定するのがおかしいなどと意味不明な ことを書いているのではwww http://rio2016.5ch.net/test/read.cgi/math/1724840487/939
940: １３２人目の素数さん [sage] 2024/12/16(月) 21:05:58.13 ID:m85GoqR7 >>939 一つの変数以外を固定した議論と、その変数が他の変数と関数の関係にある場合の議論は異なるよ pnを固定してpn+1を動かすことはできないよ http://rio2016.5ch.net/test/read.cgi/math/1724840487/940
941: ◆pObFevaelafK [sage] 2024/12/16(月) 21:41:52.85 ID:JOor3GsK >>940 Fn(x)で、(log(p_(n+1))-log(pn))/(p_(n+1)-pn)の上界を計算している。 何を書いているのだろうか？ http://rio2016.5ch.net/test/read.cgi/math/1724840487/941
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 61 ﾚｽあります
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.008s