「honto 本の通販ストア」サービス終了及び外部通販ストア連携開始のお知らせ
詳細はこちらをご確認ください。
- みんなの評価
- あなたの評価 評価して"My本棚"に追加 評価ありがとうございます。×
- カテゴリ:大学生・院生
- 取扱開始日:2012/03/29
- 出版社: 講談社
- サイズ:21cm/161p
- 利用対象:大学生・院生
- ISBN:978-4-06-156506-7
読割 50
紙の本
今度こそわかるゲーデル不完全性定理
著者 本橋 信義 (著)
ゲーデルの不完全性定理を、普通の言語から形式言語にいたる形式化の過程の中で説明。形式化の過程で変化する不完全性の意味について、新しい論理学の紹介をしながら、新たな切り口で...
今度こそわかるゲーデル不完全性定理
今度こそわかるゲーデル不完全性定理
ワンステップ購入とは ワンステップ購入とは
このセットに含まれる商品
前へ戻る
- 対象はありません
次に進む
商品説明
ゲーデルの不完全性定理を、普通の言語から形式言語にいたる形式化の過程の中で説明。形式化の過程で変化する不完全性の意味について、新しい論理学の紹介をしながら、新たな切り口でわかりやすく解説する。【「TRC MARC」の商品解説】
目次
- 第1章 自然言語
- 1.1 視点
- 1.2 言葉の範囲
- 1.3 項を作る規則と文を作る規則
- 1.4 閉文と命題
- 1.5 理論
- 第2章 理論の完全性とわかりやすさ
- 2.1 完全性
- 2.2 わかりやすさ
- 2.3 完全性定理と不完全性定理
著者紹介
本橋 信義
- 略歴
- 〈本橋信義〉1943年東京都生まれ。東京大学大学院理学系研究科修士課程数学専攻修了。筑波大学名誉教授。理学博士。著書に「現代論理学入門」「情報時代の論理」「新しい論理序説」など。
関連キーワード
あわせて読みたい本
前へ戻る
- 対象はありません
次に進む
この著者・アーティストの他の商品
前へ戻る
- 対象はありません
次に進む