数学者も恐れる「ハマると病む難問」 解けたら1億円、企業が懸賞金
一見単純そうなのに80年以上も数学者を悩ませている未解決問題「コラッツ予想」の証明に、日本のベンチャー企業が1億2千万円の懸賞金をかけた。
数学の問題にかけられた懸賞金としては世界最高レベル。
問題は小学生でもわかるほど簡単だが、数学者の間では「はまると病む難問」「宇宙人が仕向けた罠(わな)」などと恐れられる。
一体どんなものなのか。
コラッツ予想は、1、2、3……と無限に続く整数の問題だ。
1937年、ドイツの数学者ローター・コラッツ(1910〜90)が予想したのは、次のような内容だった。
(以下略、続きはソースでご確認下さい)
朝日新聞DIGITAL 2021年9月4日 12時07分
https://www.asahi.com/articles/ASP937HM6P8ZULBJ00T.html
探検
【数学】解けたら1億円 数学者も恐れる「ハマると病む難問」コラッツ予想 日本のベンチャー企業が世界最高レベルの懸賞金 [すらいむ★]
■ このスレッドは過去ログ倉庫に格納されています
1すらいむ ★
2021/09/04(土) 14:41:35.40ID:CAP_USER2021/09/04(土) 14:44:29.72ID:fTd1f6gs
数学的にそれほど重要じゃない問題を選ぶのを見ると
会社のリスクの少ない宣伝だな
会社のリスクの少ない宣伝だな
3名無しのひみつ
2021/09/04(土) 14:50:06.83ID:OuWpzCLK 「何が正答か」はその企業が判断するんですね
4名無しのひみつ
2021/09/04(土) 14:54:48.27ID:lYsqZA1C 80年かけて解けなかったブラックボックスがたった1億円??
(;´・ω・)安っぽい
(;´・ω・)安っぽい
5名無しのひみつ
2021/09/04(土) 14:57:13.44ID:nKM+U6tu 一月ほど前にニュースになってたが
2021/09/04(土) 14:59:36.81ID:vc1xEjE7
コーラック ←ピンクの小粒
三遊亭好楽 ←笑点のピンク
コーラルピンク ←珊瑚のピンク色
コラッツ予想 ←ピンクに関するナニカ
三遊亭好楽 ←笑点のピンク
コーラルピンク ←珊瑚のピンク色
コラッツ予想 ←ピンクに関するナニカ
7名無しのひみつ
2021/09/04(土) 15:01:39.14ID:BCitGk98 望月新一教授なら5分で出来そう。
2021/09/04(土) 15:07:58.03ID:TI/ov6sR
4色問題の再来?
2021/09/04(土) 15:08:05.21ID:7sn2nT7/
宣伝
10名無しのひみつ
2021/09/04(土) 15:16:41.37ID:OuWpzCLK 分かった。4で割り切れる数字作らせてるだけ
11名無しのひみつ
2021/09/04(土) 15:19:48.80ID:sMDxQA4n 悩んでるじゃない
考えてるんだ
考えてるんだ
12名無しのひみつ
2021/09/04(土) 15:20:22.67ID:0bCClWWN 答えは分かるんだが
数式に出来ないな
くまったもんだ
数式に出来ないな
くまったもんだ
13名無しのひみつ
2021/09/04(土) 15:26:15.86ID:V8FA3Yjr 証明されたところで何かに応用できるわけじゃないし
せいぜいトリビアの泉のタネになるくらいだし
せいぜいトリビアの泉のタネになるくらいだし
14名無しのひみつ
2021/09/04(土) 15:32:44.21ID:EOoTtITA 「正の整数」の全部について試す事は事実上不可能だな。
だって電卓の桁が10桁までしかない場合は、10桁を超える数字の計算が出来ないように
無限に増えて行く桁に対応出来る計算機が存在しないから、これは神の領域に突入する
しかない。
だって電卓の桁が10桁までしかない場合は、10桁を超える数字の計算が出来ないように
無限に増えて行く桁に対応出来る計算機が存在しないから、これは神の領域に突入する
しかない。
15名無しのひみつ
2021/09/04(土) 15:34:04.36ID:1ObVTKDd しゃくがらみたいなものか。
16名無しのひみつ
2021/09/04(土) 15:37:05.36ID:Sa7vokQt 望月せんせー宇宙際タイヒミューラーで解いてください
17名無しのひみつ
2021/09/04(土) 15:39:32.06ID:vklDkg0X コラッツとかいうおっさんに聞けよ
18名無しのひみつ
2021/09/04(土) 15:43:09.93ID:7tuHmZKC どんな奇数も3倍して1足せば偶数になるのか
考えたこともないわw
考えたこともないわw
19名無しのひみつ
2021/09/04(土) 15:48:09.81ID:sUHZvWhb 数学そのものは抽象的な存在なんだから素粒子みたいなノリで追跡しちゃダメって神様が言ってたよ
20名無しのひみつ
2021/09/04(土) 15:50:14.67ID:lBCqqM4n 10進数だから
21名無しのひみつ
2021/09/04(土) 15:52:35.69ID:Asx7wK81 検証出来ない再現性もない
頭に入ってくるのはノイズだけ
頭に入ってくるのはノイズだけ
22名無しのひみつ
2021/09/04(土) 15:57:14.42ID:kQJnkLV0 これは問題を読むと言いたいことはわかるのが良いな。
7つのミレニアム懸賞問題なんて、ほとんど問題文の意味すら理解できんw
7つのミレニアム懸賞問題なんて、ほとんど問題文の意味すら理解できんw
23名無しのひみつ
2021/09/04(土) 16:14:28.11ID:186auz24 無限なんて存在しないから解けない
24名無しのひみつ
2021/09/04(土) 16:15:25.67ID:HU3W3Bez これは反例が存在するわ
25名無しのひみつ
2021/09/04(土) 16:17:40.27ID:pjCdNceX >>14
電卓基準だといろいろと難しいだろうな
電卓基準だといろいろと難しいだろうな
26名無しのひみつ
2021/09/04(土) 16:17:52.48ID:lYsqZA1C もう解いたんですけど
27名無しのひみつ
2021/09/04(土) 16:26:28.98ID:x+BBozIq28名無しのひみつ
2021/09/04(土) 16:27:26.54ID:VvlRpNLW ランダムにひとつの整数を選択するとして
偶数が50%奇数が50%
偶数の場合次の数が偶数が50%奇数が50%
奇数なら100%偶数
つまり0.25倍が25%1.5倍が25%1.5倍が50%
偶数が50%奇数が50%
偶数の場合次の数が偶数が50%奇数が50%
奇数なら100%偶数
つまり0.25倍が25%1.5倍が25%1.5倍が50%
29名無しのひみつ
2021/09/04(土) 16:31:10.27ID:zYG4eiB1 初代ポケモン世代だからどうしてもコラッタが思い浮かぶ
30名無しのひみつ
2021/09/04(土) 16:33:17.39ID:z085ulK8 そもそもこれは人がつくった問題なんだよな
31名無しのひみつ
2021/09/04(土) 16:36:05.21ID:XXw+Aki2 発散が起きないことの証明が核になる?
32名無しのひみつ
2021/09/04(土) 16:37:42.56ID:fukWPe4O 尚、懸賞金を掛けた会社
株式会社音圧爆上げくん
設立 2018/09/10
事業内容 ウェブサービス、その他
資本金 300万円
従業員数 0名
ただの売名目的だろ。
株式会社音圧爆上げくん
設立 2018/09/10
事業内容 ウェブサービス、その他
資本金 300万円
従業員数 0名
ただの売名目的だろ。
33名無しのひみつ
2021/09/04(土) 16:45:25.80ID:eKXwPTFV 掛け算と足し算が混じってる
ヤバイ
ヤバイ
34名無しのひみつ
2021/09/04(土) 16:49:52.61ID:eKXwPTFV35名無しのひみつ
2021/09/04(土) 16:50:54.17ID:Sm+FbnIW 経験的にこの手の自然数問題の裏には、無理数とか虚数が含まれるから難しいよね。
36名無しのひみつ
2021/09/04(土) 17:00:50.71ID:lYsqZA1C これ計算したら宇宙や海底に行けるの?
37名無しのひみつ
2021/09/04(土) 17:13:19.75ID:Sdrs/lqb >>36
数人の学者にドヤれるだけ
数人の学者にドヤれるだけ
38名無しのひみつ
2021/09/04(土) 17:16:18.76ID:hbP7UgYb こう言う問題を作る人って
答えはもってないん?
答えはもってないん?
39名無しのひみつ
2021/09/04(土) 17:18:22.76ID:Sdrs/lqb40名無しのひみつ
2021/09/04(土) 17:20:40.94ID:tEcwv0LF ラマヌジャンか関孝和をイタコ芸で呼べばワンチャンあるで
41名無しのひみつ
2021/09/04(土) 17:24:32.00ID:c2lTQjwY 必ず小さくなれば、最後は1になりそう
42名無しのひみつ
2021/09/04(土) 17:29:29.90ID:cSH2nDVj44名無しのひみつ
2021/09/04(土) 17:40:05.14ID:ro+1lJ8m 安いわw
45名無しのひみつ
2021/09/04(土) 17:41:26.53ID:lBCqqM4n 宇宙の広さを測って下さいみたいな感じ
46名無しのひみつ
2021/09/04(土) 17:50:48.37ID:cm892gy3 一日一歩 三日で三歩 三歩進んで二歩さがる
48名無しのひみつ
2021/09/04(土) 18:02:42.75ID:rRdJEY8k Excelで左のセルが偶数か奇数かで
場合分けの計算をさせて
その計算式を1になるまで右の方にコピペする
とりあえず1000までは1に収束することが
分かったがオレのPCだと
リソース不足で限界なのでお前らに託した!
場合分けの計算をさせて
その計算式を1になるまで右の方にコピペする
とりあえず1000までは1に収束することが
分かったがオレのPCだと
リソース不足で限界なのでお前らに託した!
49名無しのひみつ
2021/09/04(土) 18:14:57.83ID:RyvkhatO 助けて
ワクチン接種者の血液に一体何が起こっているのか?!
顕微鏡下で見たその血液の衝撃的な映像を伝える
https://odysee.com/@SpringProtector:c/Dr-Jane-Ruby-Red-Blood-Cell:3
ワクチン接種者の血液に一体何が起こっているのか?!
顕微鏡下で見たその血液の衝撃的な映像を伝える
https://odysee.com/@SpringProtector:c/Dr-Jane-Ruby-Red-Blood-Cell:3
51名無しのひみつ
2021/09/04(土) 18:28:05.22ID:FgaclHDl >>50
1倍して1足すなら1になるし証明も簡単
1倍して1足すなら1になるし証明も簡単
52名無しのひみつ
2021/09/04(土) 18:47:43.54ID:6Kplyl8A 百々のつまりは素数の性質に関わる問題かね
53名無しのひみつ
2021/09/04(土) 19:13:34.38ID:fTd1f6gs 問題解ける前にベンチャー企業さんが潰れてる確率の方が高そうだから
懸賞金をあらかじめしかるべきところに払うくらいはしてんだよね?
懸賞金をあらかじめしかるべきところに払うくらいはしてんだよね?
55名無しのひみつ
2021/09/04(土) 20:21:20.20ID:Rmyw9aeV56KN
2021/09/04(土) 20:29:43.33ID:s4A/yVdf 多分解けた。30分もかからなかった。
57(,,゚д゚)さん 頭スカスカ
2021/09/04(土) 20:33:38.04ID:IeO+UDML >>1
そもそもが整数でななく自然数だし(・ε・)
そもそもが整数でななく自然数だし(・ε・)
58名無しのひみつ
2021/09/04(土) 20:56:46.74ID:eKXwPTFV >>47
反例は挙げてくれるかも
反例は挙げてくれるかも
59名無しのひみつ
2021/09/04(土) 21:02:50.55ID:d0auGG1E あれコレ前も見た記事だよ
おかげでコラッツという言葉は覚えた
何かで似たような性質の計算があったけど忘れたなー
おかげでコラッツという言葉は覚えた
何かで似たような性質の計算があったけど忘れたなー
61名無しのひみつ
2021/09/04(土) 21:49:17.60ID:AP5OaRXh 2で割りきれないときは、5倍して1足しても成り立ったりしないの?
3倍の意味がわからん。
3倍の意味がわからん。
62名無しのひみつ
2021/09/04(土) 21:56:02.70ID:AP5OaRXh 任意の偶数を2で割った際に、偶数になるか奇数になるか、偶数になる確率が高いってことなのかな。
どのくらい確率が高いかそれを計算すると、3倍なら1に終息する程度の割合で多いのかも。
5倍にすると、無限に発散するんだろうか。
どのくらい確率が高いかそれを計算すると、3倍なら1に終息する程度の割合で多いのかも。
5倍にすると、無限に発散するんだろうか。
63名無しのひみつ
2021/09/04(土) 22:07:48.59ID:AP5OaRXh やっぱりそうだろうな。
2^nから2^(n+1)までの間の偶数で、2で割った際に奇数になるか偶数になるか統計とると、偶数になる方がかなり多そうだな。この傾向がどんなnでも成り立つんでしょう。
だから、1~1000とか10000までの数で証明できてしまえば、あとは大体1になると言えちゃうんじゃないの。
2^nから2^(n+1)までの間の偶数で、2で割った際に奇数になるか偶数になるか統計とると、偶数になる方がかなり多そうだな。この傾向がどんなnでも成り立つんでしょう。
だから、1~1000とか10000までの数で証明できてしまえば、あとは大体1になると言えちゃうんじゃないの。
64名無しのひみつ
2021/09/05(日) 00:06:51.12ID:3HBtcTXd 3以上の全ての奇数倍で成り立つ可能性もあるし
特定の条件を満たす奇数倍の時だけ成り立つ可能性もある
実際の証明はもっと一般的な形で与えられるかもしれない
特定の条件を満たす奇数倍の時だけ成り立つ可能性もある
実際の証明はもっと一般的な形で与えられるかもしれない
65名無しのひみつ
2021/09/05(日) 00:53:57.03ID:jDLfVCZH なんとかして図形化できねえかな
66名無しのひみつ
2021/09/05(日) 01:39:17.76ID:TfpQ7r+s こういうのに賞金を出すと宣伝するのは良いが、無駄な多くの間違った証明が
賞金欲しさだけの山師のような賞金ハンターによって書かれて、それを査読
させられるまともで価値の高い学者たちは自分の研究時間を削られて
無給で査読に奉仕をさせられる。こういうのって明らかに間違いだろう?
一部の売名行為によって数学の研究進行全般を平均的に妨げる結果にしかならない
のだとしたら。
賞金欲しさだけの山師のような賞金ハンターによって書かれて、それを査読
させられるまともで価値の高い学者たちは自分の研究時間を削られて
無給で査読に奉仕をさせられる。こういうのって明らかに間違いだろう?
一部の売名行為によって数学の研究進行全般を平均的に妨げる結果にしかならない
のだとしたら。
67名無しのひみつ
2021/09/05(日) 01:45:07.47ID:YzYaq/bR この問題あまりにも限定的すぎるだろ
もうちょっと一般化できないのかね
もうちょっと一般化できないのかね
68名無しのひみつ
2021/09/05(日) 02:43:09.97ID:3TvBcJc/ 数学というか算数分からんから質問なんだけど
こういうのってある程度の数までいったら予想成立とはならんの?
記事みたら21桁の整数までは予想が成り立つって書いてあったけど
そこまで数いってたらその後もずっといけそうな気がする
やること2で割るか3倍して1足すだけだし
これだけの操作ならもう大丈夫なのでは
それとも過去に別の問題で
ずーっと大丈夫だったのに
突然1つの反例の数字が出てきてダメになったケースとかあるん?
こういうのってある程度の数までいったら予想成立とはならんの?
記事みたら21桁の整数までは予想が成り立つって書いてあったけど
そこまで数いってたらその後もずっといけそうな気がする
やること2で割るか3倍して1足すだけだし
これだけの操作ならもう大丈夫なのでは
それとも過去に別の問題で
ずーっと大丈夫だったのに
突然1つの反例の数字が出てきてダメになったケースとかあるん?
69名無しのひみつ
2021/09/05(日) 03:05:57.26ID:t1m3nXVk70名無しのひみつ
2021/09/05(日) 03:11:26.60ID:qB0Fmw3Q71暇人
2021/09/05(日) 03:19:06.27ID:NWVMmSn6 奇数の3倍して+1がきつい・・・
例) 3(2X-1)+1=6X-4=2(3X-1) ????
例) 3(2X-1)+1=6X-4=2(3X-1) ????
72名無しのひみつ
2021/09/05(日) 03:29:47.33ID:6bUtoAS8 証明の着地点を想像するに俺の知ってる数学だけでは到底無理そうだ
73名無しのひみつ
2021/09/05(日) 05:37:20.73ID:weqLw7rY >>66
数学者が出る幕もないシンプルに片付く証明が出る、可能性は
否定できないよね?(二重否定…可能性はあるよね?)
否定できなくもないよね?(三重否定…可能性はないよね?)
論理的日本語の表現は実に難しい。
数学者が出る幕もないシンプルに片付く証明が出る、可能性は
否定できないよね?(二重否定…可能性はあるよね?)
否定できなくもないよね?(三重否定…可能性はないよね?)
論理的日本語の表現は実に難しい。
74名無しのひみつ
2021/09/05(日) 07:03:11.18ID:TfpQ7r+s 世の中には解決が望まれている命題はいろいろあるのに、
その一部だけを取り上げて、売名宣伝のために賞金を賭けて
無償報酬で行われている査読システムにただ乗りしている悪
という構図が理解できないのはマスコミの学問世界への理解
の程度による限界だな。売名宣伝の為に学問分野の人的知的
資源の浪費を招く行為を煽る。
命題はほぼ機械的に幾らでも作ることができるが、それら
の真偽を判定する一般的な手順は存在しないことが知られて
いる。ある命題が正しいとか正しくないとかを示す証明はい
つまでたっても見付からない可能性がある。そうして命題に
よっては仮定している公理系だけからでは真であるとも偽で
あるとも証明することが絶対にできないものすらある。
その一部だけを取り上げて、売名宣伝のために賞金を賭けて
無償報酬で行われている査読システムにただ乗りしている悪
という構図が理解できないのはマスコミの学問世界への理解
の程度による限界だな。売名宣伝の為に学問分野の人的知的
資源の浪費を招く行為を煽る。
命題はほぼ機械的に幾らでも作ることができるが、それら
の真偽を判定する一般的な手順は存在しないことが知られて
いる。ある命題が正しいとか正しくないとかを示す証明はい
つまでたっても見付からない可能性がある。そうして命題に
よっては仮定している公理系だけからでは真であるとも偽で
あるとも証明することが絶対にできないものすらある。
75名無しのひみつ
2021/09/05(日) 07:58:12.36ID:iBkOoYJv 逆算していけば良いだろ
2^nの値から
・1を引いて3で割る
・2倍する
のどちらかの操作を繰り返し、表せない値は存在しない。
よって体位が示された。(L.E.D.)
2^nの値から
・1を引いて3で割る
・2倍する
のどちらかの操作を繰り返し、表せない値は存在しない。
よって体位が示された。(L.E.D.)
76名無しのひみつ
2021/09/05(日) 09:06:54.49ID:h45XWPO0 1を特別視しすぎだろ
77名無しのひみつ
2021/09/05(日) 09:30:04.51ID:EY2n3LER >>14
12桁の電卓を使えば?
12桁の電卓を使えば?
78名無しのひみつ
2021/09/05(日) 09:37:39.80ID:W1V2IALj 奇数に3をかける必要はない。
奇数に1を足して偶数にすれば必ず2で割れるから。
なんで3をかける無駄をするんだろ。
奇数に1を足して偶数にすれば必ず2で割れるから。
なんで3をかける無駄をするんだろ。
79名無しのひみつ
2021/09/05(日) 09:44:45.72ID:qB0Fmw3Q >>78
それは証明できる
それは証明できる
80名無しのひみつ
2021/09/05(日) 09:52:51.36ID:tmhrvBIn81名無しのひみつ
2021/09/05(日) 10:11:24.46ID:BnJsVs// 単純な式でも状況によって使い分けてるから
そら証明も難しくなるわな
そら証明も難しくなるわな
82名無しのひみつ
2021/09/05(日) 14:03:33.81ID:3TvBcJc/83名無しのひみつ
2021/09/05(日) 14:18:13.26ID:qB0Fmw3Q メルセンヌ予想とかポリア予想ですね
もう数個あった気がします
もう数個あった気がします
84名無しのひみつ
2021/09/05(日) 14:28:24.81ID:VZ5aOq4j がちゃーん
コラーッツこの腕白坊主どもめー!
うわあ逃げろーっ
コラーッツこの腕白坊主どもめー!
うわあ逃げろーっ
86名無しのひみつ
2021/09/05(日) 14:48:53.09ID:TfpQ7r+s 完全数は偶数に限るかという予想。今のところどこまで調べてみても
奇数の完全数は見付からない。しかし奇数の完全数が存在しないことの
証明は未だ誰も得ていない。
(ちなみに偶数の完全数については、既にユークリッドの原論の中で
この形なら偶数の完全数になるというものが与えられていたが、
逆に偶数の完全数はその形に限るということをオイラーが始めて
証明した。それにより偶数の完全数はメルセンヌ素数と1体1に対応が
付く。メルセンヌ素数が無限にあるかどうかはこれも未解決。)
奇数の完全数は見付からない。しかし奇数の完全数が存在しないことの
証明は未だ誰も得ていない。
(ちなみに偶数の完全数については、既にユークリッドの原論の中で
この形なら偶数の完全数になるというものが与えられていたが、
逆に偶数の完全数はその形に限るということをオイラーが始めて
証明した。それにより偶数の完全数はメルセンヌ素数と1体1に対応が
付く。メルセンヌ素数が無限にあるかどうかはこれも未解決。)
87名無しのひみつ
2021/09/05(日) 15:27:22.84ID:7oZTHUan 2進数で表現して2桁ずつ考えていくとわかりやすいかもね。
奇数に元の数と、左に1ピットシフトした数と、1を足す を繰り返したときの
2桁ずつのパターンをそれぞれ調べていく感じで。
LSB寄りの2桁だけで考えると、奇数は必ず一番右のビットが1なので 01 か 11 の2通り
3倍して1を足すと、100 か 1010 になるので、次の2桁でそれぞれのパターンを
考えていくとか。
奇数に元の数と、左に1ピットシフトした数と、1を足す を繰り返したときの
2桁ずつのパターンをそれぞれ調べていく感じで。
LSB寄りの2桁だけで考えると、奇数は必ず一番右のビットが1なので 01 か 11 の2通り
3倍して1を足すと、100 か 1010 になるので、次の2桁でそれぞれのパターンを
考えていくとか。
88名無しのひみつ
2021/09/05(日) 19:10:54.79ID:4SacogqC こういうので計算では出ないけど理論で存在が証明されたとかあるの?
89名無しのひみつ
2021/09/05(日) 20:50:02.69ID:fyHlV2VN90名無しのひみつ
2021/09/06(月) 05:41:49.20ID:N3ppUvSV 1億円に目がくらんで、他との関連性や応用も無さそうな孤立した難問に
(問題の内容が優しく理解できるので)初学者が飛びついて1年とか何年とか
時間・人生を無駄にしてしまう。他に既に過去の標準的な汎用の内容や理論で
応用が利いて学んでおくべきことがらは沢山あるのに。結局1人だけしか
賞金は貰えないのだし、始めて証明したとして歴史に残る人もただ一人。
あまり大勢が1つの問題にとりつくのは、人的資源の配分としても無駄。
証明されたからといってその日から世界の社会の何かが変わるというよう
なものでもない。人が与えた問題を解くよりも、解決すべき問題を
自分の感性で見つけ出すことの方がもっと重要ではないだろうか。
証明よりも正しいであろうことの予想を見つけ出す。
あるいは少数の例外以外はほとんどの場合に正しい内容があったなら
何故(例外は)そうなのかも追求する。
(問題の内容が優しく理解できるので)初学者が飛びついて1年とか何年とか
時間・人生を無駄にしてしまう。他に既に過去の標準的な汎用の内容や理論で
応用が利いて学んでおくべきことがらは沢山あるのに。結局1人だけしか
賞金は貰えないのだし、始めて証明したとして歴史に残る人もただ一人。
あまり大勢が1つの問題にとりつくのは、人的資源の配分としても無駄。
証明されたからといってその日から世界の社会の何かが変わるというよう
なものでもない。人が与えた問題を解くよりも、解決すべき問題を
自分の感性で見つけ出すことの方がもっと重要ではないだろうか。
証明よりも正しいであろうことの予想を見つけ出す。
あるいは少数の例外以外はほとんどの場合に正しい内容があったなら
何故(例外は)そうなのかも追求する。
91名無しのひみつ
2021/09/06(月) 06:10:02.23ID:jxg3vGAh 数列が2のn乗にたどり着けばよいだけなので、大きい数ほど成り立ちやすい。よって例外はない。
92名無しのひみつ
2021/09/06(月) 06:10:56.69ID:oV+oT6+k96名無しのひみつ
2021/09/06(月) 21:28:42.20ID:N3ppUvSV 要するに反例というかある性質を満たす数が存在することは証明できても、
その数を具体的に示していない・示すのが大変だ、示すことが不可能だ
という話なんだな。
たとえば、ある論理体系で各命題に対してゲーデル数の対応を考える。
よく知られているように、任意の命題の成否を証明できる手順(アルゴリズム)は
存在しない。よって、命題をゲーデル数の大小の順に並べて
その命題が成立すれば1を、成立しなければ0として、0以上1未満の実数の
二進小数展開 x=0. a1 a2 a3 a4 .... を考える。
ここで小数点以下k桁目の数字 ak はゲーデル数がkの命題が存在すれば、
その成否に基づいて1と0を割り当て、ゲーデル数がkの命題が存在しなければ
たとえば0とする。この実数xは存在するはずだが、xは計算可能ではない。
つまりある任意に与えた正数εに対してxの値を誤差ε未満で上からと下からで
押さえることは(手順がないので)できない。
その数を具体的に示していない・示すのが大変だ、示すことが不可能だ
という話なんだな。
たとえば、ある論理体系で各命題に対してゲーデル数の対応を考える。
よく知られているように、任意の命題の成否を証明できる手順(アルゴリズム)は
存在しない。よって、命題をゲーデル数の大小の順に並べて
その命題が成立すれば1を、成立しなければ0として、0以上1未満の実数の
二進小数展開 x=0. a1 a2 a3 a4 .... を考える。
ここで小数点以下k桁目の数字 ak はゲーデル数がkの命題が存在すれば、
その成否に基づいて1と0を割り当て、ゲーデル数がkの命題が存在しなければ
たとえば0とする。この実数xは存在するはずだが、xは計算可能ではない。
つまりある任意に与えた正数εに対してxの値を誤差ε未満で上からと下からで
押さえることは(手順がないので)できない。
97名無しのひみつ
2021/09/07(火) 18:35:38.70ID:1QIQ6iQi 0は偶数だから0÷2=0
コラッツ予想もこれで解決
コラッツ予想もこれで解決
98名無しのひみつ
2021/09/07(火) 18:40:03.12ID:1QIQ6iQi 2x÷2=y
3x+1=偶数÷2
偶数÷2最後は必ず1
222222222222222222
22222222222222222222222222222
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
1
必ず割り切れるんだから証明されないのもおかしい
3x+1=偶数÷2
偶数÷2最後は必ず1
222222222222222222
22222222222222222222222222222
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
1
必ず割り切れるんだから証明されないのもおかしい
99名無しのひみつ
2021/09/07(火) 18:56:46.85ID:1QIQ6iQi 3倍程度では発散しません
むしろ発散しないと証明しても証明できそう
数字を無限に3倍するといつ発散しますか
数字が暴走して整数と認識できなくなりますか
かたまりになるのはいつですか
こんな感じで考えていくと発散するわけないよ
無限の数字もわり算していけばいつか必ず1になります
わり算できる数字は必ず最後は1になると証明してもいけそう
むしろ発散しないと証明しても証明できそう
数字を無限に3倍するといつ発散しますか
数字が暴走して整数と認識できなくなりますか
かたまりになるのはいつですか
こんな感じで考えていくと発散するわけないよ
無限の数字もわり算していけばいつか必ず1になります
わり算できる数字は必ず最後は1になると証明してもいけそう
100名無しのひみつ
2021/09/09(木) 06:47:08.32ID:HayWJuQU どっちでもいい感じの予想だから放置されてるんだろ
101名無しのひみつ
2021/09/09(木) 15:09:43.44ID:SHZpo1dl >>97
>コラッツ予想は、1、2、3……と無限に続く整数の問題だ。
>コラッツ予想は、1、2、3……と無限に続く整数の問題だ。
■ このスレッドは過去ログ倉庫に格納されています
ニュース
- 【日中関係】中国軍 台湾周辺で軍事演習行うと発表 「台湾独立勢力と外部干渉勢力への厳重な警告」高市総理「台湾有事」発言けん制か★3 [ぐれ★]
- 【中年女性】世間からは“子供部屋おばさん”と呼ばれ、家族には虐げられる…52歳女性の苦悩 [ぐれ★]
- 【東京】高田馬場の路上で30代女性刺される…男は逃走 2人は面識ある可能性 すれ違いざまに胸など4カ所ほど刺されたか [夜のけいちゃん★]
- 「下請け」は"NGワード" 法改正で消える暗黙の上下関係 フリーランスも保護【2026年から変わること】 [少考さん★]
- 【炎上】元class 岡崎公聡、GACKTへの差し入れでドーナツ30個購入を断られ店員侮辱「バーカ!」「デブ」「早く潰れちまえ」 ★7 [Anonymous★]
- 「高市首相は中国の誤解を解くために説明すべき」「右傾化すれば政権を問わずアラートを出す」前外相・岩屋毅氏《中学生記者が直撃》★2 [少考さん★]
- ダブパン本仕込みのお🏡🍞🍞🍞😅🍞🍞🍞
- 竹田天皇「EVはガソリン車の1.3倍、加速時のエネルギーは『質量×速さの2乗÷2』だからガソリン車の2倍のエネルギーを使う」 [972432215]
- 名古屋でSwitch2買いたい方いませんか?
- 【徹底討論】 対魔忍シリーズが20周年! 星の数ほどあるエロゲの中で、何故Fateと対魔忍だけが”国民的エロゲ”になれたのか…… [875588627]
- うんちもらした
- 大人気オープンワールドゲーム「安倍晋三」にありがちなこと [974680522]
