bookfan 1号店 楽天市場店
3,850 円
（税抜き）
著者竹内外史(共著) 八杉満利子(共著)出版社共立出版発売日2010年06月ISBN9784320019355ページ数191Pキーワードしようめいろんにゆうもん シヨウメイロンニユウモン たけうち がいし やすぎ まり タケウチ ガイシ ヤスギ マリ9784320019355内容紹介還元法による証明論という数学基礎論の一分野への導入という一貫した姿勢で、従来の論理関係の教科書に見られない内容を扱って初歩から解説。『証明論入門（数学基礎論 改題）』として1988年に改題発行後、以来、長年にわたり多数の読者にご愛読いただいてまいりました。この度、多くの読者からの要望を受け再発行するものです。
※本データはこの商品が発売された時点の情報です。目次第1章 証明の形式化（命題の形式化/証明の形式化、LKについて ほか）/第2章 自然数論の無矛盾性の証明（自然数論の公理系/無矛盾性の証明の準備 ほか）/第3章 自然数論の無矛盾性：G¨odelの考察（自然数論の、直観主義的自然数論（HA）への翻訳/計算可能なfunctional ほか）/第4章 二階論理（二階論理の意味と問題/二階論理の基礎 ほか）/第5章 最近の話題（序論、第1章、第2章についての追加/哲学と数学基礎論）
この商品の詳細を調べる
-
本・雑誌・コミック
»
科学・医学・技術
» 数学
-