- 2008-09-30 (火) 1:27
- books
ゲーム理論とかが専門の某I川先生のところに遊びに行ったら、下の本を薦められたので、メモがてら紹介。
 |
情報科学における論理 (情報数学セミナー) 小野 寛晰 日本評論社 1994-04 |
いわゆる数理論理学の入門書。教科書的な本。先生が院ゼミで結構たいへんだったけどやったと言ってました。結構厳密に書いてあるみたいなので読むのは大変みたいですね。
 |
反事実的条件法 (双書現代哲学 6) (双書現代哲学 6) 吉満 昭宏 勁草書房 2007-12-17 |
著名な哲学者デイヴィド・ルイスの書いた”Counterfactuals”の邦訳。反事実的条件文についての考察等。ぱっと見た感じでも興味深い。読みたい。
 |
数学基礎論入門 (基礎数学シリーズ) 前原 昭二 朝倉書店 2006-04 |
数理論理学の基礎を学びながら、ゲーデルの不完全性定理まで持って行くという趣旨。おもしろそす。
 |
Computability: An Introduction to Recursive Function Theory Nigel Cutland Cambridge University Press 1980-11 |
GEB読んでて、計算可能性とかチューリングマシンとに興味が有ったので聞いてみたら、この本がその手の本で一番わかりやすいんじゃないかとのこと。後でチェックしてみよう。
ってことで、こんなの全部読むのは無理。
Comments:0
Trackback:0
- TrackBack URL for this entry
- http://www.6sese.info/wordpress/archives/741/trackback
- Listed below are links to weblogs that reference
- I川セレクション～論理学とかそこら辺～ from 6sese.memo
