• キーワード
• タグ
• マイリスト

不完全性定理

タグを含む動画 ： 1件

このタグをフォローする

ログインするとこのタグをフォローできます

キャンセル ログイン

ニコニ広告でこのタグを応援する

• ツイート

不完全性定理とは、ゲーデルが1931年に発表した定理である。 概要 この定理には 第一「再帰的で(ω)無矛盾な自然数論を充分に表現できる形式系は完全ではない.」 第二「再帰的で無矛盾な自然数論を充分に...続きを読む

関連タグ

不完全性定理 を含むタグ一覧

• 不完全性定理
• ゲーデルの不完全性定理