虹裏img歴史資料館

1 21/09/05(日)06:58:21 No.842744381

ノイマンも解けなかったやつ

2 21/09/05(日)07:01:37 No.842744560

なにをすると解いたことになるの

3 21/09/05(日)07:04:06 No.842744702

>なにをすると解いたことになるの 証明できたら

4 21/09/05(日)07:05:14 No.842744768

素人でも理解できる問題設定のくせして異常に難しい問題は人を狂わせる

5 21/09/05(日)07:05:31 No.842744784

>なにをすると解いたことになるの >>この問題を解決するためには、以下の二つを示せばいいことがわかっている。 >>（1）操作をした時に、○→△→◇→☆→○のように最初の数に戻ってしまう循環パターンがないこと（ただし、1→4→2→1を除く） >>（2）操作をした時に、数がどんどん大きくなってしまう発散をしないこと

6 21/09/05(日)07:06:39 No.842744853

解決するとどうなる？

7 21/09/05(日)07:07:02 No.842744876

試しに11で暗算したけど途中でやめた…

8 21/09/05(日)07:07:28 No.842744904

>解決するとどうなる？ この法則を他の法則に用いることができる

9 21/09/05(日)07:07:47 No.842744920

これが嘘じゃない証明をしたらってことなのか

10 21/09/05(日)07:09:01 No.842744992

数字の桁がいくらでも増やせる以上無限に続くんじゃないの？

11 21/09/05(日)07:11:22 No.842745147

総当たりすればいいのか？

12 21/09/05(日)07:11:51 No.842745179

予想の通り到達しそうだけど単純にはいかないのか…

13 21/09/05(日)07:12:01 No.842745190

>数字の桁がいくらでも増やせる以上無限に続くんじゃないの？ 大きい数でも2で割って行けば小さくなるよ

14 21/09/05(日)07:12:11 No.842745204

なら1はどうするの？

15 21/09/05(日)07:13:32 No.842745290

>なら1はどうするの？ 3倍して1を足して4 偶数なので2で割って2 偶数なので2で割って1 むろんそのままで1じゃん！ならそれでもいい

16 21/09/05(日)07:13:36 No.842745296

>なら1はどうするの？ >ただし、1→4→2→1を除く

17 21/09/05(日)07:14:13 No.842745341

数字は無限に存在するから総当たりは無理だよ どんな数字でもこの形に落とし込めることを証明する必要がある

18 21/09/05(日)07:14:32 No.842745363

なんで3倍するんだ？

19 21/09/05(日)07:17:29 No.842745575

要は２の乗数のどれかになったら１になるのが確定するわけだ

20 21/09/05(日)07:18:02 No.842745611

>18世紀末、当時15歳だったガウス(19世紀最大の数学者;ドイツ)は、素数の分布を予想する式を与えた。この式はかなり正確だったが、常に実際よりもわずかに多めの値が得られた。1兆まで調べても常に多かったので、数学者はこの傾向が無限に続くと考えていたが、1955年にスキューズ(南アフリカ)が下に示した数(スキューズ数と呼ばれる)の少し手前で予想を下回ることを示した。これは想像を絶する大きさの数であり、宇宙に存在する全素粒子数1088＜10102をもってしても比較対象にすらならない。当時は「数学的意味を持つ最大の数」であった。

21 21/09/05(日)07:19:47 No.842745736

俺もやってみようかな

22 21/09/05(日)07:19:53 No.842745743

あーなるほどそういうことねかんぜんにりかいしたわ

23 21/09/05(日)07:20:06 No.842745763

>なんで3倍するんだ？ 2倍なら1に到達しないパターンが普通にあるからじゃない？

24 21/09/05(日)07:22:27 No.842745938

こういうのって証明出来ませんでしたっていう結論も証明でになるんです？

25 21/09/05(日)07:22:41 No.842745953

コンピュータの処理能力が上がれば…って思ったけど途方もなさそうだな

26 21/09/05(日)07:23:08 No.842745983

>なんで3倍するんだ？ 奇数なら3倍にして以下略したら必ず１になる例外はない というのが本当かどうかを証明する問題なので その問いに答えられる者が正解者だ

27 21/09/05(日)07:23:17 No.842745999

>こういうのって証明出来ませんでしたっていう結論も証明でになるんです？ 例外があると証明できればもちろんそれも正解よ

28 21/09/05(日)07:24:39 No.842746113

