【パンサー尾形】笑わない数学【NHK総合】

2022年7月13日からNHK総合で全12回放送される「笑わない数学」について語るスレです

笑わない数学
https://www.nhk.jp/p/ts/Y5R676NK92/
パンサー尾形貴弘が難解な数学の世界を大真面目に解説する異色の知的エンターテインメント番組！　
「リーマン予想」「フェルマーの最終定理」「連続体仮説」「四色問題」「ガロア理論」「abc予想」
「確率論」「P対NP問題」「カオス理論」「ポアンカレ予想」「暗号理論」「虚数」・・・。
天才数学者をも苦しめてきた数々の難問、そして美しくも不思議な知の世界を、１回３０分ワンテーマ、
ギャグ封印で、トコトン分かりやすく掘り下げる！

>>265
自動証明って
コンピュータで扱えるところだけじゃ無いの？

最初から無駄を全部省いたものを教えると
大切なものも省くようになってしまうのではないか？

>>285
ペーター・ショルツェをペーター・ショルツと呼ぶ奴の言うことは
真に受ける必要はない

>>282
いや日本にいるなら分かると思うが日本の数学は具体的な図形が理解できなければ解けない
>>257のような問題であれば具体的な図形はいらないから、フランスもそうだったんだろ

>>284
無駄？
数学って全てこれの積み重ねなんだが
>>287
NHKがペーター・ショルツと書いてたと思うが

証明にギャップがあると言われるときは、>>257のようなレベルで証明を書いてくださいね、という意味
だからレベルの高い数学者はギャップがないよう常に>>257のレベルで証明を理解している、どんなに最先端な数学でもな
ペーター・ショルツがcondensed mathematicsの定理の証明に自信がないからと、Leanでの証明の定式化を依頼したのもそういうこと

最近証明にギャップがあると言われてるのに理解できない日本人数学者集団の事例があったけど、
まあそういう教育を行ってないから理解できない、教育の失敗だろうな(一人はアメリカで育ってるが、日本の教育がマトモなら一人くらいは指摘できたはず)

>>289
>数学って全てこれの積み重ねなんだが
そうだね
でも無駄

>>291
その「無駄」をショルツは身につけていて、
日本最高の数学研究機関とやらの数学者たちは身につけていないわけか

>>289
Nスぺの内容を真に受けない理由の一端はそこにある。
一事が万事。
ピーター・ショルツなら
ボホナーをボチナーと呼ぶ
アメリカではそう呼ばれても不思議はないと思うが。

>>288
>>257のような問題であれば具体的な図形はいらないから、フランスもそうだったんだろ

フランスの初等幾何の教科書を見てから書け。馬鹿丸出しだな。一言で言えば「普通の初等幾何」すなわち「思いっきり初等幾何」だ。

>>290
>まあそういう教育を行ってないから理解できない、教育の失敗だろうな
噴飯
別にうちうきわ擁護はしないが
どちらが正当か判断できないことの
尻馬に乗るのは見苦しくない？

>>293
いやまあ本人に呼びかけるわけでもないからペーター・ショルツェかピーター・ショルツでもいいけど
>>294
ソースは？記憶は頼りにならんぞ
>>295
あれをどちらが正当か判断できないとは？
日本の数学者たちが間違ってるで終わってるじゃん

数学に弱い自分は何を言ってるのか全くわからないけど番組は楽しく見させてもらってる

しっかりとした論理よりも
図形的な直観に訴えるものが好まれるのは
活版印刷が韓国では普及したのに
日本ではしなかったのに
似ていなくもない

>>297
いかにもNHKの番組のターゲットの代表面

>>296
>日本の数学者たちが間違ってるで終わってるじゃん
それを尻馬に乗るというのだよ
下らない奴だな
内容理解してるんなら望月教授
いや加藤文元教授に伝えてみろ

大丈夫。一々出羽守しなくても、数学オリンピックは日本人が勝ってるから

>>245
だれそれ。そんな人、出演してねーけど。

