内容説明
帰納的関数や帰納的述語の概念は、いわゆる“アルゴリズム”の概念と関わって登場した。そして現在、帰納的手続きは、アルゴリズムの数学的定義とされている概念である。この意味で、帰納的関数の理論は、数学や情報科学におけるさまざまな理論と、きわめて多くの接点をもった分野である。本書では、以上の状況を勘考して、本格的な入門書であると同時に、なるべく多くの分野の方々にとって読みやすいような解説を心がけ、また構成に注意をはらった。
目次
第１章 序論
第２章 帰納的関数と帰納的述語
第３章 不完全性定理
第４章 帰納的関数を定義する形式的体系
第５章 算術的階層
第６章 決定不可能次数
第７章 決定問題―ヒルベルトの第１０問題を中心に
