14/03/21 14:13:54.70
>>670
最初の３つのパラグラフはもともと同意です．
それに，これと同じことは私の方からだって言いたいかもしれない．
どちらにしても，私にとっては本題ではないです．こんなことはどうでもよいです．
>或る定理を理解するにはその定理の証明をきちんと理解することが前提になることがある
「ことがある」ではなく，ほぼつねにそうでしょうね．
ただし，「証明をきちんと理解する」が，証明を（写経するように）追うことで
できるのでは必ずしもない（私の経験ではそれはむしろ下手なやりかた）とは
思います．
> >>643で書いてある独立命題についても、
>重要なのは定理の内容それ自身よりも、寧ろ強制という証明手法だと思う。
>このテクニック自体は集合論以外でも計算可能性理論や証明論などの他分野で応用がある。
これは貴重なコメントです．ちょっと考えてみます．
「定理の内容よりも、強制という証明手法が重要」？
>それじゃ満足しないだろうけどね
そんなことないですよ．