今度こそわかるゲーデル不完全性定理

コンドコソワカルゲーデルフカンゼンセイテイリ
  • 電子あり
今度こそわかるゲーデル不完全性定理
自分メモ
気になった本やコミックの情報を自分に送れます

内容紹介

ゲーデルは、何を証明しようとしたのか? 不完全性定理を初学者が一歩ずつ着実に理解できるように、平易な言葉遣いで説明。初学者がつまずくところを熟知した著者が丁寧に解説した。この難解な定理を、「ふつうの言葉」で説き明かす!


ゲーデルは、何を証明しようとしたのか? 数理論理学を初学者に教えれば右に出る者のない著者が、わかりやすい言葉遣いで説く。初学者が不完全性定理を一歩ずつ着実に理解できるように心がけた、新しい入門書。

目次

  • 第1章 自然言語
  • 第2章 理論の完全性とわかりやすさ
  • 第3章 表現可能性
  • 第4章 初等自然数言語の不完全性定理の証明
  • 第5章 古典的理論と現代的理論
  • 第6章 形式化
  • 第7章 完全性
  • 第8章 ゲーデルの不完全性定理
  • 第9章 ゲーデルの第2不完全性定理
  • 第10章 新しい論理学

製品情報

製品名 今度こそわかるゲーデル不完全性定理
著者名 著:本橋 信義
発売日 2012年03月10日
価格 定価:2,970円(本体2,700円)
ISBN 978-4-06-156506-7
判型 A5
ページ数 176ページ
シリーズ 今度こそわかるシリーズ

書店在庫を見る

オンライン書店で見る