| http://dbpedia.org/ontology/abstract
|
Em ciência da computação e lógica matemáti … Em ciência da computação e lógica matemática o grau de Turing ou grau de insolubilidade de um conjunto de números naturais mede o nível de insolubilidade algorítmica do conjunto. O conceito de grau de Turing é fundamental na teoria da computabilidade, onde conjuntos de números naturais são frequentemente considerados como , o grau de Turing de um conjunto diz o quão difícil é resolver o problema de decisão associado com o conjunto. Dois conjuntos são Turing equivalentes, se tiverem o mesmo nível de insolubilidade; cada grau de Turing é uma coleção de conjuntos Turing equivalentes, de modo que dois conjuntos estão em graus de Turing diferentes exatamente quando não são Turing equivalentes. Além disso, os graus de Turing são parcialmente ordenada de modo que, se o grau de Turing de um conjunto “X” é menor que o grau de Turing de um conjunto “Y”, então qualquer procedimento (computável) que correctamente decide se os números estão em “Y” pode ser convertido de maneira eficaz a um procedimento que corretamente decide se os números estão em “X”. É neste sentido que o grau de Turing de um conjunto corresponde ao seu nível de insolubilidade algorítmica. Os graus de Turing foram introduzidas por (1944), e muitos resultados fundamentais foram estabelecidos por Stephen Cole Kleene e Post (1954). Os graus de Turing têm sido uma área de intensa pesquisa desde então. Muitas provas na área fazem uso de uma técnica de prova conhecida como o método da prioridade.ova conhecida como o método da prioridade.
, チューリング次数（～じすう、英: Turing degree, degree of … チューリング次数（～じすう、英: Turing degree, degree of unsolvability）は、計算理論及び数理論理学に出現する次数であり、自然数の集合に対して付与され、その集合のアルゴリズム的な複雑さ（非可解性）の度合いを表す。名称はアラン・チューリングに因む。チューリング次数の概念は再帰理論と計算可能性理論において基本的である。これらの分野では、自然数の集合はそのまま決定問題の集合だと看做されることが多い。ある集合に付与されたチューリング次数は、その集合に関連付けられた決定問題を解くことがどの程度難しいかを示す。 任意の二つの集合間で非可解性の度合いが同等であるとき、それらはチューリング同値であると言う。個々のチューリング次数は、チューリング同値であるような一群の集合に対応する。二つの集合が相異なるチューリング次数に属するのは、正にそれらがチューリング同値では無い場合である。更に、チューリング次数は半順序を成すので、集合 のチューリング次数が集合 のチューリング次数よりも小さいならば、ある数が に含まれるかを正しく判定するあらゆる（計算不可能なものも含む）手続きは、ある数が に含まれるかを正しく判定する手続きに変換することができる。任意の集合のチューリング次数はこのような意味でその集合のアルゴリズム的な非可解性の度合いに対応する。 チューリング次数はエミール・ポスト(1944)によって導入され、多くの基本的な結果はスティーヴン・コール・クリーネとポスト(1954)によって確立された。それ以来、チューリング次数は主要な研究分野の一つとなっている。関連する証明では優先度法と呼ばれる技法がよく使われる。な研究分野の一つとなっている。関連する証明では優先度法と呼ばれる技法がよく使われる。
, 不可解度，或图灵度（Turing degree），是数学逻辑的名词，尤其应用在可计算性理论中。
, In computer science and mathematical logic the Turing degree (named after Alan Turing) or degree of unsolvability of a set of natural numbers measures the level of algorithmic unsolvability of the set.
, В інформатиці та математичній логіці Степінь Тюрінга (названа на честь Алана Тюрінга) або степінь нерозв'язності множини натуральних чисел вимірює рівень алгоритмічної нерозв'язності множини.
, In der Berechenbarkeitstheorie und der mat … In der Berechenbarkeitstheorie und der mathematischen Logik misst der Turinggrad (auch Grad der Unlösbarkeit) einer Menge natürlicher Zahlen die algorithmische Unlösbarkeit der Menge. Das Konzept des Turinggrades ist fundamental in der Berechenbarkeitstheorie, wo Mengen natürlicher Zahlen oft als Entscheidungsprobleme angesehen werden; der Turinggrad einer Menge gibt an, wie schwer das Entscheidungsproblem für die Menge ist. Zwei Mengen sind Turing-äquivalent, wenn sie den gleichen Grad der Unlösbarkeit haben; jeder Turinggrad ist eine Menge Turing-äquivalenter Mengen, sodass zwei Mengen genau dann in unterschiedlichen Turinggraden liegen, wenn sie nicht Turing-äquivalent sind. Außerdem sind die Turinggrade im folgenden Sinne partiell geordnet: Wenn der Turinggrad einer Menge kleiner als der Turinggrad einer Menge ist, dann kann jede (unberechenbare) Prozedur, die korrekt entscheidet, ob Zahlen in liegen, berechenbar in eine Prozedur umgewandelt werden, die korrekt entscheidet, ob Zahlen in liegen. In diesem Sinne korrespondiert der Turinggrad einer Menge mit dem Grad ihrer algorithmischen Unlösbarkeit. Die Turinggrade wurden 1944 von Emil Leon Post eingeführt, und viele grundlegende Resultate wurden 1954 von Stephen Cole Kleene und Post bewiesen. Die Turinggrade sind bis heute Gegenstand intensiver Forschung. Viele Beweise in diesem Gebiet benutzen eine Beweistechnik, die als Prioritätsmethode bekannt ist.ik, die als Prioritätsmethode bekannt ist.
, En informatique et en logique mathématique, le degré de Turing (nommé d'après Alan Turing) ou le degré d'insolubilité d'un ensemble d'entiers naturels mesure le niveau d'insolubilité algorithmique de l'ensemble.
|
| http://dbpedia.org/ontology/thumbnail
|
http://commons.wikimedia.org/wiki/Special:FilePath/Rehasse.png?width=300 +
|
| http://dbpedia.org/ontology/wikiPageExternalLink
|
https://archive.org/details/classicalrecursi0000odif +
, http://www.cs.umb.edu/~fejer/articles/History_of_Degrees.pdf +
|
| http://dbpedia.org/ontology/wikiPageID
|
764405
|
| http://dbpedia.org/ontology/wikiPageLength
|
20868
|
| http://dbpedia.org/ontology/wikiPageRevisionID
|
1116016105
|
| http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/Dense_order +
, http://dbpedia.org/resource/Recursively_enumerable_set +
, http://dbpedia.org/resource/Distributive_lattice +
, http://dbpedia.org/resource/Join_%28mathematics%29 +
, http://dbpedia.org/resource/Equivalence_class +
, http://dbpedia.org/resource/Join-semilattice +
, http://dbpedia.org/resource/Equivalence_relation +
, http://dbpedia.org/resource/Axiom_of_constructibility +
, http://dbpedia.org/resource/Boolean_algebra +
, http://dbpedia.org/resource/Natural_number +
, http://dbpedia.org/resource/Low_%28computability%29 +
, http://dbpedia.org/resource/Richard_M._Friedberg +
, http://dbpedia.org/resource/Category:Alan_Turing +
, http://dbpedia.org/resource/Computability_theory +
, http://dbpedia.org/resource/Emil_Leon_Post +
, http://dbpedia.org/resource/Category:Computability_theory +
, http://dbpedia.org/resource/Post%27s_theorem +
, http://dbpedia.org/resource/Oracle_Turing_machine +
, http://dbpedia.org/resource/Simple_set +
, http://dbpedia.org/resource/Turing_reducible +
, http://dbpedia.org/resource/Countably_infinite +
, http://dbpedia.org/resource/File:Rehasse.png +
, http://dbpedia.org/resource/Bulletin_of_the_American_Mathematical_Society +
, http://dbpedia.org/resource/Countable_set +
, http://dbpedia.org/resource/First-order_theory +
, http://dbpedia.org/resource/Category:Theory_of_computation +
, http://dbpedia.org/resource/Leo_Harrington +
, http://dbpedia.org/resource/Turing_jump +
, http://dbpedia.org/resource/Gerald_Sacks +
, http://dbpedia.org/resource/Friedberg%E2%80%93Muchnik_theorem +
, http://dbpedia.org/resource/Advances_in_Mathematics +
, http://dbpedia.org/resource/Emil_Post +
, http://dbpedia.org/resource/Albert_Muchnik +
, http://dbpedia.org/resource/Lattice_%28order%29 +
, http://dbpedia.org/resource/Steve_Simpson_%28mathematician%29 +
, http://dbpedia.org/resource/Many-one_reduction +
, http://dbpedia.org/resource/Robert_I._Soare +
, http://dbpedia.org/resource/Atom_%28order_theory%29 +
, http://dbpedia.org/resource/Infimum_and_supremum +
, http://dbpedia.org/resource/Annals_of_Mathematics +
, http://dbpedia.org/resource/Martin_measure +
, http://dbpedia.org/resource/Stephen_Cole_Kleene +
, http://dbpedia.org/resource/Halting_problem +
, http://dbpedia.org/resource/True_arithmetic +
, http://dbpedia.org/resource/Alan_Turing +
, http://dbpedia.org/resource/Mathematical_logic +
, http://dbpedia.org/resource/Joseph_R._Shoenfield +
, http://dbpedia.org/resource/Computer_science +
, http://dbpedia.org/resource/Theodore_Slaman +
, http://dbpedia.org/resource/Partial_order +
, http://dbpedia.org/resource/Arithmetical_hierarchy +
, http://dbpedia.org/resource/Decision_problem +
|
| http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:Redirect +
, http://dbpedia.org/resource/Template:Main +
, http://dbpedia.org/resource/Template:Alan_Turing +
, http://dbpedia.org/resource/Template:Short_description +
, http://dbpedia.org/resource/Template:Citation +
, http://dbpedia.org/resource/Template:Authority_control +
, http://dbpedia.org/resource/Template:Cite_book +
, http://dbpedia.org/resource/Template:MathSciNet +
, http://dbpedia.org/resource/Template:Reflist +
, http://dbpedia.org/resource/Template:Isbn +
|
| http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:Computability_theory +
, http://dbpedia.org/resource/Category:Theory_of_computation +
, http://dbpedia.org/resource/Category:Alan_Turing +
|
| http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/Turing_degree?oldid=1116016105&ns=0 +
|
| http://xmlns.com/foaf/0.1/depiction
|
http://commons.wikimedia.org/wiki/Special:FilePath/Rehasse.png +
|
| http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/Turing_degree +
|
| owl:sameAs |
http://dbpedia.org/resource/Turing_degree +
, http://de.dbpedia.org/resource/Turinggrad +
, http://www.wikidata.org/entity/Q1527413 +
, http://fr.dbpedia.org/resource/Degr%C3%A9_de_Turing +
, http://bg.dbpedia.org/resource/%D0%A1%D1%82%D0%B5%D0%BF%D0%B5%D0%BD_%D0%BD%D0%B0_%D0%A2%D1%8E%D1%80%D0%B8%D0%BD%D0%B3 +
, http://uk.dbpedia.org/resource/%D0%A1%D1%82%D0%B5%D0%BF%D1%96%D0%BD%D1%8C_%D0%A2%D1%8E%D1%80%D1%96%D0%BD%D0%B3%D0%B0 +
, http://rdf.freebase.com/ns/m.039hr_ +
, http://zh.dbpedia.org/resource/%E4%B8%8D%E5%8F%AF%E8%A7%A3%E5%BA%A6 +
, http://ja.dbpedia.org/resource/%E3%83%81%E3%83%A5%E3%83%BC%E3%83%AA%E3%83%B3%E3%82%B0%E6%AC%A1%E6%95%B0 +
, http://pt.dbpedia.org/resource/Grau_de_Turing +
, https://global.dbpedia.org/id/XNaf +
|
| rdfs:comment |
En informatique et en logique mathématique, le degré de Turing (nommé d'après Alan Turing) ou le degré d'insolubilité d'un ensemble d'entiers naturels mesure le niveau d'insolubilité algorithmique de l'ensemble.
, В інформатиці та математичній логіці Степінь Тюрінга (названа на честь Алана Тюрінга) або степінь нерозв'язності множини натуральних чисел вимірює рівень алгоритмічної нерозв'язності множини.
, Em ciência da computação e lógica matemáti … Em ciência da computação e lógica matemática o grau de Turing ou grau de insolubilidade de um conjunto de números naturais mede o nível de insolubilidade algorítmica do conjunto. O conceito de grau de Turing é fundamental na teoria da computabilidade, onde conjuntos de números naturais são frequentemente considerados como , o grau de Turing de um conjunto diz o quão difícil é resolver o problema de decisão associado com o conjunto.blema de decisão associado com o conjunto.
, 不可解度，或图灵度（Turing degree），是数学逻辑的名词，尤其应用在可计算性理论中。
, In computer science and mathematical logic the Turing degree (named after Alan Turing) or degree of unsolvability of a set of natural numbers measures the level of algorithmic unsolvability of the set.
, In der Berechenbarkeitstheorie und der mat … In der Berechenbarkeitstheorie und der mathematischen Logik misst der Turinggrad (auch Grad der Unlösbarkeit) einer Menge natürlicher Zahlen die algorithmische Unlösbarkeit der Menge. Das Konzept des Turinggrades ist fundamental in der Berechenbarkeitstheorie, wo Mengen natürlicher Zahlen oft als Entscheidungsprobleme angesehen werden; der Turinggrad einer Menge gibt an, wie schwer das Entscheidungsproblem für die Menge ist.as Entscheidungsproblem für die Menge ist.
, チューリング次数（～じすう、英: Turing degree, degree of … チューリング次数（～じすう、英: Turing degree, degree of unsolvability）は、計算理論及び数理論理学に出現する次数であり、自然数の集合に対して付与され、その集合のアルゴリズム的な複雑さ（非可解性）の度合いを表す。名称はアラン・チューリングに因む。チューリング次数の概念は再帰理論と計算可能性理論において基本的である。これらの分野では、自然数の集合はそのまま決定問題の集合だと看做されることが多い。ある集合に付与されたチューリング次数は、その集合に関連付けられた決定問題を解くことがどの程度難しいかを示す。 任意の二つの集合間で非可解性の度合いが同等であるとき、それらはチューリング同値であると言う。個々のチューリング次数は、チューリング同値であるような一群の集合に対応する。二つの集合が相異なるチューリング次数に属するのは、正にそれらがチューリング同値では無い場合である。更に、チューリング次数は半順序を成すので、集合 のチューリング次数が集合 のチューリング次数よりも小さいならば、ある数が に含まれるかを正しく判定するあらゆる（計算不可能なものも含む）手続きは、ある数が に含まれるかを正しく判定する手続きに変換することができる。任意の集合のチューリング次数はこのような意味でその集合のアルゴリズム的な非可解性の度合いに対応する。ーリング次数はこのような意味でその集合のアルゴリズム的な非可解性の度合いに対応する。
|
| rdfs:label |
Turing degree
, Grau de Turing
, チューリング次数
, Degré de Turing
, Turinggrad
, Степінь Тюрінга
, 不可解度
|
