- 738 名前：716 mailto:sage [2011/06/12(日) 09:41:25.67 ]
- 具体物についての「確定しているはずでは？」という考えかも。
Q平行線の存在は証明できるか？
Aできない。平行線公理は独立。
Qでも実際にどうなってるかは確定してるはずでは？
Aそれは物理学の領域。数学的には複数の選択があり得る。
Qアキレスが亀に追いついた時点でランプは点いてるの？消えてるの？
Aどっちとも言えないよ。
Qでも確定してるはずでは？
A追いつくまでの点滅過程をいくら定義しても追いついた時点の状態を規定したことにはならないよ。
↑ここまではわかってるつもりなんだけど、
Q公理を追加していった極大点としてのcomplete theoryなんて存在するの？
A選択公理の弱い奴を必要とするけど、あるよ。
Q「証明」がwell definedな概念なら、証明可能か否かは確定してるはずでは？
A・・・
↑最後の答えとして何が適切なのか、自分でもどんな答えを望んでいるんだかわからなくなってきた。
