「大学で数学を選択すると年間所得が100万円アップ」記事へのコメント

数学全体で論理的思考は大切では？

[norihiro (479)]

解析学とか代数、位相などの特定の分野が適しているというよりは、 数学全体が共通して持っている「アプローチの手法」そのものが論理的思考を 育てる重要なのでは？
Aという命題が正しいことを証明する ためにいま分かっている事実を組み合わせて新しい事実を導き、それを積み重ねる ことで最終的にAにたどりつくという思考を身につけることが重要だと思います。

私の学校でのプログラミングの課題では、自分の書いたプログラムが何故正確に動作 するかをきちんと説明しなければなりません(当たり前のことですが)。 各手続き、関数が確かに正しく動くことを 示し(自明じゃんというやつはたいてい分かってない)、その積み重ねから全体の正当性 を示すことを要求されます。単に与えた入力に対して正しい出力がでている実行例を いくら出しても証明にはならないのです。 アセンブリなどのハードの泥臭い部分を初中等教育で教えることが全くの無駄だとは 思いませんが、むしろ小さいころは上で述べた思考法を頭に叩きこむことが必要では? (SchemeやHaskellに中学生のとき出会っていたら私の人生変わっただろうに...)