翻訳と辞書 Words near each other ・ 単純脂質 ・ 単純色 ・ 単純芳香族化合物 ・ 単純茎頂 ・ 単純計算 ・ 単純連結 ・ 単純酩酊 ・ 単純閉曲線 ・ 単純閉路 ・ 単純閾 ・ 単純集合 ・ 単純零点 ・ 単純電力解析 ・ 単純骨折 ・ 単純黒子 ・ 単級 ・ 単細胞 ・ 単細胞クローン ・ 単細胞タンパク質 ・ 単細胞培養 Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク 単純集合 ： ウィキペディア日本語版 単純集合[たんじゅんしゅうごう] 単純集合（たんじゅんしゅうごう、英：simple set）とは、数理論理学における再帰理論で扱われるある種の集合。帰納的可算だが帰納的ではない集合の例。 == ポストの問題との関係 == 単純集合はエミール・ポストによってチューリング完全でなく再帰的でもない帰納的可算集合の研究の中で考案された。そのような集合が存在するかどうかはポストの問題として知られる。ポストはこの問題の解答のために2つの事を証明する必要があった。ひとつは、単純集合は空集合にチューリング還元できないということである。いまひとつは、停止問題は単純集合にチューリング還元できないということである。彼が成功したのは前者であり（これは定義より明白）、後者は多対一還元についてのみ遂げられた。 このような集合が存在することはフリードバーグとムチニクにより1950年に独立に証明された。そこでは優先法と呼ばれる手法が用いられた。彼らは単純だが停止性問題を還元できない集合の構成を与えた。〔Nies (2009) p.35〕 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「単純集合」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.