数字に限界がないんだから証明できなくて当たり前じゃね

29 21/09/05(日)07:25:09 No.842746155

そういえば深層学習で数学の証明を行うみたいな研究は行われてるのかな コンピュータでしらみつぶし以上の使われ方ってされてる？

30 21/09/05(日)07:25:32 No.842746189

>数字に限界がないんだから証明できなくて当たり前じゃね でも素数は無限にあることはちゃんと証明できるしな…

31 21/09/05(日)07:26:13 No.842746232

コンピュータの総当たりはいくら続けても証明にはならんからな 仮に例外見つけたら多分あとは簡単だが

32 21/09/05(日)07:26:30 No.842746249

>そういえば深層学習で数学の証明を行うみたいな研究は行われてるのかな >コンピュータでしらみつぶし以上の使われ方ってされてる？ 深層学習で証明ってどういうこと？

33 21/09/05(日)07:26:32 No.842746253

何に使うか予想もできないな… ミル貝に >もしこの予想が誤りであるなら、1 を含まない数列を生成する初期値が存在するということになる。 ってあったけどこの初期値の存在が証明されたらまた違った理論が出てきそうしか分からん…

34 21/09/05(日)07:27:36 No.842746338

>深層学習で証明ってどういうこと？ 問題を入力して証明の文を出力するように学習するとか？

35 21/09/05(日)07:27:45 No.842746345

深層学習は今のところ厳密に論理的な処理には向かない 簡単な論理式ならぶちこんで計算機にとかせるっていう研究はあった ていうか大学の講義でやった記憶があるけど今どうなってるのかな

36 21/09/05(日)07:28:06 No.842746365

めっちゃ有名なフェルマーの最終定理だって当てはまる数は無限にあるが証明できたろう

37 21/09/05(日)07:28:45 No.842746417

>コンピュータの総当たりはいくら続けても証明にはならんからな 4色問題がコンピュータ使ったかなりのゴリ押し証明だったような

38 21/09/05(日)07:38:39 No.842747327

どっかで2の累乗に当たるって事か

39 21/09/05(日)07:46:50 No.842748102

コンピューターで何兆までは証明済みみたいなのないの

40 21/09/05(日)07:50:03 No.842748468

>コンピューターで何兆までは証明済みみたいなのないの コンピュータで1兆まで証明したとして1兆1で証明が破綻したら意味がないんだ

41 21/09/05(日)07:51:21 No.842748622

この手の問題のコンピューターの証明は主に反証を探すためにやるから

42 21/09/05(日)07:54:06 No.842748992

スレ画の人は証明してないのになんでこんなこと言い出したの？

43 21/09/05(日)07:54:08 No.842748995

違うって言うならならない数字出してみろよ 出せないなら証明終了な1億ゴチっす

44 21/09/05(日)07:55:40 No.842749211

証明できてないことを言い出すって甚だ迷惑なのでは…

45 21/09/05(日)07:55:56 No.842749238

>スレ画の人は証明してないのになんでこんなこと言い出したの？ 何例かで試してみて全部そうだったからじゃない？

46 21/09/05(日)07:56:02 No.842749253

全然わかんないから本題からそれるけど、色のイメージ逆じゃない？ 俺のなかでは奇数が赤で偶数が青かなって

47 21/09/05(日)07:56:43 No.842749330

ループを勝ち抜くぞ！

48 21/09/05(日)07:57:13 No.842749395

>俺のなかでは奇数が赤で偶数が青かなって まあ大体の人間は青が偶数だろうな

49 21/09/05(日)07:59:08 No.842749631

どうだろう 俺は1は青2は赤ってイメージだから違和感ないが

50 21/09/05(日)08:03:00 No.842750051

>証明できてないことを言い出すって甚だ迷惑なのでは… 証明しよう！って呼びかけるんならいいんじゃない？ 証明できたけど余白が狭すぎるって言ったら問題だけど

51 21/09/05(日)08:04:02 No.842750200

赤は血や炎から連想する攻撃性や危険性などの厄介なイメージ 青は水や空の清廉でクリーンなイメージをそれぞれ連想するだろ 日常生活において奇数は割り切れず扱いづらい数字だから赤逆に偶数は青という関連付けがなされるのは自然

52 21/09/05(日)08:04:13 No.842750221

思ったより「」の知性が絶望的だった