>>300
もう欧米の数学者が直接説得したんだよ
ギャップありますよって
でも日本の数学者たちは理解することはできなかった
>>301
そもそも数オリ2022で日本は8位だし
8位のイラン、10位のイスラエル、イタリア、更に下のフランスのほうが数学強いし数オリは最終目標でも何でもない

>>303
>もう欧米の数学者が直接説得したんだよ
1人だけな
どちらが正当か君には判断できないのを
尻馬に乗るというのだよ
下らない奴

>>294
関口開という明治時代の人に中学時代教わった人が
関口先生の教え方はこうだったと書いている文章を読むと
円錐とは西洋の数学では直角三角形を直角に接する辺を軸に
回転させた図形だと教わって、それをもとにして
何日も解けなかった問題がすらりと解けたという話が
載っている。
ここであまりにも杜撰な議論をしているので
昔の先生方は嘆いておられるに違いない。

矢野健太郎先生がテレビの講座で
指を使って
「直角三角形をこうくるっと回して」
と言われた瞬間
実際に円錐が見えたような錯覚を覚えた。

>>304
2人な
>>257のように例の命題の証明をキチンと書けばいいだけだということは数学を理解していれば分かる
ペーター・ショルツェにも遠アーベル幾何を知らない奴には判断できないなんて話もあったが、それが日本人の論理の限界

論理は絶対的に重要だが
数学はそれだけでできているのではない。

だが必要条件だ
論理が分からなければ自分が証明出来ていないか疑いを持つことさえできない
やはりアメリカ並に論理を重視すべきだろう

論理だけではダメだと言っているのが分からないとは
論理性が完全に欠如しているな

日本人はまず論理がないのに、論理だけじゃないどうこう言うレベルじゃない

>>311
>日本人はまず論理がない

何言ってるんだこの馬鹿は。
まともな頭じゃない。

ないって言うのはもちろん言葉のあやで、
他のすごい国に比べて無いということ

>>313
そこまで正確に言えよ馬鹿。

>>314
分かりづらくてすまんな
まずは数学に必須な論理を他の国と同レベルまで引き上げるため、
アメリカの教育をパクるべきだな
このまま和算をやり続けたくはないからね

>>313
この馬鹿は
A 日本人は論理性が低い
ということを示すために

B この馬鹿は論理性が低い
という例になろうとしているわけか笑
それとももともと馬鹿なだけのか

>>316
例ならもう上げたぞ
証明出来ていないものを出来たと思った日本人数学者たちと出来てないと言った欧米の数学者たち
日本で1,2の大学を出てそこの研究機関に所属した数学者たちが、
欧米の数学者たちの論理力に劣っていたより分かりやすい例

>>315
>まずは数学に必須な論理を他の国と同レベルまで引き上げるため、

1「他の国」とはどこの国のことだ？正確な議論のために具体的に全て記せ。
2「同レベル」ということは「他の国」が全て同レベルということを意味するのか。

>>317
1 その件につき、お前は理解しているのか。していないのならばなぜ自分が理解できない話を持ち出すのか。

2 その件につき、日本人とは具体的に誰を指すのか。欧米人とは具体的に誰を指すのか。

>>317
お前は、このスレの中で他人と比較して自分は論理性が低いという自覚はあるか。

>>318
日本より数学のレベルが高いいくつもの国
それらが全部同じレベルだなんて思っていないが、少なくとも日本はそれらに劣っており、近いレベルにもって行くべき
>>319
理解していれば証明出来てないことが分かるので、
その質問をしてる時点で少なくともこちらのほうが理解してるな

※ここは笑わない数学という番組に関するスレです

ICM2022ではほとんど触れられず、
ドイツの大手新聞社「フランクフルターアルゲマイネツァイトゥング」も某問題について「技術的な批判が未解決なのに証明の公式発表をするのは前代未聞の出来事」とハッキリ言っているのに、
まだ結論が出ていないとする人がいるのは驚きとしか言いようがない

