- 38 名前：１３２人目の素数さん mailto:sage [2007/02/18(日) 22:42:45 ]
- >>35
Lowenheim-Skolemの定理（実数論の可算モデルを作ったり出来る）とか、
証明論ならcut除去定理とか、集合論を含めるならCohenのforcingとか。
それにプログラミングが好きならCurry-Howardとかも興味深いだろうし
さらに人によっては自然数論とか「解析」の無矛盾性証明が興味深くて重要かもしれないし。
>>36>>37にだいたい同意。
不完全性定理のインパクトの強さは人による。
完全性定理に匹敵する結果が無いって事はないんじゃないかなあ。
|
 |
