23/11/24 19:01:27.80 GLT3qTQ8.net
2022年7月13日からNHK総合で全12回放送される「笑わない数学」について語るスレです
笑わない数学
URLﾘﾝｸ(www.nhk.jp)
パンサー尾形貴弘が難解な数学の世界を大真面目に解説する異色の知的エンターテインメント番組！
「リーマン予想」「フェルマーの最終定理」「連続体仮説」「四色問題」「ガロア理論」「abc予想」
「確率論」「P対NP問題」「カオス理論」「ポアンカレ予想」「暗号理論」「虚数」・・・。
天才数学者をも苦しめてきた数々の難問、そして美しくも不思議な知の世界を、１回３０分ワンテーマ、
ギャグ封印で、トコトン分かりやすく掘り下げる！
前スレ
【パンサー尾形】笑わない数学【NHK総合】
ｽﾚﾘﾝｸ(math板)
2:１３２人目の素数さん
23/11/24 19:30:01.34 Jwv9IxGh.net
【違法】
辻元清美議員 信号無視して警察に怒られる
💢🚔👮🏻♂>>1000
ｽﾚﾘﾝｸ(morningcoffee板)
【＃右曲がりアカン降ろせ】
URLﾘﾝｸ(pbs.twimg.com)
URLﾘﾝｸ(i.imgur.com)
URLﾘﾝｸ(pbs.twimg.com)
URLﾘﾝｸ(pbs.twimg.com)
【＃護憲の前に交通ルール】
URLﾘﾝｸ(livedoor.blogimg.jp)
【＃御免で済むから自警察】
URLﾘﾝｸ(youtu.be)
>>1
3:１３２人目の素数さん
23/11/24 22:03:07.40 ZsrOXqw2.net
やべえ！余白が多すぎる
4:１３２人目の素数さん
23/11/24 22:52:34.25 c5Vz4K9B.net
1+1=2 の回の内容の大部分が間違っているらしいけどホント？
5:１３２人目の素数さん
23/11/25 00:18:25.46 X6UJFYXk.net
>>4
よくわかんないけど，すごいブチきれてて笑う
URLﾘﾝｸ(sokr%61tes7ch%61os.h%61ten%61%62log.%63om)
6:１３２人目の素数さん
23/11/25 00:55:48.18 YOBFH8SG.net
>>5
こういうのは典型的オタク仕草だよなぁ
番組サイドからしたら「はいはい」って感じだろう
7:１３２人目の素数さん
23/11/25 00:57:33.06 YOBFH8SG.net
>>1
スレ立て乙
次スレ立てる前に前スレ埋めてたのは荒らしか
8:１３２人目の素数さん
23/11/25 01:08:40.21 X6UJFYXk.net
で、結局あってるの？間違ってるの？
9:１３２人目の素数さん
23/11/25 01:10:42.03 X6UJFYXk.net
読んでもわかんね
10:１３２人目の素数さん
23/11/25 01:13:43.54 X6UJFYXk.net
書いたやつ、スゲェ
11:１３２人目の素数さん
23/11/25 01:30:00.03 YOBFH8SG.net
番組自体は数学ではないんだから、あってる間違ってるは微妙な問いだ
説明は不正確であっても番組の方法論としては間違ってない
この人が文句言いたいことも分かるけど、公理の事を何も知らない一般ピーポーに雰囲気伝える手段として番組の説明は全然アリ
12:１３２人目の素数さん
23/11/25 01:52:44.78 B90kqwz2.net
数学的内容が間違っているから，雰囲気も伝わってないみたいな話じゃないのこれ
13:１３２人目の素数さん
23/11/25 02:02:31.63 X6UJFYXk.net
まだ内容よくわかんねぇけど、キレてるヤツの言う通り半分以上間違えてんならさすがに雰囲気も伝わらないんじゃねぇの
14:１３２人目の素数さん
23/11/25 02:11:39.26 YOBFH8SG.net
「公理とは何か」「公理がなぜ登場したか」「公理を使って数学をするとはどういうことなのか」雰囲気はよく伝わってたよ
15:１３２人目の素数さん
23/11/25 10:09:32.34 X6UJFYXk.net
たぶん、キレてるヤツの記事読んでないで書いてくれてるんだろうけど、その辺りも間違えてるって書いてあるからなあ
ちょっと、あんたの言うこと信じられんくなってきたわ。ごめんな
16:１３２人目の素数さん
23/11/25 10:13:59.75 YOBFH8SG.net
本人乙
17:１３２人目の素数さん
23/11/25 11:32:11.98 X6UJFYXk.net
突然の本人認定ワロタ
18:１３２人目の素数さん
23/11/25 11:38:11.62 sVB2dhRP.net
ヨビノリタクミも以前1+1=2を扱ってたけど、大体そんな感じでしょ
なんで、「1+1が3でも4でもなくて2なのか？」
哲学的に考えたいんならこの板の範疇を越えるからね
19:１３２人目の素数さん
23/11/25 15:03:30.38 X6UJFYXk.net
キレてるヤツが気にしてるのたぶん番組内の大半が間違ってたことで、1+1=2 の説明部分については何も書いてないんだよね。
番組の内容よく覚えてないけど、1+1=2の説明部分ってすぐ終わらなかったっけ？
20:１３２人目の素数さん
23/11/25 15:50:06.83 lNUkB2S+.net
番組の内容もよく覚えてなくて、それへの批判文の内容もよくわかってないのに8レスもして何がしたいんだ
とにかくNHKに文句言いたいだけってことなのかな
21:１３２人目の素数さん
23/11/25 17:23:48.54 X6UJFYXk.net
>>20
細かいところまで覚えてないって意味だよ。
非ユークリッド幾何学が自然数の定義に結びついたんだって、信じてたのに違うらしいってのワリとショックだったし、ヒルベルトプログラムをデッカイ塔を建てるイメージ抱いててスゲェなって感動してたのに、このイメージも間違っているらしいし……
結局、どっちが正しいんだ。あの三十分に経験したことはなんだったんだ。
22:１３２人目の素数さん
23/11/25 19:30:56.53 lNUkB2S+.net
>>21
違うらしいってそれはその人が勝手に書いてるだけでしょ
19世紀にまず先行したのは非ユークリッド幾何で、そこからリーマンやデデキントといった時の数学者たちが幾何学や解析学の基礎付けの仕事していって、その流れの中でデデキント切断なども登場するから間違いってわけではないよ
23:１３２人目の素数さん
23/11/25 21:03:02.76 X6UJFYXk.net
>>22
そうなん？非ユークリッド幾何学が先行してるのはそうかもしれんけど、デデキント切断が非ユークリッド幾何学とどう結びつくのかよくわからんのだけど……
デデキントって幾何のことやってたんか？
24:１３２人目の素数さん
23/11/25 21:43:17.92 lNUkB2S+.net
>>23
幾何の仕事もしてるよ
てかリーマンの仕事とか見ると分かりやすいけど、当時は幾何学も解析学も数の基礎付けも混ざり合ってたし同じ問題意識の中にあった
でも基礎付けや公理といったものが意識されたのは非ユークリッド幾何の存在が大きかったと思う
25:１３２人目の素数さん
23/11/25 22:34:25.64 ip+Td+YO.net
>>5
0でも1でもええやんて思うがな
ペアノの公理は自然数の持つべき性質を挙げたもので
自然数の存在やその一意性はまた別の話とは確かにそうだろうけど
ペアノはコレで
あるべき自然数を定義したと思ってたんじゃないの？
知らんけど
26:１３２人目の素数さん
23/11/25 22:40:26.35 ip+Td+YO.net
>>5
ヒルベルトプログラムについては子な人の言う通りのような気がすー
27:１３２人目の素数さん
23/11/25 23:04:02.41 X6UJFYXk.net
>>24
デデキントって幾何の仕事してたんや。具体的に何やってたんだろ……
まぁ、どっちにせよ、その説明だとわざわざ言及するには結びつき弱そうに聞こえるけどなあ。「問題意識が混然一体となって」いるなら、デデキントの本の「微積分学がモチベーション」って記述優先するのが普通のような気がするし……
いや、キレてる人の記事に書いてあるだけだから確かめとらんけど
ところで、ペアノも幾何で仕事しとるんか？
28:１３２人目の素数さん
23/11/25 23:07:17.76 X6UJFYXk.net
>>26
ヒルベルトプログラムがキレてるヤツの言う通りなら、やっぱり放送時間の半分以上間違っとるやんか……
あの感動の後半15分はニセモノの時間だったんやな……
時間返してほしい……
29:１３２人目の素数さん
23/11/25 23:09:55.37 lNUkB2S+.net
>>26
ヒルベルトプログラムのとこも揚げ足取りみたいな話だけどな
数学の無矛盾性を示すために公理や論理式などを使って数学を再構築するってことなんだから、構築って言葉にそこまで文句つける必要ないと思うが
30:１３２人目の素数さん
23/11/25 23:21:47.84 lNUkB2S+.net
てかコイツやっぱソクラテス本人だろ
最初の方のレスでは「読んでもわかんね」って素人第三者装ってたのにしっぽ出しすぎ
読んでもわからん誰かの長文をここまで論じるってないからw
31:１３２人目の素数さん
23/11/26 00:27:01.41 QR2FeJUR.net
>>30
>コイツ
て誰？IDで示して
32:１３２人目の素数さん
23/11/26 00:53:02.74 +qwuAe0p.net
>>29
目的と手段入れ替えてたら普通におかしくね？
33:１３２人目の素数さん
23/11/26 01:04:36.29 8QieEWmU.net
結局デデキントの幾何の仕事ってナニ
Wiki に載ってない
34:１３２人目の素数さん
23/11/26 01:10:07.72 pwncor7N.net
>>32
jpopの歌詞みたいな言い換えやめろw
数学を無矛盾な体系としてハッキリさせたかったわけだから、この場合は手段と目的ほぼ同じじゃんか
35:１３２人目の素数さん
23/11/26 01:11:40.26 pwncor7N.net
>>31-33
ソクラテスさん落ち着いて
36:１３２人目の素数さん
23/11/26 01:13:53.02 LekShjTA.net
>>35
なんだ
適当に言ってるだけか
37:１３２人目の素数さん
23/11/26 09:39:07.28 8QieEWmU.net
なんか、知識不足がバレないように本人判定して話そらしてるだけに見えるな。ざっと調べたけど、デデキントに幾何の仕事してる気配ないし。
とりあえず、テキトーなウソつくのやめよ？
>>ID:pwncor7N
38:１３２人目の素数さん
23/11/26 10:05:17.37 dTW7wEMf.net
結局番組の内容が間違ってるって指摘は数学者の考え方とか物事が導入された意義みたいな歴史的な内容に対するものなの？
それとも例えばこの定理の主張が間違ってるみたいな感じで数学的な内容にも間違いがあるの？
39:１３２人目の素数さん
23/11/26 10:29:10.98 LekShjTA.net
>>29
ま
そうね
素人向け番組としてはよくできていると思う
今のところ俺が疑問符だったのは
コラッツ予想で
奇数について証明すれば十分というのが
偶数について証明できているというのとは違うと
強調しすぎていたことくらいかな
あああと2＋3＝5の証明？遠景だけで詳細見せてなかったのもか
40:１３２人目の素数さん
23/11/26 10:32:18.93 3+YDkJ+o.net
>>37
代数幾何の仕事してるでしょ
41:１３２人目の素数さん
23/11/26 10:51:01.26 fgNYSgVR.net
>>40
イデアル周りの話なら、現代から見ると幾何と関わってくるかもしれんけど、当時そういうのないんじゃない？
42:１３２人目の素数さん
23/11/26 10:54:08.05 fgNYSgVR.net
「家を建てる」のと「家の安全性を検証する」のが同じ話に見えるのは興味深い。
43:１３２人目の素数さん
23/11/26 11:00:41.20 pwncor7N.net
>>41
wikiにもイデアル論をリーマン面に応用したって書いてあるじゃんか
本人っての否定してないけど結局本人ってことでいいんだよな？
44:１３２人目の素数さん
23/11/26 11:07:27.41 CRi7Ls44.net
ウゼーからそろそろ自分のブログなりSNSでやってろよ
あれは数学者の監修受けて番組作ってるんだよ
文句があるんならそいつに直に言ってこい
45:１３２人目の素数さん
23/11/26 13:38:50.12 LekShjTA.net
>>18
>「1+1が3でも4でもなくて2なのか？」
そりゃ+1がペアノの公理のsで
s(1)=2と定義するからでないの？
46:１３２人目の素数さん
23/11/26 13:56:48.42 6qhcYhEX.net
>>43
なるほど。これは申し訳ない。
それはそれとして、誰も彼も本人扱いするのやめたほうがいいですよ。
47:１３２人目の素数さん
23/11/26 15:00:03.08 T47odk25.net
笑わない数学
BS先行
2022/03/26 #1-2「素数」「無限」
2022/03/31 #3-4「四色問題」「P対NP問題」
SS1
2022/06/11 #00「フェルマーの最終定理」 （『レギュラー番組への道』単発）
2022/07/13 #01「素数」
2022/07/20 #02「無限」
2022/07/27 #03「四色問題」
2022/08/03 #04「P対NP問題」
2022/08/10 #05「ポアンカレ予想」
2022/08/17 #06「虚数」
2022/08/24 #07「フェルマーの最終定理」
2022/08/31 #08「カオス理論」
2022/09/07 #09「暗号理論」
2022/09/14 #10「abc予想」
2022/09/21 #11「確率論」
2022/09/28 #12「ガロア理論」
SS2
2023/10/04 #01「非ユークリッド幾何学」
2023/10/11 #02「コラッツ予想」
2023/10/18 #03「1+1=2」
2023/10/25 #04「結び目理論」
2023/11/01 選「虚数」
2023/11/08 #05「超越数」
2023/11/15 #06「ケプラー予想」
2023/11/22 選「フェルマーの最終定理」
2023/11/29 #07「1+2+3+4+…=－1/12」
後はBSD予想と極限らしい
URLﾘﾝｸ(natalie.mu)
48:１３２人目の素数さん
23/11/26 21:48:04.52 KzOae4KZ.net
次回の「すべての自然数を足すとマイナス12分の1」について。いくら考えてもチンプンカンプン。無限大以外あり得ないと思うんだけど。あ、ちなみにすべての整数足した場合はゼロですよね？プラスとマイナスが同じだけ有って消し合う訳だし。
49:１３２人目の素数さん
23/11/27 10:23:33.92 /ddZkdA8.net
>>プラスとマイナスが同じだけ有って消し合う訳だし。
その理解をちょっと広げるだけで
1+2+3+・・・=-1/12
の意味が分かるようになる。
50:１３２人目の素数さん
23/11/27 11:11:04.34 6BbYq5s0.net
>>49
たぶんそれ
51:１３２人目の素数さん
23/11/27 11:11:51.03 6BbYq5s0.net
だけじゃ分からないと思う
ラマヌじゃん総和法だっけ？
アーベル総和法だっけ？
なんかそういうの使うんでしょ？
52:１３２人目の素数さん
23/11/27 11:13:47.33 6SqeZpJd.net
これとか素朴な方法で示してるね
もちろんこのままだと数学的ではないけど、こういう計算法も上手く定式化すれば数学的に意味付けできるかもしれない
URLﾘﾝｸ(youtu.be)
53:１３２人目の素数さん
23/11/27 14:02:07.82 pFDHBBBW.net
今日もおもしろい話題だw
54:１３２人目の素数さん
23/11/27 19:06:31.54 6BbYq5s0.net
>>52
それ交代級数は何にでも収束させられるってのを使ってると思うけどね
55:１３２人目の素数さん
23/11/27 19:32:20.79 QKROPvrB.net
>>54
それを言うなら条件収束する級数ね
これはそもそも収束もしない形式的な級数を扱ってる
56:１３２人目の素数さん
23/11/27 22:25:23.18 7Xwq6r81.net
>>55
だから-1/12以外にも値を与えれるんじゃないかなって
57:１３２人目の素数さん
23/11/27 22:30:14.28 /ddZkdA8.net
Dirichlet級数の特殊値
58:１３２人目の素数さん
23/11/28 06:50:07.33 ABxOPJme.net
笑えん
59:１３２人目の素数さん
23/11/28 07:41:32.00 OATI8M4w.net
L関数
60:１３２人目の素数さん
23/11/28 11:15:33.35 tU0S/w5j.net
>>47
ところが-1/12とBSDやった後は再放送の素数で終了みたいなんだよね
極限どこ行った…
> 11/29 #7 1＋2＋3＋4＋…＝－1／12
> 12/06 #8 バーチ・スウィンナートン＝ダイアー予想
> 12/13 選 素数 ※最終回
61:１３２人目の素数さん
23/11/29 12:13:11.08 9mCebjZM.net
小山先生のツイで確認
-1/12が極限の回なのね
ということは来週BSDやって予告したテーマは全部終了なのか
62:１３２人目の素数さん
23/11/29 13:47:20.78 JQMsbjjf.net
すべての自然数足して(－1/12)なら、すべての負の整数足したら＋1/12ですか？
63:１３２人目の素数さん
23/11/29 14:49:24.11 3s9KRpiw.net
>>62
そうよ
64:１３２人目の素数さん
23/11/29 14:58:09.33 JQMsbjjf.net
う～ん、複雑怪奇
65:１３２人目の素数さん
23/11/29 15:04:31.05 OxIlv7We.net
62への63の答えが複雑怪奇というのは当たらない
66:１３２人目の素数さん
23/11/29 15:10:56.23 JQMsbjjf.net
かつてガウス少年がとっさに思い付いた足し算の合計の裏技はn/2(n＋1)。
でもnを無限大とした場合(n＋1)について悩む事になる。何か足す余地があるなら
nを無限大とは呼べないし。こうした疑問を解決するのが－1/12なのだろうか？
とにかく放送を待ちます。
67:１３２人目の素数さん
23/11/29 15:16:47.31 9oO7GAZ5.net
>>66すんません、悩んだのは自分でたぶんガウスは悩んでないと思います。
(少年時代はさすがに悩んだかな？)。投稿する際は主語の省略に気を付けます。
68:１３２人目の素数さん
23/11/29 23:56:58.28 9oO7GAZ5.net
(番組内容要約)。無限級数には収束するものと発散するものがある。
1－1＋1－1＋1－1＋・・のように永久に0と1を往復する式の答えを
求める事に意味はないと考えられて来たが、「答えは1/2」と主張
する者が現れた。その後「発散して答えが無いはずの無限級数」に
ついて様々な総和が提唱される。そうした無限級数同士を引き算
したり割合を比較するなかで、1＋2＋3＋4・・・＝－1/12という
説が登場。(ラマヌジャンの直筆手紙がアップで写される)。
69:１３２人目の素数さん
23/11/30 00:13:49.02 5gPAueMf.net
>>68自己補足。「総和が1/3とされる発散タイプの無限級数」、
「総和が1/4とされる発散タイプの無限級数」を絡めながら
「自然数の総和の－1/12」を導いていた。(マイナスは
無限級数同士の引き算により出現)。
70:１３２人目の素数さん
23/11/30 00:26:24.93 uTAmY13G.net
BSD予想ってこれを噛み砕くのか
予想は代数体 K 上の楕円曲線 E に伴う数論的データを E の ハッセ・ヴェイユの L-関数 L(E, s) の s = 1 における振る舞いに関係づける。
より具体的には、E の点のなすアーベル群 E(K) のランクは L(E, s) の s = 1 における零点の位数であり、
s = 1 における L(E, s) のテイラー展開における最初の 0 でない係数は K 上の E に付属しているより精密な数論的データによって与えられる、
ということが予想されている (Wiles 2006)。
71:１３２人目の素数さん
23/11/30 00:38:48.24 +ALinA4b.net
ＢＳＤとかヤバそうだな
72:１３２人目の素数さん
23/11/30 14:19:20.06 BzKQDKou.net
だいたい「楕円曲線は楕円のカーブを描く曲線じゃない」とか言われても99.9%の人は困っちゃうよな
73:１３２人目の素数さん
23/11/30 15:23:15.52 wzNVKNzL.net
オオォ俺は困っちゃわない0.1％に入るのか
74:１３２人目の素数さん
23/11/30 19:30:59.31 2XhWzNCj.net
昔読んだ『この定理が美しい』の楕円曲線の話が格段に読みやすかった記憶があるんだが
調べ直したら有限体上に限った話だったみたいだ
URLﾘﾝｸ(www.sugakushobo.co.jp)
「∞_ぐ」とかやってたこの番組のことだから
「＋_だ」が出てくると予想しておこう