不完全性定理とはなにか 完全版 ゲーデルとチューリング天才はなにを証明したのか
概要
ゲーデルとチューリングは不完全性定理を全く別の視点から証明した。この天才たちの思考の軌跡を、集合論、ロジックとその過程を考えながら読み解いていく。
こんにちは ゲスト様
- 検索機能で欲しかった書籍を
- 書籍・雑誌検索
- アカデミック版などお得に
- ソフトウェア
- 記念品やお土産に最適
- 岡山大学オリジナルグッズ
- お得で旬な商品をご紹介
- メールニュース掲載商品
- 大学生協の医療書専門店
- IKEI メディカルブックストア