Product Details
ISBN/Catalogue Number
:
ISBN 13 : 9784320115729
ISBN 10 : 4320115724
ISBN 10 : 4320115724
Format
:
Books
Release Date
:
December/2024
Content Description
数学基礎論の碩学による計算論の名著。ゲーデルの不完全性定理からヒルベルトの第10問題の否定的解決まで。
目次 : 第1章 序論/ 第2章 帰納的関数と帰納的述語/ 第3章 不完全性定理/ 第4章 帰納的関数を定義する形式的体系/ 第5章 算術的階層/ 第6章 決定不可能次数/ 第7章 決定問題―ヒルベルトの第10問題を中心に
【著者紹介】
広瀬健 : 1963年立教大学大学院理学研究科修士課程修了。元早稲田大学教授・理学博士。専攻:数学、情報科学(本データはこの書籍が刊行された当時に掲載されていたものです)
(「BOOK」データベースより)
Customer Reviews
Recommend Items
Feedback
Missing or incorrect information?
Product information of this page .