笑わない数学でこの問題を取り上げることがあるなら、こういうのをキチンと取り上げるべきだな
そもそも論理的でない主張には反論できないので「再々反論がない」みたいなのを強調するのではなくてね

>>321
>理解していれば証明出来てないことが分かるので、
その質問をしてる時点で少なくともこちらのほうが理解してるな

数学の理論を論理的に理解するのに関して「どちらがより多く理解しているか」というのはなく、「完全に理解出来るか否か」しかない。

お前は所詮ニュースをなぞっているだけで理解してはいない。単なる「レベルの低い一観客」のくせに一言もの申したいだけの馬鹿だという自覚はあるのか。

>>321
日本より数学のレベルが高い国とは具体的にどこだ。多くても30ヶ国も無いと思うので列挙せよ。

>>322
そうだよな
もっともらしいことをどれだけ宣っても
※ここは笑わない数学という番組に関するスレ
であることすら分からないバカってことにしかならないのに宣い続ける奴ら……

>>326
>>※ここは笑わない数学という番組に関するスレ
>>であることすら分からないバカってことにしかならないのに宣い続ける奴ら……

そういう奴らが湧いたこと自体、
「笑わない数学という番組に関するスレ」のアイディアが
いかに無内容であったかということと思い知れ。

>>307
2人か
それでも君が尻馬なのは
論理的に正しい

>>324
別に理論を理解していなくても、anabelioidがただのガロア圏とかそんなことは知らなくても、
特定の命題の証明にギャップがあるとまで言われているんだから、
数学を理解していれば、そこのギャップを埋めればいいだけでそれができないことが証明出来てないことの証左とわかる
つまり君は、数学を分かっていないから数学的な議論は出来ないが、ICM2022等の数学がいらない状況証拠も受け入れない、ただの天岩戸
>>325
今のところ30はないだろうがG7に入る先進国が両手指で収まらない程度の国に負けて、衰退を続けているのは改善すべき

>>328
数学を知っていれば判断できるが、
知らない人でも状況証拠で分かる

残念ながら俺は、
1-1+1-…という無限級数は定義に沿えば発散するという説明は数学力がなくて理解できないが、
発散するという文献などの状況証拠を提示すると「尻馬だ」と主張する人に、
この無限級数が発散することを理解させるすべを持たない

>>329
>特定の命題の証明にギャップがあるとまで言われているんだから、
数学を理解していれば、そこのギャップを埋めればいいだけでそれができないことが証明出来てないことの証左とわかる
→ギャップかあるという主張に対してギャップが無いという反論は有り得る。


>つまり君は、数学を分かっていないから数学的な議論は出来ないが、ICM2022等の数学がいらない状況証拠も受け入れない、ただの天岩戸
→いや。お前と数学の議論をしてやるよ。具体的にどんなギャップがあるんだ？

>>331
ギャップがないならば>>257の平易な例のように日本人数学者たちが証明を書けばいいだけ
それが無いのに証明できたと主張するということはギャップはあるということ
数学の基礎だぞ

>>329
>G7に入る先進国が両手指で収まらない程度の国に負けて、衰退を続けているのは改善すべき

→11以上30未満な訳だな。
ごまかさないで全て具体的に書けよ。それに関して正しいのかどうかの議論をしたい。「負けている」とは一体どのような状態なのか。

>>332
>ギャップがないならば
日本人数学者たちが証明を書けばいいだけ
それが無いのに証明できたと主張するということはギャップはあるということ
数学の基礎だぞ

→全く意味不明。ギャップが無いと主張する人間がそれ以上何を証明するのか。

>>333
直近32年間のフィールズ賞受賞者数や被引用数などを見れば分かるだろ

>>334
数学科一年からやり直して
出来れば日本の大学ではなくアメリカやイギリスで

>>332
どのレベルからお前と数学の議論をすれば良いんだ？
決めてくれ。

>>336
煽りはいいから逃げないで数学の話をしようぜ

>>335
逃げるな。具体的に答えろ。

>>336
この馬鹿は具体的に11ヶ国～30ヶ国程度の数の国名が挙げられない。適当に書いてるだけ。
この馬鹿は具体的な数学の話が出来ない。逃げてるだけ。

