15/05/06 05:35:03.14 SXg2oFIb.net
>>322 つづき
小平 邦彦 「数学に王道なし」P17
”定理の理解を深めるには別証明を考えてみるのが有効である”
”別証明は定理が述べる数学的現象のメカニズムの別な見方を示すからである”
と
実数が非加算であることの小平流別証明をP18-20に書いている
それで、実数の加算部分が極めて小さい部分を占めているに過ぎないことが分かるという
自分なりに解説すると、P17からのカントール流の証明は背理法による。
背理法は、おうおう数学的現象のメカニズムが見えない場合がある
小平流別証明は、背理法を使わない証明を考えたので、これが見える形の証明になったのだろう
話をガロア理論に戻すと、ガロア理論は基本背理法ではないから、数学的現象のメカニズムが見える