#completenesstheorem — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #completenesstheorem, aggregated by home.social.
-
#ChatGPT believed that the completeness theorem states the completeness of the theory of arithmetic.
I wonder who taught her this. I made a suggestion of a better answer; I am curious if she would accept my suggestion for her answers in the future.
#CompletenessTheorem
#IncompletenessTheorems -
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 -
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 -
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