#completenesstheorem — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #completenesstheorem, aggregated by home.social.
-
CW: 『完全性定理の対象となる理論はモデルを持ちますが、逆にモデルを持つ理論で「不」完全性定理の対象となる理論はありますか？』という微妙に屈曲した Quora での質問に答えてみた．
https://jp.quora.com/%E5%AE%8C%E5%85%A8%E6%80%A7%E5%AE%9A%E7%90%86%E3%81%AE%E5%AF%BE%E8%B1%A1%E3%81%A8%E3%81%AA%E3%82%8B%E7%90%86%E8%AB%96%E3%81%AF%E3%83%A2%E3%83%87%E3%83%AB%E3%82%92%E6%8C%81%E3%81%A1%E3%81%BE%E3%81%99%E3%81%8C-/answers/1477743628559767?__filter__=all&__nsrc__=notif_page&__sncid__=35331789036&__snid3__=47423509466
#数学 #数学の基礎づけ #logic #CompletenessTheorem #IncompletenessTheorems