2012年09月01日のツイート
@kururu_goedel: @mr_konn そんなことを言っている人がいるんですか？もっとも完全性定理をきちんと理解したならば、証明可能であることと真偽の関係は掴んでいるはずなので、しっかりとした流れで数理論理学を学んできた人が不完全性定理をやるときには、誤読の余地はないとはいえるかもしれませんが。
2012-09-01 16:45:06 via TweetDeck to @mr_konn
@kururu_goedel: @mr_konn そんなことを言っている人がいるんですか？もっとも完全性定理をきちんと理解したならば、証明可能であることと真偽の関係は掴んでいるはずなので、しっかりとした流れで数理論理学を学んできた人が不完全性定理をやるときには、誤読の余地はないとはいえるかもしれませんが。
2012-09-01 16:45:06 via TweetDeck to @mr_konn