「論理学」でつながるキーワード
キーワード: 6件
野矢先生による、一般人向けの論理学入門です。中公新書から出ています。 この本は、野矢先生の本の中でも、特に読みやすい部類に入るんじゃないでしょうか。 論理とは、文と文との...
スマリヤンの決定不能の論理パズル
- 2008/06/19
- つながり: 14
- コメント: 0
- カオナシ
原題は、 Forever Undecided: A Puzzle Guide to Gödel レイモンド・M・スマリヤン著の 論理パズル本にして ゲーデルの不完全性定...
シークエント計算(Sequent Calculus)とは、 ドイツの論理学者Gerhard Karl Erich Gentzenが定式化した LK(Logischer K...
オモチャのような論理学をつくることからはじめ 徐々に拡張していきながら 論理学(formal logic)を、 段階を踏んでお勉強できるよう それがどうできているかという...
何やら堅苦しい名前の本ですが、内容はすこぶるおかしく、おもしろい。 この本の内容は、書名からもわかるとおり論理学を説明する本です。ただし、大学の講義で使うような本ではなく...
シリーズ・講座『ゲーデルと20世紀の論理学[全4巻]』
- 2006/07/05
- つながり: 9
- コメント: 0
- カオナシ
ゲーデルの生誕100年にあたる今年2006年を記念して、 20世紀の近代論理学の発展・成果を 取りまとめその歴史的な位置づけを試みようという 全4巻シリーズ。 東京大学出...



![シリーズ・講座『ゲーデルと20世紀の論理学[全4巻]』](http://storage.kanshin.com/free/.s.50x50/img_28/286459/k802739338.jpg)

