帰納的関数
著者
書誌事項
帰納的関数
共立出版, 2024.12
復刊
- タイトル読み
-
キノウテキ カンスウ
大学図書館所蔵 件 / 全23件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
表現種別: テキスト (ncrcontent), 機器種別: 機器不用 (ncrmedia), キャリア種別: 冊子 (ncrcarrier)
「帰納的関数」(共立出版 1989年刊)の復刊
参考文献: p [209]-211
内容説明・目次
内容説明
数学基礎論の碩学による計算論の名著。ゲーデルの不完全性定理からヒルベルトの第１０問題の否定的解決まで。
目次
- 第１章 序論
- 第２章 帰納的関数と帰納的述語
- 第３章 不完全性定理
- 第４章 帰納的関数を定義する形式的体系
- 第５章 算術的階層
- 第６章 決定不可能次数
- 第７章 決定問題―ヒルベルトの第１０問題を中心に
「BOOKデータベース」 より