>>335
こいつは馬鹿だから追い詰められるとぼかして逃げる笑

>>340
32年間の国籍別フィールズ賞受賞者数
論文数に対するTop10%論文数
アルゴリズムは提供したから機械的に列挙して終わりだろ
具体的にはアメリカ、イギリス、ドイツ、フランス、カナダ、イタリア、中国、イスラエル、イラン、韓国、ウクライナなどだよ

この馬鹿の主張(明らかになったこと)

・日本は1ヶ国から30ヶ国の国に数学で負けている
・数学で負けていることは
>直近32年間のフィールズ賞受賞者数や被引用数などを見れば分かるだろ
ということらしい。

キチガイをNGしたらスッキリした

>>337
まずギャップの意味が分かってないだろ
>>257とか、例えばコンピュータで数学の定理を証明するとき、必ず命題の羅列になる
その羅列の抜けてる部分がギャップ
人間は常にギャップがない議論はしないが、証明を理解しているならギャップ部分についてどういう命題の羅列が必要なのか分かる
だからギャップがあると指摘されて、埋めるべき命題の羅列が出てこないということは、ギャップがないと思ってる人もギャップを埋めることができない、つまり証明はできてないというわけ

何でこのスレで数学の講義をしなきゃいけないんだ？

>>345
>ギャップがあると指摘されて、埋めるべき命題の羅列が出てこないということは、ギャップがないと思ってる人もギャップを埋めることができない、つまり証明はできてないというわけ

→ギャップが無ければギャップを埋めることは出来ない。それだけの話だ。

>>345
ギャップがあると指摘した人間が間違っているとお前が思わない根拠は何だ？

>>345
低レベル過ぎて算数の講義にもなってねーよ

>>346
ギャップがないなら>>257みたいに自明な操作の連続だから理解できないということはあり得ないよ
将棋が分かる人なら手順をすべて見れば手順が間違ってない(歩を右に移動したりしてない)ことが分かるのと同じ

>>330
数学の真理を語る能力ははない尻馬なんだな

>>342
韓国が入ってるところは笑える。

フィールズ賞とかブルバキとか、この馬鹿を掘るとコンプレックスの根元がわかりそうだ。俺はそれが知りたい。

数学は競技会ではないからな。一国の数学力の目安がこれで納得する人間は多くないと思う。

将棋の戦法を生み出したと主張する日本人数学者たちに、この将棋の戦法駒が突然ワープしてて分からないけど手順見せてと言っても、
いつまで経っても手順が出てこないのと同じ
これで将棋の戦法が生み出されたとは将棋が分かってる人は誰も認めない

>>330
なんだこの馬鹿笑

こんな初歩的なことも分からない馬鹿か。それなのになんでこんなに偉そうなんだこの馬鹿は。

>>352
将棋の話とかいいから笑
数学の話をしろよ馬鹿
逃げてるよな

>>351
本当に笑うしかないよな
韓国育ちの人がフィールズ賞を受賞したが日本育ちは直近32年間も出ていない
(自然科学における)論文数対Top10%論文数でも日本は韓国の下
逆に日本が優れてるデータは何もない
それなのに日本の数学は強いと思ってる
こんな日本がコンプになりそうだよ

>>352
こういった低レベルのアナロジーで「数学ニュース」を理解しようとする馬鹿。

「笑えない数学」とか、別スレたててやっていただきたいな

>>354
数学を知ってたらこの例え話はしっくり来ると思うよ

>>355
データの捏造はお得意そうだな馬鹿。
数学の話をしてるのだが。

>>358
お前は馬鹿だからいつも将棋の話に持ち込むよな

>>358
この馬鹿、数学がわからないので逃げるのか。そして誰も筋を終えなさそうな先端の数学の話で妄想を撒き散らす。

