1：名無しさん＠おーぷん：19/11/27(水)14:58:03 ID:RIj
2(中)双子素数の無限存在性
3(遊)P≠NP予想
4(一)リーマン予想
5(三)ABC予想
6(右)π+eが超越数か等
7(左)ソファ問題
8(捕)ルジャンドル予想
9(投)ナビエ・ストークス方程式の解の存在
5：名無しさん＠おーぷん：19/11/27(水)15:01:53 ID:4K6
7：名無しさん＠おーぷん：19/11/27(水)15:02:35 ID:VXL
8：名無しさん＠おーぷん：19/11/27(水)15:03:11 ID:7sj
2：名無しさん＠おーぷん：19/11/27(水)14:58:30 ID:VXL
3：名無しさん＠おーぷん：19/11/27(水)15:00:21 ID:RIj
基準は、知名度や分かりやすさやインパクトなどを軸にほぼ個人的な好みで決めた
一応、どれも内容は大まかに理解してるつもりやで
6：名無しさん＠おーぷん：19/11/27(水)15:02:20 ID:VXL
要はほとんどわかってないんやん
お前みたいにペラッペラな知識で語りたがるやつきしょいな
14：名無しさん＠おーぷん：19/11/27(水)15:06:05 ID:r0p
わかってたら未解決とは言わないのでは?
24：名無しさん＠おーぷん：19/11/27(水)15:19:35 ID:RIj
一応、大学で数学を専攻してた程度の知識はあるんやけどな
それをペラッペラと言われたらもう何も言えないけど
9：名無しさん＠おーぷん：19/11/27(水)15:03:21 ID:PUS
10：名無しさん＠おーぷん：19/11/27(水)15:04:07 ID:I2a
11：名無しさん＠おーぷん：19/11/27(水)15:04:15 ID:A5t
「素数に規則性があるのか？」って言う長年の疑問の一端ではある。
13：名無しさん＠おーぷん：19/11/27(水)15:05:34 ID:RIj
1(二)ゴールドバッハ予想
「4以上の全ての偶数は二つの素数の和で表せる」という予想や
『数の悪魔』とかにも載ってるぐらい有名な命題で、ステートメントだけならば小学生にも理解されやすいから知ってる人も多いと思う
見た目は簡単そうなのにいまだに全然証明されていないところが「フェルマーの最終定理」っぽくて好き
15：名無しさん＠おーぷん：19/11/27(水)15:06:48 ID:Wju
19：名無しさん＠おーぷん：19/11/27(水)15:11:17 ID:RIj
入れようか迷ったけど、打線があまりに数論ばかりに偏るし説明がかったるいので外してしもうた
16：名無しさん＠おーぷん：19/11/27(水)15:07:10 ID:De1
17：名無しさん＠おーぷん：19/11/27(水)15:09:21 ID:RIj
これもゴールドバッハ予想と同じく見た目は簡単そうなのになかなか解けない問題やな
双子素数っていうのは、3と5、5と7、11と13みたいに隣り合う奇数同士が素数になってるペアのことを言うんや
この双子素数のペアが無限にあるのか、それとも有限しかないのかはいまだに証明されてないんや
素数自体が無限にあることは証明されてるのに、不思議な話やなあ
18：名無しさん＠おーぷん：19/11/27(水)15:10:45 ID:2Uw
20：名無しさん＠おーぷん：19/11/27(水)15:13:23 ID:Wju
22：名無しさん＠おーぷん：19/11/27(水)15:15:34 ID:oc7
23：名無しさん＠おーぷん：19/11/27(水)15:17:33 ID:RIj
これは言わずと知れた超有名問題だから知ってる人も多いんとちゃうんか
PとかNPっていうのは、ある「問題」が属するクラス(集まり)のことで、
Pは、入力サイズの多項式時間で解ける
NPは、入力サイズの多項式時間で、解答の証拠を検証できる
そういう問題を表すんや。
ある問題がPに属するならばNPに属することは自明なんだけど、逆が成り立つかはいまだに分かっていない
多くの数学者は逆は成り立たない(すなわちP≠NP)だと予想してるけど、
もしこの予想が間違ってたら、現代の暗号の安全性とかにも大きな影響を与えかねない大変な事態になるんや
そういう意味で影響力の大きい問題なんやで
だから、有名なミレニアム懸賞問題の一つにもなってる
25：名無しさん＠おーぷん：19/11/27(水)15:20:43 ID:QOR
26：名無しさん＠おーぷん：19/11/27(水)15:26:04 ID:3Iy
自然科学っていうけどもともとは自然哲学って言うてたし
数学は自然科学を表す言語
28：名無しさん＠おーぷん：19/11/27(水)15:31:18 ID:RIj
数学は哲学って言うやつは良くいるけど、個人的には数学を良く分かんなくなったやつがテキトーこいてるだけで、
実際は数学と哲学は全然別物の学問やと思うけどなあ
数理論理学とかならば、哲学とかぶる部分もあるんやろうけど
27：名無しさん＠おーぷん：19/11/27(水)15:28:54 ID:RIj
全ての未解決問題の中で恐らく一番有名だし、多くの数学者が挑戦したがってるロマン溢れる未解決問題やな
「リーマンゼータ関数
Z(s)=1/1^s+1/2^s+1/3^s+……
の零点（つまりZ(s)=0となるようなｓ）のうち、非自明なもの(すなわち負の偶数でない零点)は全て実部が1/2の複素数である」
というのがこの予想のステートメントや。
この予想は素数の分布を知るのにも役立つので、多くの数学者にとってチャレンジしがいのある問題なんや
でもいまだに解決されてなくて、ミレニアム懸賞問題の一つになってる難問なんよな
32：名無しさん＠おーぷん：19/11/27(水)15:45:10 ID:RIj
超越数っていうのは、「有理数係数の多項式の根に絶対にならない数」のことを指すんや
例えば、円周率πやネイピア数eは超越数であることがすでに証明されてるんや。
それにも関わらず、その2つを足したπ+eや積eπやπ/eなどはいまだに超越数であるのかどうかわかってないんや
見た目だけなら超越数に見えるのに、その証明ができないってのは何とも不思議やなあ
33：名無しさん＠おーぷん：19/11/27(水)15:47:34 ID:fjJ
38：名無しさん＠おーぷん：19/11/27(水)15:57:02 ID:RIj
数学の研究史の流れで自然と出てきたものもあれば、なんか急に誰かが思いついたものもある
とは言え、大抵は前者のパターンやな
34：名無しさん＠おーぷん：19/11/27(水)15:50:29 ID:dU6
科学の精神に反している
35：名無しさん＠おーぷん：19/11/27(水)15:52:48 ID:RIj
これは小学生でも理解できるちょっと面白い未解決問題や
「L字型の通路を通り抜けられるソファの面積の最大値はいくつか？」という問題や
イメージ沸きにくい人は下記のリンク先の図を見て欲しいんやが、色んな「ヘンテコな形」のソファーが考えられるんやで。
その中で最大の面積となるのはどんなのか？っていう問題や。これもいまだに答えが分かってないんやなあ
ソファ問題 は数学の未解決問題のひとつ。
1966年にレオ・モーザー（英語版）によって問題が提示された。
この問題は「L字型の通路を通り抜けることができる、ソファの面積の最大値 A を求めよ」という離散幾何学（英語版）、数学パズルの問題である。これは、数学上の未解決問題となっている。
https://ja.wikipedia.org/wiki/ソファ問題
41：名無しさん＠おーぷん：19/11/27(水)16:02:22 ID:RIj
これも数論の未解決問題やな。数論は有名な未解決問題が多いから大変やで。
ステートメントは「任意の自然数nに対してn^2と(n+1)^2との間に必ず素数が存在する」という予想や。
小学生でも理解できるステートメントなのに、いまだに証明はされていないんやでえ。
なお、似たような命題として「任意の自然数nに対してnと2nの間に必ず素数が存在する」というステートメントもあるんやがこっちは証明済みや
ベルトラン・チェビシェフの定理って呼ばれてるやつやな
実は、こっちの定理は高校数学までの内容で証明可能なんやで
42：名無しさん＠おーぷん：19/11/27(水)16:06:11 ID:QOR
48：名無しさん＠おーぷん：19/11/27(水)16:13:23 ID:RIj
いいことある予想もあれば、そうでもない予想もある
例えば、リーマン予想なんかは素数の分布を調べるのに使えるから嬉しいし、
P≠NP予想もアルゴリズムの開発に直接的に関係することあるから嬉しい
50：名無しさん＠おーぷん：19/11/27(水)16:14:37 ID:irh
素数分布がわかってうれしいのってプッチ神父以外におるんか？
55：名無しさん＠おーぷん：19/11/27(水)16:19:55 ID:RIj
一応、大きな素数の現れ方が大まかにでも分かれば、暗号の開発とかに役立ちはする
51：名無しさん＠おーぷん：19/11/27(水)16:14:49 ID:YGE
57：名無しさん＠おーぷん：19/11/27(水)16:24:48 ID:RIj
打線に入れた中だと、ソファ問題はワイも何の役に立つのか良く分からんな
面白い問題だから打線には入れたけど
58：名無しさん＠おーぷん：19/11/27(水)16:28:01 ID:YGE
外階段式のアパートの2階に引っ越した時とかに使いそうだと思ったけど案外そうでもないのか…
まぁ普通は下調べするから使わんか…
59：名無しさん＠おーぷん：19/11/27(水)16:32:56 ID:RIj
ゆーて、ソファ問題で考えられるソファってかなり「ヘンテコ」な形のソファやからなあ
現実的なソファとは違うやろ
60：名無しさん＠おーぷん：19/11/27(水)16:36:16 ID:YGE
最大値の求め方が分かればそれ以下なら通るから便利かなって（浅はか）
実際に求められたらへんてこソファどっかの高級ブランドか芸術家が作りそうだけど
61：名無しさん＠おーぷん：19/11/27(水)16:41:07 ID:RIj
確かに、最大値より大きいソファはとりあえず通らないことが分かるから、それだけでも便利ではあるかもな
43：名無しさん＠おーぷん：19/11/27(水)16:06:39 ID:yae
47：名無しさん＠おーぷん：19/11/27(水)16:13:19 ID:x5r
安心しろ
ワイ理解やけど一つも分からん
49：名無しさん＠おーぷん：19/11/27(水)16:13:36 ID:x5r
理系な
ワイの予測変換無能
44：名無しさん＠おーぷん：19/11/27(水)16:10:39 ID:tVO
メルセンヌ数なんちゃうんかって思ったけどどうなんやろ
イッチ教えて
53：名無しさん＠おーぷん：19/11/27(水)16:17:20 ID:RIj
メルセンヌ素数と偶数の完全数が一対一で対応してることは証明されてるけど、
そのステートメントが証明できるかはちょっと分からんなあ
54：名無しさん＠おーぷん：19/11/27(水)16:18:52 ID:tVO
はえ〜知らんかった
小学生の頃からの疑問やったんやサンガツ
45：名無しさん＠おーぷん：19/11/27(水)16:10:51 ID:RIj
これは実は数学だけでなく物理学にも関係する未解決問題なんや。
ナビエ・ストークス方程式っていうのは、物理学において流体の動きを記述する運動方程式なんやけど、
この方程式に果たして解が存在するのかどうかはいまだに証明されていないんや
もちろん、現実には水とかの流体はちゃんと流れてるんやから、物理学的には解があると当然のように思われてるんやけど、
数学的にこの方程式の解の存在を証明することはまだできてないんや
もちろん、解の存在の証明ができてないってことは、解を求めることもできていないってことだから、
物理学の世界ではいまだに流体の厳密な動きを記述することはできていないんやで
だから、流体についてはいわゆる「数値計算」というアプローチを使って、コンピューターで近似的に動きをシミュレートせざるを得ないんや
46：名無しさん＠おーぷん：19/11/27(水)16:12:41 ID:x5r
52：名無しさん＠おーぷん：19/11/27(水)16:16:09 ID:4PM
56：名無しさん＠おーぷん：19/11/27(水)16:21:40 ID:RIj
コラッツ予想はまだ未解決問題のままやで
確かに、これも打線に入れて良かったかもな
その場合は、ルジャンドル予想outかな
62：名無しさん＠おーぷん：19/11/27(水)17:16:23 ID:1PA
63：名無しさん＠おーぷん：19/11/27(水)17:28:30 ID:2WB
やり直し！
40：名無しさん＠おーぷん：19/11/27(水)15:57:47 ID:YGE
どういう頭の構造してるんやろ
関連記事： 哲学とかいう学問面白すぎやろｗｗｗ｜VIPPER速報
関連記事： 男「奥さん…」ﾎﾞﾛﾝ 女（ウソ…旦那の2倍より8cm短くその差は5cmもあるっ…）｜VIPPER速報
引用元：数学の未解決問題で打線組んだ
しました
積分不可能な方程式にも解は存在するし。
そもそも、ナビア・ストークス方程式に限定しているところで何もわかってない。
yasainet
が
しました