- halfcatyukata
- 2716
- 0
- 0
- 0
鳥籠
@cage1729
「ある命題を証明できるモデルがある」ということを示すために、実際にモデルを作ったんだけど「このモデルでは証明できない」らしいということが分かった。そのモデルを構築するのに俺がどんだけ苦労したと思ってるんだ、コノヤロー!!
2012-12-09 17:09:25
鳥籠
@cage1729
@horinzu224 上手く説明できないけど、そんな感じ。「証明できない」ことを厳密に証明できたわけじゃないけど。「もうどうやっても無理だろ」って感じになってる。今から別のモデルを作る時間もないから、そのセクションを削るしかない状態。
2012-12-09 17:18:58
鳥籠
@cage1729
@halfcatyukata とある公理を満たすモデルでないとダメで、その公理を満たし、なおかつ、ある命題を証明できるモデルを作りたい。結構、作るのは大変。
2012-12-09 17:37:16