>>359
自然科学じゃなくて数学って書いたら捏造だわな
残念ながら数学に限ったデータはないが、
自然科学で負けてて数学で勝ってる道理はないわな
>>360
いや初めてだが
過去に将棋を出した人がいたなら多分数学を知ってた人なんだろうな
知ってれば必然的にたどり着く例えだし

>>355
韓国は数学のどの分野で日本に勝ってる？

>>362
有効なデータはフィールズ賞受賞者数のみ。

この馬鹿はこれだけで乗り切れると思って、自分なりに説得出来たと思ったところで将棋の話に持ち込む馬鹿笑

数学の話は中学の幾何の導入部分だけという詐欺師。

>>363
調べたらあったね
151研究領域におけるTOP10%論文数の 国際シェア順位の推移
によると、
2015-17年Top10%論文数の3か年平均値で、
接戦ながら概ね日本が勝っている
ただし、日本はそもそも人口が韓国より多く、論文数も多い
そんな日本が韓国と接戦ということは、すべての分野で負けてる可能性が高いな

この種の馬鹿の相手をしても何も自分に利益は無いのだが笑

将棋(大山、羽生、藤井聡太など)と
ガウス、グロタンディーク、ペーターなんとかと
機械学習とかが出てきたらかなり臭い。中身の無い議論になるのが見えている。こいつはまさにそいつだった。

興味深いね
一つ日本がグラフを下に突き抜けるくらい、韓国にも大敗してる分野があって、
それは論理学
やはり日本は非常に論理に弱いんだろうな
>>366
ペーターショルツェなんて数論幾何やってたら誰でも知ってるぞ
今やパーフェクトイドが必須だからな

>>365
自分(お前)が設定した基準で日本が韓国に勝っていたら当然「日本の勝ち」だよな笑

この馬鹿なにをごまかそうとしてるんだ？

>>368
他にいい指標があるならいいよ
フィールズ賞でもTop論文でも負けてることをひっくり返す指標があって、
それで日本が勝ってるならな

でもないじゃん
日本が負けてる確率が圧倒的に高いのに日本は強いと妄想して何も改善しない、で困るのは日本人だよ

>>367
>ペーターショルツェなんて数論幾何やってたら誰でも知ってるぞ
今やパーフェクトイドが必須だからな

→これはお前が数論幾何をやっているという意味か？それともいつも通りの素人の知ったかか？
こいついつもこのような論理的に不明瞭な文章で逃げようとするよな

>>369
おい馬鹿、論理的に考えような。
お前は日本が韓国に負けていると言った。俺はそれを否定している。結果として日本はお前の基準で韓国に負けていないことが証明された。

>>371
>>365で日本は今や韓国の下にいることが分かったところじゃないの？

それに加えてフィールズ賞も韓国育ちはいるが日本育ちはゼロだしな

>>373
フィールズ賞受賞者が一人いる(韓国)かいない(日本)かというレベルで勝ち負けを言い、それらの国の数学力の指標とするような馬鹿とは流石に数学の話は難しい。

>>372
国力には人口も含まれるのは当然だ。

>>370
お前がどの程度深く知っているのかが問題なんだが。
お前は数論幾何の数学的内容に関して「全く」知らないくせに将棋とのアナロジーで数学を理解したつもりの馬鹿だ。アナロジーなので何でも知っているような気分になれるがそれは錯覚。

>>376は>>367へのレス

>>374
直近32年間フィールズ賞がいないのはレベルが低い確率が高い
>>375
スケールメリットはあるな
まあスケールメリットがあって生産性でもフィールズ賞でも負けてるのが日本なんだが

スレ違いだし反レスはもうやめとくわ
続きはID:jY1yOc8qが大学数学の本を一冊読んでからにしよう

この馬鹿のような、非数学系で数学ニュースに絡んでくる馬鹿(将棋とのアナロジーだけ)は自覚が無いとどうしようもない害毒

カキてぇ数学

8/24 フェルマーの最終定理
8/31 カオス理論

>>381
カオス見たい

23:30ってのがちょっと遅いんだよな。
NHKプラスは個人情報を入力してログインしなきゃ見れないから面倒くさいし。

23:00だった。