不完全性定理

タグを含む動画 : 8

このタグをフォローする

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

ログイン

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

1

関連チャンネル

関連コミュニティ

コミュニティを開設してみませんか?