2012-09-01から1日間の記事一覧

2012年09月01日のツイート

@kururu_goedel: @mr_konn そんなことを言っている人がいるんですか?もっとも完全性定理をきちんと理解したならば、証明可能であることと真偽の関係は掴んでいるはずなので、しっかりとした流れで数理論理学を学んできた人が不完全性定理をやるときには、誤…