>>76
>１の数学は大学入試がピーク

ふっふ、ほっほ
おサルさんかい？ (>>34)

おサルさんの時代 1980年代の数学科は
「厳密こそが 数学だ」という時代だったろう
（>>29より 下記 渕野先生の
＜厳密だけが、数学ではない＞という話につながるのです
”数学の基礎付けの研究は，数学が厳密でありさえすればよい， という価値観を確立しようとしているものではない.
これは自明のことのようにも思えるが，厳密性を数学と取りちがえるという勘違いは，
たとえば数学教育などで蔓延している可能性もあるので，
ここに明言しておく必要があるように思える
略 アイデアの飛翔をうながす(可能性を持つ)数学的直観」とよばれるもので，略）

君に送る テレンス・タオの言葉下記
”2 中級 厳格な
　しかし、この中間段階で学生が行き詰まってしまうことがあります。これは、学生が優れた直感をあまりにも多く捨て去り、より直感的な非形式的なレベルではなく、形式的なレベルでしか数学を処理できなくなってしまった場合に起こります。このように行き詰まると、学生の数学論文を読む能力に影響を与える可能性があります”

　>>26 より
数学成熟度 Mathematical maturity https://en.wikipedia.org/wiki/Mathematical_maturity
(google訳)
進歩
数学者テレンス・タオは、数学的成熟度の進行の一般的な枠組みとして解釈できる3段階の数学教育モデルを提唱している。 [ 2 ]各段階は次の表にまとめられている。[ 6 ] [ 7 ]

2 中級 厳格な 上級学部から大学院初期まで

学生はこの段階で数学的形式主義を学びますが、これには通常、形式論理といくらかの数学的論理が含まれます。これは、数学的証明とさまざまな証明技法を学ぶための基礎となります。この段階は、通常、「高等数学への移行」コース、「証明入門」コース、または数学的解析や抽象代数の入門コースで始まります。

それには証明に触れることも含まれます。[ 8 ]この段階で反例に触れることは標準的であり、健全な数学的議論と誤った数学的議論を識別する能力が養われます。

これは、誤解を招く直感を排除し、正確な直感を高めるための重要な段階であり、数学的形式主義はこの段階を助けます

しかし、この中間段階で学生が行き詰まってしまうことがあります。
これは、学生が優れた直感をあまりにも多く捨て去り、
より直感的な非形式的なレベルではなく、
形式的なレベルでしか数学を処理できなくなってしまった場合に起こります。
このように行き詰まると、学生の数学論文を読む能力に影響を与える可能性があります。