53 21/09/05(日)08:06:27 No.842750501

フェルマーのやつもそうだったけどこの手の問題を解決する過程でいろんな新理論が発見されて発達するから…

54 21/09/05(日)08:06:29 No.842750506

だが恥性はどうかな？

55 21/09/05(日)08:10:08 No.842750921

オイラー予想は間違いなのに フェルマーの最終定理は合ってたりするからな

56 21/09/05(日)08:15:22 No.842751532

無限に続くものの定理どうこうはどう考えても難しいから簡単そうに単純そうにってイメージする奴がどういう思考してるのかわからん…

57 21/09/05(日)08:15:22 No.842751533

>証明できてないことを言い出すって甚だ迷惑なのでは… どうやっても証明できない命題があることは証明されてるから今更の話

58 21/09/05(日)08:15:57 No.842751629

感覚的にはなんかそんな感じするよねって調べたらいやそんなこと無かったわ！ってのもあるし証明するのは大事よね

59 21/09/05(日)08:16:40 No.842751725

フェルマーの最終定理は正しいのにオイラー予想間違ってるの謎すぎて怖いわ

60 21/09/05(日)08:16:41 No.842751726

>4色問題がコンピュータ使ったかなりのゴリ押し証明だったような 四色定理の証明がコンピューターによる力業なのは事実だけど それは証明に必要な不可避集合を力業で求めただけであって 総当たりで証明を行ったわけではない

61 21/09/05(日)08:17:17 No.842751802

奇数を3倍する意味が分からねえ 1を足して偶数にするだけじゃダメなのか

62 21/09/05(日)08:18:42 No.842752017

>奇数を3倍する意味が分からねえ >1を足して偶数にするだけじゃダメなのか 1足すだけだと発散しないのが自明だから証明する難易度が違う

63 21/09/05(日)08:20:34 No.842752273

正直これ研究してもな…って感じで真面目に取り組まれて無いだけなんじゃないの

64 21/09/05(日)08:20:36 No.842752279

>>4色問題がコンピュータ使ったかなりのゴリ押し証明だったような >四色定理の証明がコンピューターによる力業なのは事実だけど >それは証明に必要な不可避集合を力業で求めただけであって >総当たりで証明を行ったわけではない それを総当たりと言うんだ

65 21/09/05(日)08:20:47 No.842752315

なんで単純に1足すんじゃなくて3倍しないといけないん？

66 21/09/05(日)08:20:50 No.842752325

何でコイツこんなこと言い出したんだ…？ とっくに死んでる人間の予想とかいう思いつきみたいなものなのに それを理屈建てて証明してやるために俺の人生費やしてるのアホなんじゃないか…？ って思い始めて病みそう俺なら

67 21/09/05(日)08:21:30 No.842752437

>>>4色問題がコンピュータ使ったかなりのゴリ押し証明だったような >>四色定理の証明がコンピューターによる力業なのは事実だけど >>それは証明に必要な不可避集合を力業で求めただけであって >>総当たりで証明を行ったわけではない >それを総当たりと言うんだ 言わねぇよ！？

68 21/09/05(日)08:22:00 No.842752507

これ研究してもな...なんて大部分のことに言えるぞ特に数学科

69 21/09/05(日)08:23:33 No.842752737

ホットな分野に人員が割かれてるのはあるかもしれない

70 21/09/05(日)08:24:22 No.842752848

３倍部分省けば証明できそうだからおじいちゃんがいじわるしてるんだ

71 21/09/05(日)08:27:58 No.842753347

こういうのってある一個の数字だけがこの条件が当てはまらないでそれ以外は当て嵌まるなんてこと起きたらその数字って…ってなって面白そう

72 21/09/05(日)08:29:23 No.842753527

3倍して1を足して 2で割っても奇数 ってなり続ける数が見つかると発散しちゃうのか

73 21/09/05(日)08:34:21 No.842754400

そりゃそうでしょって思うけど証明するとなると発狂レベルの難解さなのか

74 21/09/05(日)08:35:47 No.842754729

法則を証明しろって命題に総当りすればええやんは中学校通ってたのか心配になる

75 21/09/05(日)08:36:19 No.842754828

n≧1の時は (2n＋1)^3＋1=6n＋4=2(3n＋2) 2n^3＋1=6n＋1 だからどうやっても1になるんじゃないかなぁ よくわかんなくなった

