エントリーの編集
![loading...](https://b.st-hatena.com/bdefb8944296a0957e54cebcfefc25c4dcff9f5f/images/v4/public/common/loading@2x.gif)
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
記事へのコメント1件
- 注目コメント
- 新着コメント
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
![アプリのスクリーンショット](https://b.st-hatena.com/bdefb8944296a0957e54cebcfefc25c4dcff9f5f/images/v4/public/entry/app-screenshot.png)
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
再帰理論史<2> --再帰理論的エルランゲン・プログラム-- - とりマセ
数学基礎論の一分野として誕生した再帰理論。この分野は一体どのように発展してきたのでしょうか。 193... 数学基礎論の一分野として誕生した再帰理論。この分野は一体どのように発展してきたのでしょうか。 1930年代〜1950年代の研究の流れは前回の記事を参照してください。 再帰理論 --ゲーデルの不完全性定理以後--(1930〜50年代) - とりマセ というわけで、今回は、再帰理論の1960年代以降の歴史です!しかし、どんな数学理論も、時代を経るにつれ細分化してゆき、その研究の流れを直線的に解説するのは困難になります。再帰理論だって、その例外ではありませんでした。このため、1960年代以降は幾つかのトピックに分けて、その中での歴史を紹介していこうと思います。 エミール・ポストの問題を中心として大きな発展を遂げた次数の研究。再帰理論における次数の研究は、エミール・ポストの死後、何処へと向かっていったのでしょう。そのうちの一つが、「再帰理論的エルランゲン・プログラム」こと という構造の不変量の研究
2009/06/12 リンク