裳華房-社名ロゴ 
裳華房のtwitterをフォローする



『証明論と計算量』 カバー
 


購入案内タイトル

ネット書店の購入ページへ
Amazon
楽天ブックス
オムニ7
honto
Knowledge Worker
紀伊國屋書店
ヨドバシ・ドット・コム
TSUTAYA
ローチケHMV
BOOKFAN
e-hon
Honya Club

店頭在庫を確認する
丸善&ジュンク堂書店
紀伊國屋書店
三省堂書店

取り扱い書店一覧





電子メール・アイコン

証明論と計算量
Bounded Arithmetic and Computational Complexity

在庫マーク

イリノイ大学名誉教授 理博 竹内外史 著

A5判/214頁/定価3780円(本体3500円+税8%)/1995年11月発行
ISBN 978-4-7853-1096-7 (旧ISBN 4-7853-1096-0)  C3041

 自然数論の証明論は数学基礎論の中心的問題であったが,弱い自然数論の証明論が計算量の理論と密接な関係にあることが知られている.本書は,証明論と計算量との中間領域についての基本的な事柄を,最近の話題を含めてまとめたものである.限定算術固有の分野には深入りせず,最近の目覚しい話題のFregeシステムについてふれた.


目次 (章タイトル)  → 詳細目次

1.多項式時間で計算できる関数
2.限定算術
3.超数学の形式化と不完全性定理
4.PHPと数え上げ原理

詳細目次

まえがき

1.多項式時間で計算できる関数
 §1 自然数
 §2 多項式時間で計算可能な関数
 §3 Turing machine

2.限定算術
 §1 限定算術の体系
 §2 $S^i_2,T^i_2$ の証明論
 §3 Bussの定理

3.超数学の形式化と不完全性定理
 §1 多項式時間の帰納的定義
  1.1 木の表現
  1.2 $p$ -帰納的定義
 §2 超数学の形式化
 §3 不完全性定理

4.PHPと数え上げ原理
 §1 命題論理体系FとEF
 §2 ${\rm PHP}_n$ と ${\rm Count}^a_n$
 §3 ノンスタンダード・モデルの上の強制法

あとがき
記号表
索引

著作者紹介

竹内 外史
たけうち がいし 
1926年 石川県に生まれる.東京大学理学部卒業.東京大学講師,東京教育大学助教授・教授,イリノイ大学教授などを歴任.主な著書に『現代集合論入門』『層・圏・トポス』(以上 日本評論社),『直観主義的集合論』(紀伊國屋書店)などがある.

(情報は初版刊行時のものから一部修正しています)


この著作者の本
『リー代数と素粒子論』
リー代数と素粒子論


『線形代数と量子力学』
線形代数と量子力学



教科書をお探しの先生方へ


数学
数学:数学基礎論・論理


分野別
シリーズ一覧
書名五十音別
電子書籍
オンデマンド出版書籍


総合図書目録
メールマガジン
東京開業120周年



         

自然科学書出版 裳華房 SHOKABO Co., Ltd.