「メタ数学」でつながるキーワード
キーワード: 2件
原題は、 The Unknowable こことかにあるような (講義)内容が書かれていて、 LISPでメタ数学してます。 より深く理解するには 姉妹本に当たる数学の限界が...
スマリヤンの決定不能の論理パズル
- 2008/06/19
- つながり: 15
- コメント: 0
- カオナシ
原題は、 Forever Undecided: A Puzzle Guide to Gödel レイモンド・Ｍ・スマリヤン著の 論理パズル本にして ゲーデルの不完全性定...