76 21/09/05(日)08:37:56 No.842755263

正の整数は無限個あるからな… 終わらない

77 21/09/05(日)08:38:13 No.842755366

思考実験とかのスレでもそうなんだけど本当に学校で教育受けたのかあやしいツッコミする「」が居るよね

78 21/09/05(日)08:38:15 No.842755375

>n≧1の時は >(2n＋1)^3＋1=6n＋4=2(3n＋2) >2n^3＋1=6n＋1 >だからどうやっても1になるんじゃないかなぁ >よくわかんなくなった 3乗してんじゃねぇか

79 21/09/05(日)08:38:17 No.842755389

∞＋1だと無限ループしないの？

80 21/09/05(日)08:38:41 No.842755483

>∞＋1だと無限ループしないの？ 無限を自然数として扱うな

81 21/09/05(日)08:40:52 No.842755978

>3乗してんじゃねぇか 記号はまちがっているけど３倍はしているように見える ただ一行目から二行目になるのがわからない なにをやったんだ？

82 21/09/05(日)08:40:54 No.842755983

11で始めると素数が3回も出てきて一瞬焦る

83 21/09/05(日)08:41:19 No.842756054

総当りは大体のものを解決するぞ！

84 21/09/05(日)08:42:40 No.842756300

>総当りは大体のものを解決するぞ！ まぁ実用範囲内の数値だけ総当りしてヨシ！は確かにあるあるなんだけど

85 21/09/05(日)08:43:34 No.842756487

>>総当りは大体のものを解決するぞ！ >まぁ実用範囲内の数値だけ総当りしてヨシ！は確かにあるあるなんだけど 理屈や原理はよくわからないがとにかくそうなるからヨシ！は割とあるある

86 21/09/05(日)08:45:06 No.842756858

>まぁ実用範囲内の数値だけ総当りしてヨシ！は確かにあるあるなんだけど うるう年の判定とかわざわざ計算しなくて2100年くらいまで直書きで準備しておけば実用上は困らないもんね

87 21/09/05(日)08:50:03 No.842758073

これって2の累乗のどっかに収束することを照明すりゃいいのか？

88 21/09/05(日)08:50:56 No.842758225

（さすがにこんだけ用意してりゃ一般項なんて用意しなくても足りるだろ） 足りませんでした... もあるあるなんやけどなﾌﾞﾍﾍﾍﾍﾍ

89 21/09/05(日)08:53:31 No.842758816

>これって2の累乗のどっかに収束することを照明すりゃいいのか？ これを思いつかなかっただけで俺には無理だと分かった

90 21/09/05(日)08:53:34 No.842758827

1億の懸賞金かかってる時点で素人が思いつくような考えは証明できたことにならんのだろうな…

91 21/09/05(日)08:54:12 No.842758983

数学の研究して飯食ってる人達がわからねぇって言ってる問題を「」がパッと解いて一億貰うってなろう小説でもないわ

92 21/09/05(日)08:54:49 No.842759129

規則性見つけたらそれが証明になる

93 21/09/05(日)08:55:45 No.842759373

3の次点で 3→10→5→16→8→4→2→1 で手順多すぎてめちゃキツイな

94 21/09/05(日)08:55:46 No.842759379

>うるう年の判定とかわざわざ計算しなくて2100年くらいまで直書きで準備しておけば実用上は困らないもんね ちなみに豆知識 うるう年って100年に一度無いんだぜ！

95 21/09/05(日)08:56:25 No.842759526

3倍する意味とか言ってる奴は小学生なのか

96 21/09/05(日)08:56:31 No.842759548

>>うるう年の判定とかわざわざ計算しなくて2100年くらいまで直書きで準備しておけば実用上は困らないもんね >ちなみに豆知識 >うるう年って100年に一度無いんだぜ！ 嘘だ！2000年はうるう年だったぞ！

97 21/09/05(日)08:56:43 No.842759595

>>うるう年の判定とかわざわざ計算しなくて2100年くらいまで直書きで準備しておけば実用上は困らないもんね >ちなみに豆知識 >うるう年って100年に一度無いんだぜ！ 4で割れるけど100で割れない あるいは100でも割れるけど400でも割れる ...なんでこんなルールにしたんです！？

98 21/09/05(日)08:57:11 No.842759694

>嘘だ！2000年はうるう年だったぞ！ 400年に一度あるんだぜ！

