KNOWLEDGE WORKER ナレッジワーカー



丸善のおすすめ度

帰納的関数 復刊

廣瀬 健  著

在庫状況 お取り寄せ  お届け予定日 1週間 
価格 \6,380(税込)         
発行年月 2024年12月
出版社/提供元
共立出版
言語 日本語
媒体 冊子
ページ数/巻数 6p,214p
大きさ 22cm
ジャンル 和書/理工学/数学/数学一般・その他
ISBN 9784320115729
商品コード 1039578846
NDC分類 410.9
基本件名 帰納的関数
本の性格 学術書
新刊案内掲載月 2025年01月2週
商品URLhttps://kw.maruzen.co.jp/ims/itemDetail.html?itmCd=1039578846

内容

帰納的関数や帰納的述語の概念は、1930年代に、ゲーデルの不完全性定理における算術化の手法や古来からある決定手続き、あるいは計算可能関数についての思考実験など、いわゆる“アルゴリズム”の概念と関わって登場した。そして、帰納的関数の理論は、数学や情報科学におけるさまざまな理論と、きわめて多くの接点をもった分野である。本書は、帰納的関数の理論の本格的な入門書である。
まず、帰納的関数の数学基礎論における立場について述べる。次に、帰納的関数と帰納的述語の基本的性質を示し、後に用いられる具体的な帰納的関数や帰納的述語をあげる。そして、ゲーデルの原論文に沿った形で不完全性定理の証明と解説を行う。さらに、ある形式的体系を定義し、その体系で形式的に計算可能な関数のクラスを定める。その後で、算術的階層の様子を調べ、また“決定不可能次数の理論”について基本的結果を紹介する。そして最後に、決定問題についての概略を説明し、“ヒルベルトの第10問題”について、その否定的解決に至るまでの歴史的経緯を詳しく解説する。
『共立講座 現代の数学3 帰納的関数』として1989年初版発行後、以来、長年にわたり多数の読者にご愛読いただいてまいりました。この度、多くの読者からの要望を受け単行本に改装し発行するものです。

目次