帰納的関数
Author(s)
Bibliographic Information
帰納的関数
共立出版, 2024.12
復刊
- Title Transcription
-
キノウテキ カンスウ
Available at / 17 libraries
-
No Libraries matched.
- Remove all filters.
Search this Book/Journal
Note
表現種別: テキスト (ncrcontent), 機器種別: 機器不用 (ncrmedia), キャリア種別: 冊子 (ncrcarrier)
「帰納的関数」(共立出版 1989年刊)の復刊
参考文献: p [209]-211
Description and Table of Contents
Description
数学基礎論の碩学による計算論の名著。ゲーデルの不完全性定理からヒルベルトの第１０問題の否定的解決まで。
Table of Contents
- 第１章 序論
- 第２章 帰納的関数と帰納的述語
- 第３章 不完全性定理
- 第４章 帰納的関数を定義する形式的体系
- 第５章 算術的階層
- 第６章 決定不可能次数
- 第７章 決定問題―ヒルベルトの第１０問題を中心に
by "BOOK database"