99 21/09/05(日)08:58:04 No.842759877

フェルマーの最終定理然り書いてあることは簡単なのに証明がクソ大変なのは数学の面白いところ

100 21/09/05(日)08:58:07 No.842759887

>...なんでこんなルールにしたんです！？ 公転周期が実際には365.2422日だから

101 21/09/05(日)08:58:08 No.842759890

いやー数学って面白いですね

102 21/09/05(日)09:00:17 No.842760359

よくわからんけど宇宙際タイヒミュラー理論で解けたりしないの？

103 21/09/05(日)09:01:21 No.842760623

>よくわからんけど宇宙際タイヒミュラー理論で解けたりしないの？ よく分からない問題によく分からない概念をぶつけようとするな

104 21/09/05(日)09:02:12 No.842760889

5倍+1とか7倍+1だったり負の数まで拡張したりすると1を含まないループに入るパターンが存在することが知られている 偶数倍+1は2n+1は常に奇数なので一度奇数になった瞬間無限に発散しどのような数も有限回の操作で奇数になるので必ず無限に発散する では自然数の3倍+1は？

105 21/09/05(日)09:02:18 No.842760916

何となくの直感でシンプルだけど証明大変な定理をホイッと出して 後世の数学者を悩ませる天才達には参るね…

106 21/09/05(日)09:03:29 No.842761268

別に総当たりしてもいいんじゃないか 反証が見つかっても賞金は出るだろうし

107 21/09/05(日)09:03:55 No.842761373

>何となくの直感でシンプルだけど証明大変な定理をホイッと出して >後世の数学者を悩ませる天才達には参るね… 数学者ってそういう所あるよね…

108 21/09/05(日)09:04:12 No.842761423

頭の中に計算機入ってるやつらの思い付きは凡人には理解できん

109 21/09/05(日)09:04:22 No.842761482

>4で割れるけど100で割れない >あるいは100でも割れるけど400でも割れる >...なんでこんなルールにしたんです！？ 地球の公転周期が1日の整数倍じゃないからほっとくといつのまにか8月が冬になったりするので

110 21/09/05(日)09:05:23 No.842761771

ないことを証明するのはとても難しい

111 21/09/05(日)09:05:41 No.842761861

>別に総当たりしてもいいんじゃないか >反証が見つかっても賞金は出るだろうし そうだけど1億2千万も賞金掛かってるところから見るに まともな計算機で総当たりできる範囲に反証はないんだろうな…

112 21/09/05(日)09:07:04 No.842762247

この問題を総当たりできるプログラムでまた問題が生まれそう

113 21/09/05(日)09:07:11 No.842762279

>>別に総当たりしてもいいんじゃないか >>反証が見つかっても賞金は出るだろうし >そうだけど1億2千万も賞金掛かってるところから見るに >まともな計算機で総当たりできる範囲に反証はないんだろうな… 最新情報じゃないと思うけど2の68乗より小さい数は全て4-2-1ループに帰結することが総当たりで確認されている

114 21/09/05(日)09:08:02 No.842762493

ていうか記事読むと何か凄そうな天才が証明に近づいてはいるのね…

115 21/09/05(日)09:08:28 No.842762625

>最新情報じゃないと思うけど2の68乗より小さい数は全て4-2-1ループに帰結することが総当たりで確認されている どうしろってんだ

116 21/09/05(日)09:09:29 No.842762934

>最新情報じゃないと思うけど2の68乗より小さい数は全て4-2-1ループに帰結することが総当たりで確認されている もう証明で良くない？

117 21/09/05(日)09:10:00 No.842763069

数学の証明って本当に人生の半分をかけてやるようなもんだし それで証明出来なかったら俺の人生なんだったんだってなるしよっぽどの人じゃないと手を出すべきじゃないよな…

118 21/09/05(日)09:10:10 No.842763107

>>最新情報じゃないと思うけど2の68乗より小さい数は全て4-2-1ループに帰結することが総当たりで確認されている >もう証明で良くない？ とんでもねえ巨大数で反例が見つかった予想は掃いて捨てるほどあるんだ

119 21/09/05(日)09:12:42 No.842763885

巨大数ってそういうのに使うんだね

120 21/09/05(日)09:12:45 No.842763900

石橋を叩いて渡らないどころか自分の立ってる場所にすら不安を感じて 今立ってる大地を掘り返し始めるような連中に一般人が関わってはいけない