elmikamino https://blog.hatena.ne.jp/elmikamino/ 記憶の彼方へ https://elmikamino.hatenablog.jp/ 論理学入門 今回のタイトルは『入門！論理学』第５章最終節の見出しに使われている言葉です（p.188）。ゲーデルの不完全定理については今回最後に簡単に触れますが、私たちがこれまで見てきた論理学の「輪郭」を論理学と隣り合わせの数学の世界の光の下に一瞬垣間見ることになります。野矢茂樹さんは次のように書いています（pp.190-192）。 数学の公理系はどうしたって不完全でしかありえない。 （中略） これは本当に驚くべき定理で、いろんなひとがこの定理をいろんなふうに解釈しています。なかには、「ゲーデルの不完全性定理は人間の知性の限界を示した」なんて大言壮語するひともいますが、私はこの意見には賛成しません。ゲーデル… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Felmikamino.hatenablog.jp%2Fentry%2F20070531%2F1180588528" title="論理学入門2007　第７回　遠くにゲーデルの不完全性定理が見える - 記憶の彼方へ" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2007-05-31 14:15:28 rich https://elmikamino.hatenablog.jp/entry/20070531/1180588528 1.0 100%