再帰関数の理論に関する調査記事？

回答:

9

優れたリファレンスは、Barwiseが編集した数学ロジックのハンドブックの「パートC」です。パートCには、次の章が含まれます。

  • ハーバート・B・エンダートン、再帰理論の要素
  • マーティン・デイビス、解決できない問題
  • マイケル・O・ラビン、決定論
  • スティーブンG.シンプソン、解決不能の死：結果の調査
  • Richard A. Shore、α alpha-再帰理論
  • Alexander KechrisとYiannis N. Moschovakis、より高い型の再帰
  • Peter Aczel、帰納的定義の紹介
  • ドナルド・A・マーティン、記述集合論

章は非常に高品質で、一流の論理学者によって書かれています。このハンドブックは、数学の論理の世界にあなたをかなり連れて行きます。

— ダイレ
ソース
9

ほとんどの論理/複雑性理論の本には、計算可能性に関する章があります。

教科書：

Dexter Kozen、「Theory of Computation」、Springer、2006

Douglas S. Bridges、「Computability：A Mathematical Sketchbook」、Springer、1994

Nigel Cutland、「Computability、Introduction to Recursive Function Theory」、Cambridge University Press、1980

バリーS.クーパー、「Computability Theory」、Chapman＆Hall / CRC、2004

より高度な本：

ロバートI.ソアレ、「再帰的に列挙可能な集合と次数」、Springer-Verlag、1987

ロバートI.ソアレ、「計算可能性の理論と応用：古典的な計算可能性の芸術」

Piergiorgio Odifreddi、「Classical Recursion Theory」、vol I（1989）＆II（1999）

Edward R. Griffor、「Handbook of Computability Theory」、Elsevier、1999

— カヴェ
ソース
教科書のリストでは、最初の「Computably Enumerable Sets and Degrees」は、リンクしたものとは異なるタイトルフォームを持っています（「Recursively enumerable sets and degree」）。
— MS Dousti 2010年
@Sadeq Dousti：そのとおりです。著者のウェブページからタイトルをコピーしたと思います。
— Kaveh
そこで、出版されたタイトルを反映するように編集しました。PS：「Computability Theory and Applications：The Art of Classical Computability」という本はまだ出版されていませんよね？
— MS Dousti 2010年
@Sadeq：彼は最近、computableに再帰的な単語を使うのを避けたいと思います。ps：そう思いますが、おそらく彼にドラフトバージョンを入手するように頼むことができます。数年前にコースで使用しました。
— Kaveh 2010年
5

私はこれらの本を自由に見つけました。私はKavehによって引用されたそれらの本を含めないようにクロスチェックしましたが、私の目は間違いをしたかもしれません。

— MSドゥスティ
ソース
@カベ：ありがとう。私は眼鏡が必要だと思います:)
— MS Dousti 2010年
弊社のサイトを使用することにより、あなたは弊社のクッキーポリシーおよびプライバシーポリシーを読み、理解したものとみなされます。
Licensed under cc by-sa 3.0 with attribution required.