- 在庫状況:在庫あり(1〜2日で出荷)
- スマリヤン数理論理学講義 上巻
-
不完全性定理の理解のために
Lectures on Mathematical Logic For Understanding the Incompleteness Theorems- 価格
- 4,400円(本体4,000円+税)
- 発行年月
- 2017年09月
- 判型
- A5
- ISBN
- 9784535787728
この商品をご覧のお客様は、こんな商品もチェックしています。
- スマリヤン数理論理学講義 下巻
-
価格:4,180円(本体3,800円+税)
【2018年09月発売】
- スマリヤン先生のブール代数入門
-
価格:2,750円(本体2,500円+税)
【2008年08月発売】
- スマリヤンのゲーデル・パズル
-
価格:2,640円(本体2,400円+税)
【2014年11月発売】
- アラビアン・ナイトのチェスミステリー
-
価格:2,750円(本体2,500円+税)
【2019年10月発売】
- Aha!ひらめきの幾何学
-
価格:3,850円(本体3,500円+税)
【2016年08月発売】
[BOOKデータベースより]
スマリヤン論理学の集大成・決定版。数学者レイモンド・M.スマリヤン(1919‐2017)。明快さと機知に富む多くの著作で知られる。その最後の著作となった、数理論理学(数学基礎論)の入門書。得意のパズルも交えた独特の筆致で読者を数理論理学の深い理解へと誘います。
第1部 一般的な予備知識(数理論理学の起源;無限集合;問題発生!;数学の基礎知識)
第2部 命題論理(命題論理事始め;命題論理のタブロー;公理論的命題論理)
第3部 一階述語論理(一階述語論理事始め;重要な結果)
第4部 体系の不完全性(一般的状況での不完全性;一階算術;形式体系;ペアノ算術;進んだ話題)