1 名前:132人目の素数さん [2020/02/05(水) 23:14:26 ID:wk+QTUAy.net] なんの役にも立たない 余弦定理の証明に使う事実をその場で紹介して、それでお終いで良い
400 名前:132人目の素数さん mailto:sage [2020/08/31(月) 12:52:23 ID:Q32UwMtw.net] と思ったけど矢印ベクトルはそんな昔でもなかった まあ矢印ベクトルは19世紀で抽象代数学は20世紀初頭 もし微分積分やベクトルによって厳密な数学の理解が得られるのなら、抽象代数学の登場はもっと早かったということになる
401 名前:132人目の素数さん [2020/08/31(月) 13:13:42.96 ID:sekpxyAl.net] >>398 > ただの計算だが では、以下の命題を「ただの計算」で示してみて下さい。 @ 実数係数の多項式f(x)と、0でない実数係数の多項式g(x)に対して、多項式q(x), r(x)が一意的に存在して、f(x) = q(x)g(x) + r(x) (deg(r) < deg(g))を満たす A tan(1°)は無理数である B 実数係数の3次多項式は、実数根を少なくとも1つ持つ > 逆に聞きたいんだけど回答者+21票の22人全員が、それを知らずにユークリッド幾何学を認めたと思ったの? 22人が「ユークリッド幾何学を認めた」から何なんだ? こっちは首尾一貫して、「その論拠はユークリッド幾何学に限らず当てはまるから、ユークリッド幾何学を特別教えるべき理由にならない」と言っている それに対して全く反論がてきていないのはそっち > だから微分積分の講義もベクトルの講義もあるだろ じゃあ、微分積分の講義とベクトルの講義をすれば「現代数学の基本」は学べるわけだから、ユークリッド幾何学は必要ないよね
402 名前:132人目の素数さん [2020/08/31(月) 13:22:33.00 ID:sekpxyAl.net] >>399-400 全く以て意味不明 > 微分積分やベクトルで論証が学べる、と思ってるというのは、 > そもそも抽象代数学のような厳密な数学が微分積分、ベクトルの計算より歴史的に圧倒的に後であることを知らないのだろう > 微分積分、ベクトルなど「だけ」をやっても、抽象代数学が発展する前の非厳密な数学の時代と同じこと @ 微分積分やベクトルが「厳密な数学ではない」というのが間違っている 日本の高校数学では極限の定義と中間値の定理の証明を省略していることを除いて、すべての命題に対して証明を与えている (円周の長さの定義が循環論法になるが、それを問題にするなら、ユークリッド幾何学を前提に円周の長さを扱っているカリキュラムはすべて同様) A 現れた時代が前だから厳密でないというのも間違い そもそもそれを言ったらユークリッド幾何学は微分積分なんかよりもずっと前に出現しているのだが
403 名前:132人目の素数さん mailto:sage [2020/08/31(月) 13:23:15.89 ID:Q32UwMtw.net] >>401 例えば「多項式ってなんですか?」っていう論理ギャップの指摘に「多項式環の元です」と答えられる高校生はどれだけいるのか 計算でなければその問いに答えられる高校生はほぼゼロだろうね ユークリッド幾何学の講義にはそれがない 上にも書いたが「理由」が明らかになるアメリカの唯一の講義が幾何学 そもそも22人の指示がある回答をまるで理解できてないストローマン論法を繰り広げてるから、それに対して反論というのもおかしな話だが 微分積分と線形代数「も」現代数学の基本「の一部」は得られる
404 名前:132人目の素数さん [2020/08/31(月) 13:26:19.75 ID:sekpxyAl.net] >>403 多項式の定義は中学の教科書に載っていますよ
405 名前:132人目の素数さん mailto:sage [2020/08/31(月) 13:29:08.61 ID:Q32UwMtw.net] >>402 例えば多項式と多項式関数を同一視してるが、多項式関数の一致の定理は高校のどこで示してるんだ? それ以前に多項式は多項式環の元のことだが、そう定義している高校数学の教科書なんてどこにあるのか ユークリッド幾何学およびユークリッドの公理系は前で、実際ユークリッドの公理系そのままでは現代から見て厳密ではない Burkhoff's axiomsやSMSG axiomsがその厳密化 >>404 中学の教科書で多項式環が説明してあると?
406 名前:132人目の素数さん [2020/08/31(月) 13:35:25.41 ID:eezJq8U+.net] そもそも、その基準で言えば「多項式環の元」というのも厳密ではないのだが 多項式環って何? 環って何? 集合って何? という問に詳らかに答えていけば、最終的には公理的集合論に行きつくのだろうが、 「ユークリッド幾何学を教える意義」をこれと同レベルのものに求めるなら、まず間違いなくそっちの方がstackexchangeの回答を曲解してるぞ
407 名前:132人目の素数さん mailto:sage [2020/08/31(月) 13:40:43.98 ID:Q32UwMtw.net] >>406 そうだな だから「最終的にユークリッド幾何学の公理系に行き着く」もので教えるんだけどな
408 名前:132人目の素数さん [2020/08/31(月) 13:43:48.71 ID:eezJq8U+.net] どういう人が「ユークリッド幾何学を教えるべき」と言っているのかは、もう十分にはっきりしたと思う。 これ以上は議論の価値無し
409 名前:132人目の素数さん mailto:sage [2020/08/31(月) 13:50:44.68 ID:5D4+y8sX.net] 「中学数学の図形の問題」 AB = 8, BC = 12, ∠B = 60°, ∠C = 40°のとき、 三角形ABCに外接している円の半径を求めよ。 中学数学の範囲での解説をよろしくお願いいたします。 suseum.jp/gq/question/3187
410 名前:132人目の素数さん mailto:sage [2020/08/31(月) 13:53:41.41 ID:5D4+y8sX.net] 題意より AB : BC = 8 : 12 = 1 : 1.5 ・・・・ (1) 題意より ∠A = 180°- ∠B - ∠C = 180°- 60°- 40°= 80° sin(C) : sin(A) = sin(40゚) : sin(80゚) = 1 : 2cos(40゚) = 1 : 1.532088888 ・・・・ (2) (1)(2) より、正弦定理が不成立。(矛盾) 中学数学の範囲でこの矛盾を示すのは難しいですね。 中には騙される人もいるのでは?
411 名前:132人目の素数さん [2020/08/31(月) 22:51:51 ID:aleATQLL.net] >>366 >>367 >>368 中傷はNG
412 名前:132人目の素数さん [2020/08/31(月) 22:51:51 ID:aleATQLL.net] >>366 >>367 >>368 中傷はNG
413 名前:132人目の素数さん [2020/08/31(月) 22:51:51 ID:aleATQLL.net] >>366 >>367 >>368 中傷はNG
414 名前:132人目の素数さん [2020/08/31(月) 22:54:15 ID:aleATQLL.net] >>408 議論の価値がないのは不要派がそういう中傷ばかりしてるからだぞ。
415 名前:132人目の素数さん [2020/09/01(火) 00:53:14.05 ID:vYt34lhw.net] 中学・高校数学から排除すべきかどうかは義務教育、準義務教育をどうすべきかという話と密接に関連してるので、 数学的に論理の筋が通ってればいいかというとそういうものではないと思う。 きっと教育学は必要だし、割と学際的な知識が必要かと思うよ。 まずは過度に一般論化せず、自分の中高時代にどう感じたかを表明するべきではないか?
416 名前:132人目の素数さん mailto:sage [2020/09/01(火) 01:19:27.76 ID:Ax57znWV.net] 補助線パズル教えるくらいなら他の事教えろよとは思ったな これこそまさに「何の役に立つの?」ってやつだろ
417 名前:132人目の素数さん [2020/09/01(火) 01:47:58.72 ID:t31d9Yry.net] どうしても廃止したけりゃ文部科学省に就職すればいい。 ただしここのようなヘイト丸出しの態度では省内からも社会からも賛同を得るのは難しいだろう。
418 名前:132人目の素数さん mailto:sage [2020/09/01(火) 09:15:30.82 ID:OEAe+7as.net] >>408 どうも伝わってないようだが、公理的集合論だけでなく、群や環などの抽象代数も公理系から始めて形式的証明をしていくし、言わずもがな非常に重要な概念 でも抽象代数は視覚化できないし難しいから、ユークリッド幾何学で練習する、というのがアメリカの幾何学の役割だろう 上で貼った海外の回答を理解するには(そしてスレタイについて議論するには)アメリカなどの幾何学教育がどういうものかまず調べるべき 自分からは何も学ばないが主張はして、それに反対する者は言い負かそうとするだけの輩がぁ、多いんだよねぇ
419 名前:132人目の素数さん [2020/09/01(火) 10:44:24.70 ID:UFuF6Htm.net] >>418 そうですね 私もそう思います
420 名前:132人目の素数さん [2020/09/01(火) 10:46:08.42 ID:UFuF6Htm.net] >>418 私は完全に同意します 微分積分やベクトルは計算だけで底が浅いので教える価値はありませんが ユークリッド幾何学は絶対に教えなければいけません たとえば微分積分の問題は覚えた公式に当てはめれば計算するだけで解けますが ユークリッド幾何学は論理を完全に理解していなければ解けません ここに教育的な意義があります
421 名前:132人目の素数さん [2020/09/01(火) 10:47:14.40 ID:UFuF6Htm.net] >>418 あなたが完全に正しいと思います ユークリッド幾何学の 公理から命題を導くというプロセスは 数学の基礎です したがって初等教育ではこれを教えなければいけません。
422 名前:132人目の素数さん [2020/09/01(火) 10:48:34.50 ID:UFuF6Htm.net] >>418 公理系から厳密な論証を経て定理を導くというのは すべての数学の基本構造です 微分積分などは単に計算すれば当てずっぽうでも答えが出ますが ユークリッド幾何学はそうではありませんから そこに教育的意義があります
423 名前:132人目の素数さん [2020/09/01(火) 10:50:21.24 ID:UFuF6Htm.net] >>418 ユークリッド幾何学の 公理や定義を提示する →命題を証明する というプロセスはすべての数学の構造です だから、ユークリッド幾何学が分かれば原理的にすべての数学が解けます 一方、微分積分などは単なる計算パターンの暗記であって数学ではありません これらは初等教育で教える必要はありません
424 名前:132人目の素数さん [2020/09/01(火) 10:52:37.83 ID:UFuF6Htm.net] >>418 私は初頭教育の数学では ユークリッド幾何学を教えるべきだと思います 公理系から命題を導くというのは 数学の基本だからです 一方代数や解析は単なる数式の変形がメインであり 工学部などに進む一部の人以外は勉強する必要は無いと思います だから微分積分などは「計算(calculus)」という別の科目にすればよいと思います
425 名前:132人目の素数さん mailto:sage [2020/09/01(火) 10:55:40.52 ID:OEAe+7as.net] >>420 微積分、ベクトルに教える価値がないとまでは俺は思ってない 研究する上で計算が必要なことは代数寄りの分野でもあるし、微積分や空間ベクトルが必須な分野も、微分幾何学など当然ある ただ計算「だけ」では抽象代数で躓くことは、この国を見ても示してしまっているように見える
426 名前:132人目の素数さん [2020/09/01(火) 10:56:32.11 ID:UFuF6Htm.net] >>418 あなたはこのスレで一番内容のあることを言っている ユークリッド幾何学は最も由緒正しい数学 ユークリッド幾何学の公理から命題を導く厳密な証明は数学の基本だからみんなが学ぶべき ユークリッド幾何学を学ぶと ユークリッド幾何学には行間で忖度されるような 曖昧さが無いから数学を完全に理解できるし 証明を通じて論理的思考能力も身につく 代数や微積は機械的な計算であって 工学部などに行く人以外は学ばなくていい
427 名前:132人目の素数さん mailto:sage [2020/09/01(火) 11:40:51 ID:Ax57znWV.net] 発狂して連レスしとるやんけ
428 名前:132人目の素数さん [2020/09/01(火) 12:18:11 ID:0K/BUNuC.net] ID:Q32UwMtwがこのスレで唯一まともなことを言っているな こんな常識的なことを認められずにコンプ丸出ししてる奴は恥ずかしい
429 名前:132人目の素数さん [2020/09/01(火) 12:21:33 ID:0K/BUNuC.net] 俺もユークリッド幾何学は教える必要があると思う 公理系から厳密な論述により命題を導くのは数学の基本 これを初等教育で学ばなければ高等数学で躓くことは必至 このような厳密な論証を抽象的なオブジェクトではなく 直感的な図形問題を通じて体得できるのはユークリッド幾何学だけ だからユークリッド幾何学は絶対に教える必要がある
430 名前:132人目の素数さん [2020/09/01(火) 12:24:09.64 ID:0K/BUNuC.net] >>396 すべての数学が論証だなんて極論が 他人に説得力あると思ってるのは 精神が幼稚な証拠
431 名前:132人目の素数さん mailto:sage [2020/09/01(火) 12:27:26.54 ID:Ax57znWV.net] 補助線パズルは必要ないよね 補助線パズルを教えるのに使う時間を今の半分くらいにすればもっと別のことを教えられる 例えば、高校一年生に教える「集合と論理」は前提となる知識はほとんど必要ないから、 中学で教えてもいいはず
432 名前:132人目の素数さん [2020/09/01(火) 12:28:54.27 ID:0K/BUNuC.net] >>431 うん 補助線パズルは必要ない
433 名前:132人目の素数さん [2020/09/01(火) 12:39:00.99 ID:7Py38MN6.net] >>431 補助線パズルは必要ないが 集合と論理もそんなに優先度は高くないと思う 高校数学の範囲内で有効に使う機会が多くない センター数学の「必要条件だが十分条件ではない」みたいな穴埋め問題くらいしか出すものがない
434 名前:132人目の素数さん [2020/09/01(火) 12:44:01.00 ID:7Py38MN6.net] >>431 現代数学で集合論が絶対的に必要になるのは たとえば実数の完備性とかは1とか√2とか個別の元の性質ではなくて 実数全体の集合の性質であって、それを調べることがメインになるから 一方、高校までの数学は個別の数や図形や関数を調べることがメイン もちろん、数列とか、座標空間内の図形を表わすのに自然な方法ではあるので 表記法としては早いうちから使っていけばいいとは思う
435 名前:132人目の素数さん [2020/09/01(火) 12:58:25 ID:bBBBI4+7.net] ユークリッド幾何学は高校で教える必要があると思います 代数分野はただの計算ですがユークリッド幾何学には曖昧さが一切ありません 単純な足し算でさえ厳密に論ずるにはペアノの公理系と無限集合の公理を明示する必要があります 高校生が理解できる範囲で厳密な公理的理論が展開できるのはユークリッド幾何学だけなのです
436 名前:132人目の素数さん mailto:sage [2020/09/01(火) 12:58:37 ID:Ax57znWV.net] >>433 そう思われていることが一番の問題なんだよ まず、集合を意識することは、問題を「どの集合上で考えるか?」を明確にする意味で重要 例えば、「 x^2 + 1 = 0 の解を求めよ。」という問題に対し、「判別式が負なので実数解なし」という解答があったとする これは問題がどの集合上の解を求めるべきか明確にしていないので、間違いとは言えない 高校数学でも N, Z, Q, R, C を使えるようにするだけでも、上の問題は 「 x^2 + 1 = 0 (x∈R) の解を求めよ。」なのか「 x^2 + 1 = 0 (x∈C) の解を求めよ。」なのかハッキリ示すことができる 次に、命題と論理も重要で、高校数学では「同値変形」が非常に適当に行われている ⇔ という記号を使っておきながら実は ⇒ しか示せていないとか、そもそも証明になっていないとか あと大学入試だってもっと工夫した問題を出してもいいと思う 例えば、「命題 A と命題 B を以下とするとき、 A と B は同値であることを示せ。」とか、 「 A ⇒ B が成り立つことを示せ。また、逆は必ずしも成り立たないことを示せ。」とか、 「命題 A が真であることは命題 B が真であるための十分条件であることが知られている。このとき、 B が真であることを証明せよ。」 とかね 集合と論理は分野を問わずに重要だよ 他の分野と分けて扱われていることがそもそもおかしい
437 名前:132人目の素数さん [2020/09/01(火) 13:19:03 ID:bBBBI4+7.net] ユークリッド幾何学では 公理系から一切の曖昧さ無く 有用な定理(三平方の定理など)を示すことができる そしてそのプロセスは高校生にも無理なく理解できる 一方、代数分野は足し算とは何とか多項式とは何とか 曖昧さだらけであって、それを解消するには 公理的集合論まで遡らなければいけない これがユークリッド幾何学が必要な
438 名前:132人目の素数さん [2020/09/01(火) 13:21:14 ID:dABrX1bo.net] >>436 > 高校数学でも N, Z, Q, R, C を使えるようにする 使えるけど 複素数とか習わなかったの > あと大学入試だってもっと工夫した問題を出してもいいと思う > 例えば、「命題 A と命題 B を以下とするとき、 A と B は同値であることを示せ。」とか、 > 「 A ⇒ B が成り立つことを示せ。また、逆は必ずしも成り立たないことを示せ。」とか、 > 「命題 A が真であることは命題 B が真であるための十分条件であることが知られている。このとき、 B が真であることを証明せよ。」 そういう問題は現状も出題されてると思うけど
439 名前:132人目の素数さん [2020/09/01(火) 13:22:56 ID:dABrX1bo.net] >>436 あなたの主張に同意しますが あなたが書いたようなことは現在の高校数学のカリキュラムで十分に実施されていると思います
440 名前:132人目の素数さん mailto:sage [2020/09/01(火) 13:27:38.64 ID:Ax57znWV.net] >>438 >> 高校数学でも N, Z, Q, R, C を使えるようにする >使えるけど >複素数とか習わなかったの えっそうなの? 何年度のカリキュラムから変わった? 教科書とか入試の過去問に載ってる?
441 名前:132人目の素数さん mailto:sage [2020/09/01(火) 13:30:50.76 ID:Ax57znWV.net] >>439 >>431 の意図を説明しておくと、中学のうちに「集合と論理」を教えておけば、 高校数学はもっと集合と論理を意識した教え方ができるってことね
442 名前:132人目の素数さん mailto:sage [2020/09/01(火) 13:40:09.81 ID:Ax57znWV.net] >>438 >そういう問題は現状も出題されてると思うけど >>436 は>>433 へのレスだぞ >センター数学の「必要条件だが十分条件ではない」みたいな穴埋め問題くらいしか出すものがない
443 名前:132人目の素数さん [2020/09/01(火) 14:04:02 ID:+KHzSV12.net] うーん 議論したがりで他人の意見を聞かない奴の多いスレだな
444 名前:132人目の素数さん [2020/09/01(火) 15:22:33.54 ID:XrOwo2lT.net] >>440 実数や複素数といった数の体系は昔から標準的に教えられるし x^2 + 1は実数係数の範囲で既約だが、複素数の範囲では(x + i)(x - i)に因数分解できる などということは、普通に勉強していれば誰でも知っていると思う 大学への数学みたいな有名な参考書や、一部の入試問題では「Qで有理数全体の集合を表す」みたいなことは出てくる > センター数学の「必要条件だが十分条件ではない」みたいな穴埋め問題くらいしか出すものがない というのは、センター試験のように「集合と論理」の単元に限定したテストとしては、そういう問題しか出せないという意味 分野を限定しなければ、論理に関わる問題は普通に出ている
445 名前:132人目の素数さん [2020/09/01(火) 15:24:01.33 ID:XrOwo2lT.net] 具体的な入試問題をあげろとかいうのは、面倒くさいので勘弁願いたい ともかく現実問題として、>>436 の言っているようなことは現状十分に普及していて、私もその方針には同意する ということだけ書いておく
446 名前:132人目の素数さん [2020/09/01(火) 15:25:18.20 ID:XrOwo2lT.net] これで何か不満があるのであれば、 それは私と議論していても解消しないと思う
447 名前:132人目の素数さん [2020/09/01(火) 15:29:56.45 ID:5Mq2H/2e.net] >>435 賛成だな ユークリッド幾何学は厳密な論述を学べる唯一の分野 代数などの他の分野は計算さえできれば解けてしまう 公理から論述によって命題を導くことを厳密にやるのはユークリッド幾何学だけ 代数では多項式とは?集合とは?というのを誤魔化して厳密にやっていないが ユークリッド幾何学は公理から一切の曖昧さ無く証明できる唯一の分野 代数では計算能力しか求められていない 代数を厳密に論ずるにはペアノの公理と合理的集合論が必要だが ユークリッド幾何学は図形を扱うから公理から始めても高校生にも無理なく
448 名前:132人目の素数さん mailto:sage [2020/09/01(火) 15:36:13.67 ID:Ax57znWV.net] 私の意見としては、現状の教育では不十分であり、 もっと集合と論理に重点を置いた教育をすべきだと思っています 教科書に N, Z, Q, R, C を載せてバンバン使うべきだし、 ⇔ 記号の使い方にはもっと慎重になるべきだと思います 現実問題として、必要条件と十分条件の違いすらわからないような大人がいる以上、 義務教育で教えるべきだと思います これは国語教育の問題でもあると思いますが…
449 名前:132人目の素数さん [2020/09/01(火) 16:47:08.96 ID:WitaTpUB.net] ユークリッド幾何学は高校で教えるべきだと思う 公理系から論述によって命題を導くというのは数学の基本であって ユークリッド幾何学によってその論理を学ぶことができる 代数などの分野は計算さえできれば解けてしまうので論述の能力が身につかない ユークリッド幾何学では論述の能力が身に付くのでユークリッド幾何学をやる必要がある
450 名前:132人目の素数さん [2020/09/01(火) 16:49:43 ID:WitaTpUB.net] ユークリッド幾何学の公理系から論述により命題を導くのは数学の基本であって、ユークリッド幾何学でしか身につかない 代数や微分積分などの分野は計算さえできれば解けてしまうので、論述の力をつけるためにはユークリッド幾何学をやる必要がある 公理から定理を導くのは抽象代数学をはじめとする数学の基本でありユークリッド幾何学をやらなければ抽象代数学などが理解できなくなってしまう
451 名前:132人目の素数さん [2020/09/01(火) 19:11:42 ID:2qjbTlF5.net] 1145 学コン・宿題ボイコット実行委員会@gakkon_boycott 9月1日 #拡散希望 #みんなで学コン・宿題をボイコットしよう 雑誌「大学への数学」の誌上で毎月開催されている学力コンテスト(学コン)と宿題は、添削が雑で採点ミスが多く、訂正をお願いしても応じてもらえない悪質なコンテストです。(私も7月号の宿題でその被害に遭いました。)このようなコンテストに参加するのは時間と努力の無駄であり、参加する価値はありません。そこで私は、これ以上の被害者を出さないようにするため、また、出版社に反省と改善を促すために、学コン・宿題のボイコットを呼び掛けることにしました。少しでも多くの方がこの活動にご賛同頂き、このツイートを拡散して頂ければ幸いです。 https://twitter.com/gakkon_boycott/status/1300459618326388737 (deleted an unsolicited ad)
452 名前:132人目の素数さん [2020/09/01(火) 20:44:28.25 ID:4ZAuJrEf.net] >>448 数学なんていくら教えても普通の人は理解せんよ
453 名前:132人目の素数さん [2020/09/01(火) 20:59:57.93 ID:4ZAuJrEf.net] >>448 数学なんていくら教えても一般人は理解せんよ。 第一、ほとんどの人は中学・高校数学さえまともに理解してない。 いくらなんでもこれじゃ無理です。 数学の専門教育を受けていない人は、数学的な現象を捉えられない。 多くの専門家は「ある概念や定理を、厳密に定式化したり証明したりするのは難しくても、直感的な意味は一般人にも理解できる」なんて思っているが、これがそもそもの誤り。 たとえば、「通常の平面に、平行な直線が交わる点を加えたのが射影平面」なんて言ってもほとんどの人は理解できないし、もちろん可微分多様体としての定義を説明しても理解できない。 たとえば、複素解析における「一致の定理」が非自明なのは当然、定理の仮定を連続関数とかC^∞関数とかに弱めたら成り立たないからだが そもそも数学の専門教育を受けていない人には、「ある領域で2つの関数が一致していても、それを含む領域では一致するとは限らない」というコモンセンスがないから、数学的な内容を説明するのは実質的に不可能。 そういう人に、数学をどのように説明しても、彼らには数学用語と記号の羅列にしか見えていない。
454 名前:132人目の素数さん [2020/09/01(火) 21:04:46.48 ID:4ZAuJrEf.net] つい感情的になってしまったな すまなかった
455 名前:132人目の素数さん [2020/09/01(火) 21:09:53.00 ID:HbCPzo+k.net] 「素人に数学を教えるのは無理」からの出張?
456 名前:132人目の素数さん mailto:sage [2020/09/01(火) 21:15:49.97 ID:Ax57znWV.net] >>453 ちょっと数学がわかる(と思っている)だけで自分は一般人とは違うとか思っちゃうのは恥ずかしいぞ 趣味で数学を勉強している人は意外とたくさんいる まあ補助線パズルのせいで「数学なんてパズルのようなもの」と思われている節はあるよね そういう誤解を無くすためにも、早いうちに論理を教えるべき 具体的には義務教育で あと国語はポエムとか漢文とかどうでもいいから、論理的な文章の読み書きをちゃんと教えろ
457 名前:132人目の素数さん [2020/09/01(火) 21:16:42.03 ID:3wI4wG8V.net] 「ベクトル空間の自己準同型は単射なら同型」 と言われても、そもそも一般の圏でmorphismが単射なら同型とは限らないことが分かってないし 行列による一次変換や、平面上の相似変換みたいな具体例で確かめる能力も無い
458 名前:132人目の素数さん [2020/09/01(火) 21:22:29.43 ID:HbCPzo+k.net] >>449 >>450 私は不要派ではないがあまり崇拝するのもやめた方がいいと思う。 アンチに目をつけられるから。
459 名前:132人目の素数さん [2020/09/01(火) 21:26:34.73 ID:HbCPzo+k.net] >>456 まあ証明も既知の事実から未知の事実を導くパズルだけどね。
460 名前:132人目の素数さん mailto:sage [2020/09/01(火) 21:36:00.34 ID:IKYVWsf4.net] >>456 易経とニーモック表を小学生に教えちゃえばいいんだよ。 個人的には小学生の時点で詭弁論理学逆説論理学が一人で読める地頭がある子供に 中学上がる冬休みにゲーデルエッシャーバッハ読む輪読セミナーの機会ぐらいあってもいいと思ってるが。
461 名前:132人目の素数さん [2020/09/02(水) 10:45:19 ID:5wpmvlS6.net] ID:5Mq2H/2e ID:bBBBI4+7 ID:UFuF6Htm ID:OEAe+7as ID:Q32UwMtw に完全に同意
462 名前:132人目の素数さん [2020/09/02(水) 10:50:26 ID:5wpmvlS6.net] ユークリッド幾何学は学校で教える必要がある 公理から初めて論述によって命題を示すという手法は現代数学の基本 代数や微分積分などは計算だけできれば解けてしまうが ユークリッド幾何学では厳密な論証を学ぶことができる 公理系から論述で命題を示す手法は現代数学の基本であって もしユークリッド幾何学を学ばなければ抽象代数学などが理解できなくなることは明らか
463 名前:132人目の素数さん [2020/09/02(水) 10:53:35 ID:5wpmvlS6.net] 現代数学である群論やガロア理論も公理系から初めて命題を導く 微分積分などだけを教えていると群論やガロア理論などが理解できなくなってしまう ガロア理論では作図が主に扱われるからユークリッド幾何学応用になっている だから>>1 や>>41 の役に立たない論は明らかに間違い
464 名前:132人目の素数さん [2020/09/02(水) 11:02:08 ID:5wpmvlS6.net] ユークリッド幾何学はまず中初等教育において論述を教える題材として適している 代数などはただの計算であって厳密ではないがユークリッド幾何学は公理から始めて曖昧さなく命題を示す これは現代数学の基本であって群論やガロア理論を学ぶ際に必要な能力 代数では多項式とは?集合とは?などが厳密に説明されていないがユークリッド幾何学には曖昧さは無い ユークリッド幾何学が扱う題材は図形であって初等教育にも馴染みやすい 現代数学を厳密に展開するには公理的集合論まで遡らねばならないが ユークリッド幾何学の公理は中学生でも理解できて完全 このような条件を満たす単元は他には無い
465 名前:132人目の素数さん [2020/09/02(水) 11:10:55 ID:5wpmvlS6.net] 群論やガロア理論などの抽象代数学はユークリッド幾何学の考えを継承している これらが確立されたのは18世紀であり微分積分などはそれよりも大分昔の理論だから厳密性がない ユークリッド幾何学は現代数学のモデルであるから論述を教えることができる 群論やガロア理論は対称性を扱う数学で対称性とは回転や相似変換などの一般化だから やはりユークリッド幾何学を学ぶことは群論やガロア理論を学ぶことに役立つ 特に群論では、群の正規群(特異点を持たない群)による商で対称性を分類する この割り算にはユークリッドの互除法のアルゴリズムを用いることができるからユークリッド幾何学の応用になっている 群論の一部であるリー群ではユークリッド空間の回転である直交群を扱うからこれもユークリッド幾何学が直接役に立つ
466 名前:132人目の素数さん [2020/09/02(水) 11:20:42 ID:5wpmvlS6.net] ユークリッド幾何学では公理系から始めて命題を証明するがこれは現代数学の基本 群論やガロア理論もこのスタイルを継承していてユークリッド幾何学を学ばないと抽象代数学が理解できない ガロア理論はユークリッド幾何学と同様に、対称性の公理から作図可能性を論ずる これはいくつかの公理から始めて可能な手順の組み合わせを厳密に論述することで様々な図形を作図していく ヒルベルトが提唱した円積問題などもこの応用であって、現代数学において極めて重要
467 名前:132人目の素数さん [2020/09/02(水) 11:32:07 ID:5wpmvlS6.net] ユークリッド幾何学は公理から始めて論述のみによって命題を証明する これは現代数学の基本であってガロアの理論やヒルベルトの理論などがその手法を受け継いでいる これは現代数学において極めて重要 代数や微分積分はただの計算であって論述を教えていないから ユークリッド幾何学をやらないと抽象代数学などを理解できなくなってしまう ガロア理論は作図を扱うからユークリッド幾何学の知識が必須 代数などでは計算しかやらず概念の定義が曖昧だがユークリッド幾何学の論述には曖昧さが一切無く ユークリッド幾何学は図形を扱うから中高生にも理解しやすい 初等教育で論述を教える題材として適しており他にこのような条件を満たす題材は無い
468 名前:132人目の素数さん [2020/09/02(水) 11:52:08.77 ID:sd5DPjfu.net] それは逆に他をけなしすぎだ。
469 名前:132人目の素数さん [2020/09/02(水) 11:57:22.78 ID:5wpmvlS6.net] >>460 同意 現代数学のルーツがガロア理論にあることは間違いないが中学で作図などを教えたら 飛び級入学を許して、ゲーデルの不完全性定理やラッセルの論理学などどんどん読み進めるのがよいと思う 不完全性は量子力学などでも基本的な概念であるから幅広く応用が効く その基礎がユークリッド幾何学で身につけた論述の能力にあることは疑いようがない 現行のカリキュラムは実用性だけを重視し結果だけ示して細部は曖昧にしているが、これらは現代数学の基礎だから完全に修める必要がある そういう人は足し算や掛け算もペアノの公理から厳密に示すべきだし、微分積分は測度論などを使い厳密に論ずるべき
470 名前:132人目の素数さん [2020/09/02(水) 12:16:58.77 ID:ArXE/Avq.net] ユークリッド幾何学不要派のような知識だけを得て万能感に浸っているのは愚者だと思う ガロアによる方程式の不可解性定理や作図不可能性定理、ゲーデルの不完全性定理などにより 知性の限界を認識し、世界に対して謙虚になるのが真の教養というものだろう 表面的に数学の問題が解けたからと世界に対して傲慢になっている者たちの顛末が ・リーマンショックによるサブプライムローン崩壊 ・チェルノブイリや福島の原発事故 ・AIの暴走による核戦争と人類の家畜化 などのカタストロフィだ ユークリッド幾何学が役に立たないという人は自分では筋の通ったことを言っているつもりなのだろうが こういう統合的・逆説的な見地から見れば実に浅薄極まりない
471 名前:132人目の素数さん mailto:sage [2020/09/02(水) 12:30:49.42 ID:tYairTYr.net] また文系ポエムか
472 名前:132人目の素数さん mailto:sage [2020/09/02(水) 12:32:55.20 ID:tYairTYr.net] >>461 それほとんどお前だろ
473 名前:132人目の素数さん [2020/09/02(水) 13:06:03.81 ID:g5qR2vWb.net] ユークリッド幾何学の応用例として 3次元空間の体積を持つ立体を有限個に分割して 各ピースを合同変換により再配置することで 元の立体の2倍の立体を構成できるという バナッハタルスキーの定理がある これは常温核融合の数学理論だと思われており 現代の資源工学における中心的な研究分野になっている
474 名前:132人目の素数さん [2020/09/02(水) 14:14:09.20 ID:YNJ9m2pF.net] 「ポエム」や「パズル」を蔑称として使ってる奴いるな。 言葉に失礼だからやめろ。
475 名前:132人目の素数さん mailto:sage [2020/09/02(水) 14:44:40.40 ID:tYairTYr.net] >>474 どうして蔑称だと思ったんですか?
476 名前:132人目の素数さん [2020/09/03(木) 08:47:37.57 ID:Mc9UxcV9.net] 経済学者や統計学者からの声が強いんだろ 応用数学を後々するにしても 微分積分、ベクトル、行列なんかは絶対必要だし 確率論もねじ込みたいのもわかるが流石に高校生には理解できないから内容が浅すぎるし 現行のユークリッド幾何の撤廃は同意だわせめて小中 デュドネみたいに数学的な基礎が甘いからとかじゃなくてチェバやメネラウスの定理はマジで必要ないわ
477 名前:132人目の素数さん [2020/09/03(木) 08:48:48.44 ID:Mc9UxcV9.net] 古典的幾何学は純粋に図形を描いて考えるんだろうけどそんな面倒臭いこと教えるより 解析幾何でも教えればいいんだよ
478 名前:132人目の素数さん [2020/09/03(木) 09:03:46.22 ID:Xltt/8Is.net] >>476 同意
479 名前:132人目の素数さん [2020/09/03(木) 09:18:08.24 ID:Mc9UxcV9.net] 高校の段階では後々みんな純粋数学をするとは限らないからあくまで使える理論を教えてやればいいと思う 日本の数学書の悪しき習慣の定義定理の羅列 ひどいのは公式の羅列 証明は理解できないから省くにしてもただの羅列はダメだわ ワイは物理数学を専門としてるけど、数学科に入ってくる新入生の中には全く物理を理解できない奴がいる 高校の段階で定義定理で覚えてるからその応用例や物理的な考えがわからない 高校数学なんだから広く浅くでいいからもっと実際の応用的な部分も示すべきだわ だから数学は役に立たないなんて言う輩も出てくるんだよ データとかユークリッド幾何とか以前に 高校の教科書開いて見てよめちゃくちゃ面白くないから
480 名前:132人目の素数さん mailto:sage [2020/09/03(木) 09:33:39.33 ID:9okSQb6o.net] >>479 別に物理的な考え方が分からなくても、例えば量子力学ならノイマンの公理から始めればいいし、 場の量子論ならワイトマンの公理系から始めればいいのでは?
481 名前:132人目の素数さん [2020/09/03(木) 09:39:40.90 ID:Mc9UxcV9.net] >>480 それが純粋数学の考え方なんだと思うわ
482 名前:132人目の素数さん [2020/09/03(木) 09:42:35.60 ID:tHLHxbIJ.net] ユークリッド幾何学必要派が連レスしてるな ほとんど全部間違ってて個別に訂正するのも面倒くさい
483 名前:132人目の素数さん [2020/09/03(木) 10:05:45.90 ID:6U/HRTRR.net] >>473 これは言うまでもなくトンデモ >>469 >>470 これはただのポエム おそらく書いてるのは文系で、自分が引用している数学基礎論の内容も理解していない
484 名前:132人目の素数さん [2020/09/03(木) 10:32:01.31 ID:6U/HRTRR.net] ID:5wpmvlS6 ID:5Mq2H/2e ID:bBBBI4+7 ID:UFuF6Htm ID:OEAe+7as ID:Q32UwMtw こいつら(こいつ)は壊れたスピーカーみたいに同じこと繰り返してるが、的を射たことは何も言っていない まず「ユークリッド幾何学は公理から論証するから厳密」云々というのが、いろいろ論破されて最後の拠りどころになってるようだけど これはこいつが勝手に持ち出した基準。現状、そんなものを重視して教育している人は、(ごく一部の人を除いて)いない 数学をどこまで「厳密に」やるかは、その教育の目的に応じて決まるのであって、その意味で現行の中学高校のカリキュラムは十分に厳密に数学を論じている また、群論などの抽象代数学は「公理から厳密に論証」している数学らしいけど、これも間違い 自分でも言ってるけど、代数学では集合を扱うけど公理的集合論をやってないし、通常の足し算掛け算やるのにペアノの公理からやってないから厳密ではない 「厳密」の基準が場当たり的に変わっていて一貫していない 「ユークリッド幾何学をやらやければ、抽象代数学の理解度に影響がある」云々もただの思い込み 代数学が苦手な奴がどこで躓いているのかというのは、多くの数学科教員は認識していて、それは「公理から証明する」云々とはほとんど関係ない 具体的なポイントはたとえば以下。 ・線形代数をやる際に、高校で行列や一次変換をやっていない ・一階述語論理に慣れていない ・商集合、双対空間などが理解できていない 等。
485 名前:132人目の素数さん [2020/09/03(木) 11:01:26.03 ID:6U/HRTRR.net] あと、数学的に間違った記述が誰からも指摘されないのは良くないと思うので指摘しておく > ガロア理論では作図が主に扱われるからユークリッド幾何学応用になっている 全く違う ガロア理論が扱うのは代数拡大の構造であって、作図はその一例にすぎない また作図は特に重要な例でもない > 群論やガロア理論は対称性を扱う数学で対称性とは回転や相似変換などの一般化だから > やはりユークリッド幾何学を学ぶことは群論やガロア理論を学ぶことに役立つ これも相似変換などは、群作用の一例に過ぎず、群論をやるためにユークリッド幾何学が必要ということではない そもそも、相似変換などをユークリッド空間への群作用として扱うなら、ユークリッド幾何学の枠組で扱うよりも、解析幾何の枠組で扱う方が自然 > 特に群論では、群の正規群(特異点を持たない群)による商で対称性を分類する 意味不明 「正規群」っていうのが正規部分群のことなら、定義が全然違う 正規部分群は内部自己同型で不変な部分群のこと > この割り算にはユークリッドの互除法のアルゴリズムを用いることができるからユークリッド幾何学の応用になっている これも意味不明 剰余群をとる操作と、整数の割り算はほとんど関係がない そもそも「ユークリッドの互除法」は初等整数論の理論であって、ユークリッド幾何学とは全然関係ない > 群論の一部であるリー群ではユークリッド空間の回転である直交群を扱うからこれもユークリッド幾何学が直接役に立つ 「リー群」を「群論の一部」だと思っている人はほとんどいない これも上で述べたように回転や鏡映などを群として扱うなら、ユークリッド幾何学ではなく解析幾何の枠組で扱う方が自然 もう疲れた ほとんど数学を知らない(おそらくユークリッド幾何学すら知らない)奴が、想像上の基準に基づいて「ユークリッド幾何学は必要」と言っている 相手にする価値無し
486 名前:132人目の素数さん mailto:sage [2020/09/03(木) 11:29:14.19 ID:9okSQb6o.net] >>481 そう言われるとそうかもしれんな >>484 少なくとも俺と俺以外がいる 俺は下2つだが、>>485 で指摘してることは全て俺のレスではないな そんなものを重視してる人はごく一部を除いていない、とあるが、 https://matheducators.stackexchange.com/questions/2074/is-euclid-dead-or-should-euclidean-geometry-be-taught-to-high-school-students では21票入っており最多得票の回答となっている 抽象代数学が厳密ではないという話は、深く考えるとややこしい話になりそうだが、 少なくとも例えば環の中で「積の単位元の和における逆元 を2つかけると、積の単位元になる」となることに集合云々は必要ない こういう推論は環の公理しか使わない厳密なものだろう
487 名前:132人目の素数さん [2020/09/03(木) 12:04:56.81 ID:MbmLWA+Y.net] そう思うなら文科省に訴えてくればいいじゃん 「stackexchangeで22票獲得してるんですよ」 って言ってさ
488 名前:132人目の素数さん [2020/09/03(木) 12:10:45.62 ID:MbmLWA+Y.net] > 少なくとも例えば環の中で「積の単位元の和における逆元 を2つかけると、積の単位元になる」となることに集合云々は必要ない じゃあ、高校数学における多項式の定義や定理も与えられた仮定にのみ基づいているので厳密なものです あなたが「厳密」の意味を場当たり的にすり替えているだけです
489 名前:132人目の素数さん mailto:sage [2020/09/03(木) 12:41:06.62 ID:9okSQb6o.net] >>488 多項式の理論が展開できる公理系があったら、それで論文が書けそうなレベルだが……
490 名前:132人目の素数さん [2020/09/03(木) 12:45:48.43 ID:suN4tfLD.net] >>489 どういうこと? kwsk
491 名前:132人目の素数さん [2020/09/03(木) 13:00:07.50 ID:ZeLvSWTQ.net] もう論点ずらしと都合の悪いことに答えないことが癖になってるんだな
492 名前:132人目の素数さん [2020/09/03(木) 13:42:28.35 ID:F6umGzGP.net] 数学科で勉強しながらずっとスレタイと同じこと思ってたわ 数学オタクしか使わんやんけ
493 名前:132人目の素数さん [2020/09/03(木) 13:43:06.33 ID:kF2wa/4I.net] >>492 × 数学オタク ○ 受験数学オタク
494 名前:132人目の素数さん mailto:sage [2020/09/03(木) 13:45:07.11 ID:9okSQb6o.net] >>490 もしも「多項式の公理系」みたいなものがあるなら、研究対象として興味深いかもしれないわな そんなの見たことがないしふんわりとしか言えないが 今現在は多項式は環やら集合やらの概念に根ざしていて、>>418 などで再三再四述べているように「公理系から出発して形式的証明をしていく」ような教え方は到底できないが
495 名前:132人目の素数さん [2020/09/03(木) 13:57:08 ID:Mc9UxcV9.net] >>486 これ皮肉ってわからん?
496 名前:132人目の素数さん [2020/09/03(木) 14:21:01.73 ID:kF2wa/4I.net] 迷惑な人には 名前をつけて区別しましょう >>494 キミは「公理系くん」 わかったね?
497 名前:132人目の素数さん [2020/09/03(木) 14:22:29.71 ID:Mc9UxcV9.net] 数学の公理で物理数学を考えないで欲しいな 物理は結局数学ではないし 数学はただの道具なんだから
498 名前:132人目の素数さん [2020/09/03(木) 14:23:34.24 ID:Mc9UxcV9.net] 本質的に物理学には公理は存在しない 加えて現行の数学の公理はただの集合論の中の形式系の中の話であって公理=万能な数学の原理真理ではないよ
499 名前:132人目の素数さん mailto:sage [2020/09/03(木) 14:39:51.95 ID:9okSQb6o.net] >>495 ローコンテクスト文化にいるから分からんな もうユークリッド幾何学に関しては https://matheducators.stackexchange.com/questions/2074/is-euclid-dead-or-should-euclidean-geometry-be-taught-to-high-school-students などをまずはよく読んで、海外の意見を把握してから主張してとしか言えんな
500 名前:132人目の素数さん [2020/09/03(木) 14:40:34.64 ID:5VcwdFbB.net] 自然界は無矛盾なので真の物理学はその公理系の内部にある^^