「honto 本の通販ストア」サービス終了及び外部通販ストア連携開始のお知らせ
詳細はこちらをご確認ください。
このセットに含まれる商品
前へ戻る
- 対象はありません
次に進む
商品説明
1.多項式時間で計算できる関数 2.限定算術 3.超数字の形式化と不完全性定理 4.PHPと数え上げ原理【「TRC MARC」の商品解説】
自然数論の証明論は数学基礎論の中心的問題であったが、弱い自然数論の証明論が計算量の理論と密接な関係にあることが知られている。本書は、証明論と計算量との中間領域についての基本的な事柄を、最近の話題を含めてまとめたものである。限定算術固有の分野には深入りせず、最近の目覚しい話題のFregeシステムについてふれた。【商品解説】
目次
- 1.多項式時間で計算できる関数
- §1 自然数
- §2 多項式時間で計算可能な関数
- §3 Turing machine
- 2.限定算術
- §1 限定算術の体系
- §2 Si2,Ti2 の証明論
- §3 Bussの定理
著者紹介
竹内 外史
- 略歴
- イリノイ大学名誉教授、理学博士。1926年 石川県に生まれる。東京大学理学部卒業。東京大学講師、東京教育大学助教授・教授、イリノイ大学教授などを歴任。主な著書に『リー代数と素粒子論』『線形代数と量子力学』(以上 裳華房)、『現代集合論入門』『層・圏・トポス』(以上 日本評論社)、『直観主義的集合論』(紀伊國屋書店)などがある。
関連キーワード
あわせて読みたい本
この商品に興味のある人は、こんな商品にも興味があります。
前へ戻る
- 対象はありません
次に進む
この著者・アーティストの他の商品
前へ戻る
- 対象はありません
次に進む