チューリング次数
チューリング次数(~じすう、英: Turing degree, degree of unsolvability)は、計算理論及び数理論理学に出現する次数であり、自然数の集合に対して付与され、その集合のアルゴリズム的な複雑さ(非可解性)の度合いを表す。 名称はアラン・チューリングに因む。
チューリング次数(~じすう、英: Turing degree, degree of unsolvability)は、計算理論及び数理論理学に出現する次数であり、自然数の集合に対して付与され、その集合のアルゴリズム的な複雑さ(非可解性)の度合いを表す。 名称はアラン・チューリングに因む。
チューリング次数(~じすう、英: Turing degree, degree of unsolvability)は、計算理論及び数理論理学に出現する次数であり、自然数の集合に対して付与され、その集合のアルゴリズム的な複雑さ(非可解性)の度合いを表す。 名称はアラン・チューリングに因む。
出典: Wikipedia「チューリング次数」 · CC BY-SA 4.0
この記事を共有: X · Bluesky