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

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

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

受験数学がグラフで直感的に解ける人のほうが有利になってるから、
日本の「数学に詳しい人たち」は必然的に「直感、グラフのほうが分かりやすい人」のほうが多数になっちゃうんだろ

高校数学を教えてたときも、その人は厳密な回答に納得していたが、
他の人たちが(その人は受験とは無縁だったのに)「グラフのほうが早い」と推していき、
その人は当然ながら自分で判断する力はまだないから、
多数がグラフを推してくるからきっとグラフで解けるべきなんだと考えていたようだった
こういう教育のループによって、日本の多くの人が、理解できたはずのものを理解できなくなってしまってると思う

厳密性を教えるためには
抽象代数などを挟んで教えるとよいのでは？
例えば(a-b)c=ab-acの証明とか

>>253
プラスマイナスだけでも
グラフの方がいいなあ

グラフなどは数式に意味を与えてる
それを邪道と捉える人もいるだろう
意味など不要と

理解力の無い馬鹿にとってどちらが分かりやすいかという議論に
>>256のような馬鹿が「邪道」という全く別の(自分の)価値観を持ち出してあさっての方向に向きを向けたいと願う。

面白いな

こういう幾何から論理を学んでいけば、多くの人が身に着けられるし、
そして論理を身に着けてしまえば抽象代数も二次不等式も、厳密な説明つきならそんなに難しくはない

フランスの話だけどローラン・シュヴァルツはブルバキのメンバーで優秀な数学者
初等幾何学の具体的な図形は全く理解できなかったが、
証明や論理は理解できて困らなかったと述べている
恐らくローラン・シュヴァルツが日本に生まれていれば、日本の幾何の授業に躓いて数学ができない理解力の無い馬鹿とやらになってただろうね

「日本の数学者は図形的直感が弱い、フランスのように初等幾何を重視しなければならない」という意見があったことは知らないんだろうな。

ブルバキ→ニューマス(アメリカ)→日本と抽象化の悪影響をもろに被った後の日本の話。

>>260
うん知らない
その意見が間違ってたんだろ
だって今はアメリカもフランスも日本より成功してんじゃん

>>261
文章の理解力が全く無いんだな。

フランスは「昔も今も」初等幾何を重視している、それを日本は真似し出したという経緯だ。記号を論理だけで弄んでいても数学にならないということだ。

ブルバキとはフランスの有能な若手数学者たちが当時のドイツの抽象数学に憧れて作ったグループ。その思想が初等教育を歪めた歴史がある。

そもそも初等幾何学が日本のそれを指すのであれば、
優秀な数学者だったローラン・シュヴァルツが「理解力のない馬鹿」で終わってるだろ
>>257の意味で欧米が初等幾何学を重視していたのを、何を履き違えたのか日本は補助線引いて遊びだしただけってオチなんじゃないの

>>262
>>263
こういうオチだろうね

記号を弄んでも数学にならない、って言うけど、
ペーター・ショルツのcondensed mathematicsはコンピュータが定理を証明してんじゃん
コンピュータが「数覚」で証明したとでも言うのかね？
もう「手紙は情緒を表す、メールは記号的で分かりづらい」とかいう時代じゃないんだよご老人
皆本当はメールが分かりやすいのに、ご老人が手紙に制限してるからいつまで経っても足踏みしてんのが日本なの

アメリカやフランスが初等中等教育そして大学学部教育で日本よりも優れた教育をしているという、一概に言うことが出来ない事項に対するいい加減な断定は見過ごせない。

>>266
じゃあ逆に日本の何が悪いの？

>>263
そもそも初等幾何学が日本のそれを指すのであれば、
優秀な数学者だったローラン・シュヴァルツが「理解力のない馬鹿」で終わってるだろ


それはない。優秀な成績を残していなけれはエコール・ノルマルに合格しないから。
読解力が無いのでシュワルツの個人的な感想と事実のギャップに気が付かないんだろうな。

メールでいいものを手紙でやって、「字が汚いから君は馬鹿」「住所の書く位置が違うから向いてないよ」で選別
一部残った人たちが「手紙のほうがいい」とか言って、詳しくない人たちが「凡人だから手紙がいいんだな」という逆転現象まで発生してる
これが今の日本
メール使えばいいだけなのにバカみたい

>>268
いや初等幾何学の図形が理解できないって言ってるじゃん
日本の初等幾何学をやらされれば優秀な成績を残せないだろうことは想像に難くない

教育ジジイども他所でやれよ

>>270
それは何からの引用だ？

>>272
闘いの世紀を生きた数学者

>>265
これ、中身分かって書いてるのか？笑

>>274
もちろんAIが勝手に定理を証明したという話ではないことは分かってる

>>273
分かった。実際読んでみる。

本人がどのような意味(厳密さ)で初等幾何が分からないと言ったのか確かめられたら良いと思うが。

>>275
以降、ウソっぱちと妄想を撒き散らすなよ。

何を定義し、何を問題にするかが数学であって、そこがきちんと出来ていれば「一部の定理が自動証明される」のは当然だが、それで「数学=100％論理操作」とはならない。それは数学のごく一部だ。

>>277
それはアメリカもフランスもやってるじゃん
矛盾してる

>>262ではフランスが記号を弄んでいると書いてあるが、
記号を弄ばない数学とは何を問題にするかを考えることだという
するとフランスも何を問題にするかは考えているので記号を弄んでいない国になる

ああ、>>262はローラン・シュヴァルツの反例を知らずにフランスは直感を重んじる国だと思ってたから、
「フランスは記号を弄んでない国だ」と言ってるのか
前提がそもそも違うからややこしくなってきた

いずれにしても何を問題にするかなんてのはどこの国もやってんだからどうでもいい
その上でアメリカやフランスみたいな論理を重んじるほうが分かりやすくて日本は遅れている

>>280
ローランシュワルツの反例つて何だ？
シュワルツが個人的にどう思ったかとフランスの教育はイコールじやないぞ。文章読めてるのかこいつ。

>>259
困らなかった、と書いてあるよな。日本でも困らないだろう。

初等幾何の証明が論理的に出来て、なぜ日本で落ちこぼれるとの推論が成り立つと思っているのか。

論理もグラフも
教え方次第

>>257
かなり無駄な感じだな

>>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
韓国が入ってるところは笑える。

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

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

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