Lisp Scheme Part19
at TECH
30:デフォルトの名無しさん
08/01/14 22:42:30
>>29
∞のﾊｽﾞだと思ったがよく考えてみると、ゲーデルによって再帰的なラムダ計算の無矛盾性はその論理の範疇では証明できないことが示されている（不完全性定理）ので、
結論としては判らないということになるｗ
次ページ続きを表示1を表示最新レス表示スレッドの検索類似スレ一覧話題のニュースおまかせリスト▼オプションを表示暇つぶし2ch
5369日前に更新/210 KB
担当:undef