wo8r訳
微積分学を、完全に形式主義的な数学理論として発展させるためには、
実数系の公理だけでなく、さまざまな「証明法」（実数系の公理を使って、ある定理を導くことのできる方法）もすべて列挙してみせる必要がある。
さらに、理論の中で使われる表現は、すべて
「確立された法則」、すなわち、公理、定義、あるいは、既に証明されている定理、
あるいは、受けいれられる証明法のひとつを、確立された法則に適応したものでなくてはならない。
略
幸運なことに、
必ずしもこのプログラムの通りに進めなければならないわけではない。そうしなくても、微積分学は十分理解できるし、実際に十分役立つ微積分の知識を身につけることは可能だ。
この本では、
問題は、わかりやすい言葉で紹介したし、その気になればいつでも、図形的な見方ができるようにした。
同時に、主張を展開していくときには、思考の精密性と明晰性が現代の基準と矛盾しないようにした。
略
思考の流れそのものを止めるのを避けるために、一部の証明は、アステリスクのついた、別のセクションでおこなった。アステリスクのセクションを読む、あるいは、飛ばすという判断は､読者の基礎学力と技能次第だし、また、読者の関心の深さにもよるだろう。
略
- 関連記事
-
-
2014年1月の日程
2014/01/06
-
wo8r訳
2013/12/30
-
訂正！「冬演習：申込用紙」
2013/12/12
-
