帰納的関数

著者

• 広瀬, 健 ヒロセ, ケン

書誌事項

帰納的関数

廣瀬健著

共立出版, 2024.12

復刊

タイトル読み

キノウテキ カンスウ

注記

表現種別: テキスト (ncrcontent), 機器種別: 機器不用 (ncrmedia), キャリア種別: 冊子 (ncrcarrier)

「帰納的関数」(共立出版 1989年刊)の復刊

参考文献: p [209]-211

内容説明・目次

内容説明

数学基礎論の碩学による計算論の名著。ゲーデルの不完全性定理からヒルベルトの第１０問題の否定的解決まで。

目次

• 第１章　序論
• 第２章　帰納的関数と帰納的述語
• 第３章　不完全性定理
• 第４章　帰納的関数を定義する形式的体系
• 第５章　算術的階層
• 第６章　決定不可能次数
• 第７章　決定問題―ヒルベルトの第１０問題を中心に

「BOOKデータベース」 より

• NII書誌ID(NCID): BD09722291
• ISBN:
  • 9784320115729
• 出版国コード: ja
• タイトル言語コード: jpn
• 本文言語コード: jpn
• 出版地: 東京
• ページ数/冊数: 6, 214p
• 大きさ: 22cm
• 分類:
  • NDC9 : 410.9
  • NDC10 : 410.9
  • NDLC : MA41
• 件名:
  • BSH : 帰納的関数
  • NDLSH : 帰納的関数