構成数学を理解する:プロセス重視のアプローチ
数学的真実を証明する過程の重要性を発見しよう。
― 0 分で読む
構成的数学は、何かが真であることを単に述べるのではなく、それが真であると証明するプロセスに焦点を当てた数学の見方だよ。このアプローチは、数学的な声明が真であると信じるためにはどんなメンタルプロセスや構造が必要なのかという重要な質問を提起する。これは、宿題の正しい答えを知りたいと思っている学生にも関係があるよ。
数学における言語の役割
言語はコミュニケーションのための重要なツールで、人間が協力してアイデアを共有するのを助ける。数学では、声明やルールを表現するために言語を使う。私たちはしばしば「真」や「偽」として声明を説明する。時には、命令が声明の形で与えられ、これが学生を混乱させることもある。プログラミングでは、宣言的なスタイルはストレートな命令よりも一般的ではない。
数学的声明の意味
数学者や教師は、数学的声明の意味を定義することに苦労している。私たちはどうやって声明を真か偽かに分類するの?これは複雑な場合があり、特に声明が多くの論理の層を持っていたり、抽象的な概念を扱っている時なんかは特にそう。
数学における構成主義の動きは、数学的声明についての異なる考え方を探る。例えば、誰かが声明が真だと言ったら、私たちはその主張を支えるためにどんなメンタルプロセスや構造を考えているのかを尋ねる。
何かが真であるという声明を考えてみて。一般的なアプローチは、その主張を正当化する例を見つけることだ。でも、これは非伝統的な論理に導かれることがあって、いくつかの論理の形がすべての声明には当てはまらないことがある。
実践的な教育目標
学生の視点から見ると、実際の質問は「どうやって先生に答えを受け入れてもらうか?」ということになる。残念ながら、多くの学生は深く素材に関わるのではなく、以前のレッスンからパターンを推測したり合わせようとすることがある。これが学生と教師の両方にとってのフラストレーションにつながることが多い。結果として、多くの学生が標準的な数学の授業で自分の可能性を十分に活用できないんだ。
ルービックキューブが初めて人気になったとき、多くの子供たちは数学のスキルにかかわらずそれを解く方法を学んだ。キューブを解くのが簡単になった理由は明白で、教師が何を求めているかについての推測は必要ないから。できるかできないかだけなんだ。
別の例もこの問題を際立たせる。ある教師が、ウオッカのボトルを使って実世界のアナロジーで分数を比べるよう学生に求めたことがあった。これがすぐに学生が概念を理解するのを助けた。
じゃあ、数学の授業がなぜしばしば難しいのか?学生にとって、これらの授業は数学的表現が意味のない記号のように感じられるランダムな推測ゲームのように思えることがある。その結果、学ぶことが楽しくなく、効果的でないことがあるんだ。
数学における声明のタイプ
数学の教師にとって重要な教訓の一つは、学生に理解できる問題を選ぶことだ。簡単な説明の後、学生は自分に求められていることや、どの解決策が受け入れられるかを明確に理解するべきだ。
存在的声明はその良い例だ。これらの声明は、特定の性質を持つ何かが存在することを主張するもので、簡単に確認できる。例えば、学生に「最初の数字を取り除くと小さくなる正の整数を見つける」という課題を与えることができる。
もし学生が例を提供すれば、それは彼らの理解を示すのに十分な場合がある。別の課題では、内部にポイントがあり、すべての側面が完全には見えない形を見つけることを含むことができる。これもまた単純で、学生は自分の形が要件を満たしているか簡単に確認できる。
ただし、すべての問題が純粋に数学的ではない。たとえば、実際の課題では、学生に通り抜けるのに十分な大きさの穴を作るために紙を切るように求めるかもしれない。このタイプの問題は、要求が明確で、学生が解決しやすくなっている。
これらの問題の存在的な性質は、学生が教師の意見を必要とせずに自分の解決策を確認できるので、教育に適している。また、これは競技にもよく合い、採点が長い議論ではなく答案に集中できる。
普遍的声明
普遍的声明は存在的声明とは逆だ。これは、何かがすべての可能なケースにおいて真であると述べている。たとえば、3つの隣接する数の合計が正であり、全体の合計が負であるように数字を円周に配置することを求められた場合、それは不可能になる。この矛盾が、これらのタイプの声明を理解することの重要性を際立たせている。
タスクが不可能であることを主張する方法を見つけるのは難しいことがある。学生は自分の推論が正しいことを保証してほしいと思うかもしれない。自分の主張の妥当性を確認するために賭けをすることは、彼らの視点を変えるかもしれない。推測からより実用的な質問にシフトするんだ。
例えば、もし学生がドミノタイルに切った板を二つの反対の角がないように切ることを挑戦されたら、彼らは難しさを感じるかもしれないが、自分の試みをもとに主張することができる。しかし、自分の主張のためにはしっかりした根拠が必要だ。いくつかの問題では、色塗りのような視覚的な補助が、特定の解決策が不可能である理由を説明するのに役立つ。
声明のタイプの結合
一部の問題は存在的と普遍的な声明を融合させている。たとえば、チェスボードに互いに攻撃しない最大数のナイトを配置することは、2つのタスクを含む。学生はまず有効な解決策を示さなければならず、その後により多くのナイトを許さない解決策が存在しないことを証明する必要がある。
これらのタイプの問題を解決する際には、通常、体系的なアプローチが使われる。例えば、チェスボードをセクションに分けることで、ナイトが互いに攻撃しない状態で最大数を明確にすることができる。
複雑な声明への対処
数学者や教師は、学生が複雑な数学的声明を実際の意味を持つものとして見るのを助けるための心理的な枠組みをしばしば作る。長い論理の連鎖があっても、ゲームのような実用的な用語を使うことで、学生がこれらの声明のアイデアをよりよく把握できるようにする。
例えば、学生に列についての性質を示すように求められた場合、問題をより関連性のあるシナリオで提示されることがある。問題を文脈化することで、学生はその背後の論理により効果的に関与できる。
中間概念
複雑な概念を単純な部分に分解することも、学生が数学的定義を理解するのを助けることができる。たとえば、リミットについて議論するとき、教師はまず列のためのトラップを定義し、これがより単純な概念であるかもしれない。徐々に複雑さの層を紹介することで、学生はより快適になることができる。
解の認識
数学的声明を証明する際、学生は時には具体的な例を提供する代わりにプロセスを説明することがある。このアプローチも納得できることがあり、明確に答えに到達する方法を示している場合がある。しかし、結果を直接示さない場合もある。
たとえば、ある数の倍数を見つけるよう求められた場合、その倍数を見つける方法を説明することはしばしば受け入れられる。この実践は、学生が無限プロセスに同じ論理を適用したときに混乱を招くこともある。
学習における幻想を作る理由
これらの例は、重要な質問を提起する。なぜ概念に構造的アプローチを作るのか、それがただの幻想かもしれないのに?こんな複雑さなしで数学を正直に教える方が良くない?古典的な結果を最初に紹介してから構成的な概念を適用することに利益があるかもしれない。
数学コミュニティ内の経験は、伝統的な方法から始めることで、学生が基本をより簡単に理解でき、その後により構成的なアプローチに移行するのを助けるかもしれない。この移行は、最終的により複雑なアイデアを理解するための強固な基盤を作ることができる。
結論として、構成的数学は数学的声明とその真実性を理解するためのユニークなアプローチを提供する。教師たちは注意深い問題選択と教育方法を通じて、学生が数学により意味を持って関わり、より深い理解とこの科目への感謝を育む手助けができる。
タイトル: Constructive mathematics and teaching
概要: Constructivists (and intuitionists in general) asked what kind of mental construction is needed to convince ourselves (and others) that some mathematical statement is true. This question has a much more practical (and even cynical) counterpart: a student of a mathematics class wants to know what will the teacher accept as a correct solution of a homework problem. Here the logical structure of the claim is also very important, and we discuss several types of problems and their use in teaching mathematics.
著者: Alexander Shen
最終更新: 2023-05-31 00:00:00
言語: English
ソースURL: https://arxiv.org/abs/2305.19882
ソースPDF: https://arxiv.org/pdf/2305.19882
ライセンス: https://creativecommons.org/licenses/by-sa/4.0/
変更点: この要約はAIの助けを借りて作成されており、不正確な場合があります。正確な情報については、ここにリンクされている元のソース文書を参照してください。
オープンアクセスの相互運用性を利用させていただいた arxiv に感謝します。