>>291
やはり数学で扱うべきだと思うなぁ。数学って結構異質な物を扱っている
と思うよ。要するに数学のキモは、物事を抽象化して考え、それを一般的
に扱うこと。アルゴリズム的なことも互除法を含め紀元前からあるのだか
らねぇ。
数学基礎論の問題意識って、無矛盾性の追求ってコト？で、無限集合を縦
横無尽に扱うから、コンピュータ的アプローチとは相容れないとか？？
数学って、別にそれにこだわる学問じゃないとおもうけどね。

で、ここでの論議は大学教育などではなく、「高校」の話だよね。

とりあえず、中学校高校でやるような有限の立場での「証明」や「算法」
「計算」ってのは、もろにアルゴリズム的だな。２次方程式の解法を含め
手続き的表現は、しょっちゅう出てくるだろ。