再帰理論という単語を聞いた事ありますか？
再帰理論（英: Recursion theory）とは、数理論理学の一分野で、1930年代の計算可能関数とチューリング次数の研究が源となっている。計算可能性や定義可能性全般を対象として成長してきた理論である。証明理論などとも密接に関係する。
再帰理論の根本的疑問は「自然数から自然数への関数が計算可能であるとはどういう意味か?」と、「計算不能関数は、その計算不能性のレベルに基づいて階層分けできるか?」である。これらの疑問への答えを探す過程で、様々な理論が生まれてきた。
再帰理論には、相対計算可能性、還元性記法、次数構造などの研究が含まれる。これらは、計算機科学における計算可能性理論の研究分野である計算複雑性理論、形式手法、形式言語などの理論と対照的である。これらの研究分野には重なる部分も多々あり、境界は定かではない。
【ウィキペディアWikipediaより引用】
どんな知識でも貪欲に知ろうとすることは非常に大切です。
相模原 デリヘル 立川デリバリーヘルス デリヘル東京 デリバリーヘルス デリヘルホームページ作成 風俗ホームページ作成 渋谷賃貸 渋谷エステ アリバイ会社