Browse using
OpenLink Faceted Browser
OpenLink Structured Data Editor
LodLive Browser
Formats
RDF:
N-Triples
N3
Turtle
JSON
XML
OData:
Atom
JSON
Microdata:
JSON
HTML
Embedded:
JSON
Turtle
Other:
CSV
JSON-LD
Faceted Browser
Sparql Endpoint
About:
Turing degree
An Entity of Type:
Thing
,
from Named Graph:
http://dbpedia.org
,
within Data Space:
dbpedia-live.demo.openlinksw.com
Measurement for the level of algorithmic unsolvability of a set
Property
Value
dbo:
description
Maß für die algorithmische Unlösbarkeit einer Menge
(de)
Notion algorithmique
(fr)
mesura del grau de irresolubilitat d'un algorisme
(ca)
measurement for the level of algorithmic unsolvability of a set
(en)
medida do nivel de irresolubilidade algorítmica dun conxunto
(gl)
dbo:
thumbnail
wiki-commons
:Special:FilePath/Rehasse.png?width=300
dbo:
wikiPageExternalLink
https://archive.org/details/classicalrecursi0000odif
http://www.cs.umb.edu/~fejer/articles/History_of_Degrees.pdf
dbo:
wikiPageWikiLink
dbr
:Steve_Simpson_(mathematician)
dbr
:Infimum_and_supremum
dbc
:Computability_theory
dbr
:Countable_set
dbr
:Lattice_(order)
dbr
:Simple_set
dbr
:Distributive_lattice
dbr
:Many-one_reduction
dbr
:Axiom_of_constructibility
dbr
:Dense_order
dbr
:Equivalence_class
dbr
:Halting_problem
dbr
:Turing_jump
dbr
:Arithmetical_hierarchy
dbr
:Post's_theorem
dbr
:Computability_theory
dbr
:Leo_Harrington
dbr
:Albert_Muchnik
dbr
:Alan_Turing
dbc
:Alan_Turing
dbr
:Annals_of_Mathematics
dbr
:Martin_measure
dbr
:Computer_science
dbr
:Atom_(order_theory)
dbr
:Equivalence_relation
dbr
:Stephen_Cole_Kleene
dbr
:Mathematical_logic
dbr
:Theodore_Slaman
dbr
:Bulletin_of_the_American_Mathematical_Society
dbr
:Emil_Leon_Post
dbr
:Partial_order
dbr
:Joseph_R._Shoenfield
dbr
:Robert_I._Soare
dbc
:Theory_of_computation
dbr
:Boolean_algebra
dbr
:Gerald_Sacks
dbr
:Advances_in_Mathematics
dbr
:Friedberg–Muchnik_theorem
dbr
:Natural_number
dbr
:Join_(mathematics)
dbr
:True_arithmetic
dbr
:Decision_problem
dbr
:Low_(computability)
dbr
:Emil_Post
dbr
:First-order_theory
dbr
:Richard_M._Friedberg
dbr
:Oracle_Turing_machine
dbr
:Recursively_enumerable_set
dbr
:Join-semilattice
dbr
:Countably_infinite
dbr
:Turing_reducible
dbr
:File:Rehasse.png
dbp:
wikiPageUsesTemplate
dbt
:Authority_control
dbt
:Cite_book
dbt
:Cite_web
dbt
:Main
dbt
:Reflist
dbt
:Redirect
dbt
:Cite_journal
dbt
:Sfn
dbt
:Citation
dbt
:Alan_Turing
dbt
:Harvtxt
dbt
:Isbn
dbt
:Short_description
dct:
subject
dbc
:Computability_theory
dbc
:Alan_Turing
dbc
:Theory_of_computation
rdf:
type
owl
:Thing
owl
:Thing
rdfs:
label
Turing degree
(en)
Turinggrad
(de)
Degré de Turing
(fr)
チューリング次数
(ja)
Grau de Turing
(pt)
Степінь Тюрінга
(uk)
不可解度
(zh)
owl:
sameAs
freebase
:Turing degree
wikidata
:Turing degree
dbpedia-de
:Turing degree
dbpedia-fr
:Turing degree
dbpedia-zh
:Turing degree
dbpedia-ja
:Turing degree
dbpedia-pt
:Turing degree
dbpedia-bg
:Turing degree
dbpedia-uk
:Turing degree
dbpedia-global
:Turing degree
dbr
:Turing degree
prov:
wasDerivedFrom
wikipedia-en
:Turing_degree?oldid=1247797080&ns=0
foaf:
depiction
wiki-commons
:Special:FilePath/Rehasse.png
foaf:
isPrimaryTopicOf
wikipedia-en
:Turing_degree
is
dbo:
wikiPageRedirects
of
dbr
:Degree_of_unsolvability
dbr
:Turing_equivalence_(recursion_theory)
dbr
:Priority_argument
dbr
:Priority_method
dbr
:Degrees_of_unsolvability
dbr
:Recursively_enumerable_Turing_degree
dbr
:T-degree
dbr
:Post's_problem
dbr
:Post_problem
dbr
:T_degree
dbr
:Turing_degrees
is
dbo:
wikiPageWikiLink
of
dbr
:Chaitin's_constant
dbr
:Post_correspondence_problem
dbr
:History_of_logic
dbr
:Turing_equivalence
dbr
:Timeline_of_mathematical_logic
dbr
:Computable_function
dbr
:0
dbr
:Logic
dbr
:Fallibilism
dbr
:Determinacy
dbr
:Index_of_philosophy_articles_(R–Z)
dbr
:Halting_problem
dbr
:Turing_jump
dbr
:Arithmetical_hierarchy
dbr
:Post's_theorem
dbr
:Computable_number
dbr
:Computability_theory
dbr
:Gottfried_Wilhelm_Leibniz
dbr
:Donald_A._Martin
dbr
:Martin_measure
dbr
:David_Seetapun
dbr
:Mathematical_logic
dbr
:Reduction_(complexity)
dbr
:Glossary_of_areas_of_mathematics
dbr
:Kleene's_recursion_theorem
dbr
:Emil_Leon_Post
dbr
:Hilary_Putnam
dbr
:Turing_reduction
dbr
:List_of_mathematical_logic_topics
dbr
:PA_degree
dbr
:Gerald_Sacks
dbr
:Glossary_of_computer_science
dbr
:Kleene's_T_predicate
dbr
:Zero_sharp
dbr
:Valentina_Harizanov
dbr
:Kolmogorov_complexity
dbr
:List_of_things_named_after_Alan_Turing
dbr
:Algorithmically_random_sequence
dbr
:True_arithmetic
dbr
:Decision_problem
dbr
:Hypercomputation
dbr
:Low_(computability)
dbr
:Marcia_Groszek
dbr
:High_(computability)
dbr
:Degree_of_unsolvability
dbr
:Outline_of_logic
dbr
:List_of_inventions_and_discoveries_by_women
dbr
:Legacy_of_Alan_Turing
dbr
:Basis_theorem_(computability)
dbr
:Turing_equivalence_(recursion_theory)
dbr
:Hyperarithmetical_theory
dbr
:Richard_M._Friedberg
dbr
:Priority_argument
dbr
:Priority_method
dbr
:Degrees_of_unsolvability
dbr
:Recursively_enumerable_Turing_degree
dbr
:T-degree
dbr
:Post's_problem
dbr
:Post_problem
dbr
:T_degree
dbr
:Turing_degrees
is
foaf:
primaryTopic
of
wikipedia-en
:Turing_degree
This content was extracted from
Wikipedia
and is licensed under the
Creative Commons Attribution-ShareAlike 4.0 International