数理論理学の三大基本定理を扱う順番
学生向けレクチャーの計画の再検討が必要かと弱気になってきたので、手許の教科書を調べてみました。
Logic and Structure (Universitext)
- 作者: Dirk van Dalen
- 出版社/メーカー: Springer
- 発売日: 2011/10/30
- メディア: ペーパーバック
- 購入: 1人 クリック: 20回
- この商品を含むブログ (2件) を見る
- 作者: 鹿島亮
- 出版社/メーカー: 朝倉書店
- 発売日: 2009/10/01
- メディア: 単行本
- 購入: 11人 クリック: 367回
- この商品を含むブログ (5件) を見る
- 作者: 新井敏康
- 出版社/メーカー: 岩波書店
- 発売日: 2011/05/19
- メディア: 単行本
- 購入: 4人 クリック: 340回
- この商品を含むブログ (10件) を見る
やっぱり、完全性定理からが定番ということで、予定通り完全性定理からでいいかな?