23/07/08 13:09:26.37 5D12U7Zc.net
数学の定理は、論理式で表わせる
論理式の証明とは
「当該論理式の否定が充足不能であると示すこと」
であるから、それ自体は囲碁や将棋のごとき児戯といえなくもない
しかし、囲碁や将棋と違うのは
なんでもいいから適当な論理式を
とにかくやみくもに証明すればいい
というのではないこと
いかなるものを定理とするかは
それ自体センスが必要
またどうやって証明するかも
これまたセンスが必要
やみくもにやればいいってもんじゃない
そういうことが馬鹿な囲碁将棋愛好家には
決して分からぬ点である