>>188
大雑把すぎるね。
命題証明は何もプログラミングだけに限られたことじゃないし。
ベートーベンの音楽は物理学そのものだ、
と言った物理学者がいるけど、まあそれと同じような感じ。
比喩に近い。