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