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:
http://dbpedia.org/resource/Rice's_theorem
An Entity of Type:
Thing
,
from Named Graph:
http://dbpedia.org
,
within Data Space:
dbpedia-live.demo.openlinksw.com
unknown
Property
Value
dbo:
description
mathematischer Satz
(de)
teorema matematico
(it)
twierdzenie logiki matematycznej
(pl)
theorem in computability theory
(en)
théorème fondamental de la calculabilité
(fr)
计算机定理
(zh)
dbo:
thumbnail
wiki-commons
:Special:FilePath/Rice_reduction.svg?width=300
dbo:
wikiPageWikiLink
dbc
:Articles_containing_proofs
dbr
:Social_choice_theory
dbc
:Theorems_in_theory_of_computation
dbr
:Cooperative_game_theory
dbr
:Quine_(computing)
dbr
:Recursively_enumerable_language
dbr
:Turing's_proof
dbc
:Theorems_in_the_foundations_of_mathematics
dbr
:Gödel's_incompleteness_theorems
dbr
:Computable_function
dbr
:Formal_language
dbr
:Algorithmic_game_theory
dbc
:Undecidable_problems
dbr
:Halting_problem
dbr
:Syracuse_University
dbr
:Computability_theory
dbr
:Algorithm
dbr
:Programming_language
dbr
:Semantics_(computer_science)
dbr
:Unary_operation
dbr
:Kleene's_recursion_theorem
dbr
:Transactions_of_the_American_Mathematical_Society
dbr
:Nakamura_number
dbr
:Introduction_to_Automata_Theory,_Languages,_and_Computation
dbr
:Addison-Wesley
dbr
:Regular_language
dbr
:Henry_Gordon_Rice
dbr
:Undecidable_problem
dbr
:Wittgenstein_on_Rules_and_Private_Language
dbr
:String_(computer_science)
dbr
:Turing_machine
dbr
:Admissible_numbering
dbr
:Rice–Shapiro_theorem
dbr
:Scott–Curry_theorem
dbr
:Decision_problem
dbr
:If-then-else
dbr
:Hartley_Rogers,_Jr
dbr
:Recursion_theory
dbr
:Recursive_set
dbr
:Reductio_ad_absurdum
dbr
:Computational_social_choice
dbr
:McGraw-Hill
dbr
:Zero
dbr
:Recursively_enumerable_set
dbr
:Index_set_(recursion_theory)
dbr
:Finite_automaton
dbr
:Natural_numbers
dbr
:Roger's_equivalence_theorem
dbr
:Gödel_number
dbr
:Partial_computable_function
dbr
:Partial_functions
dbr
:File:Rice_reduction.svg
dbp:
wikiPageUsesTemplate
dbt
:Overline
dbt
:Citation
dbt
:Short_description
dct:
subject
dbc
:Articles_containing_proofs
dbc
:Theorems_in_theory_of_computation
dbc
:Theorems_in_the_foundations_of_mathematics
dbc
:Undecidable_problems
rdfs:
label
Rice's theorem
(en)
Satz von Rice
(de)
Théorème de Rice
(fr)
Teorema de Rice
(es)
Teorema di Rice
(it)
ライスの定理
(ja)
Stelling van Rice
(nl)
Twierdzenie Rice’a
(pl)
Teorema de Rice
(pt)
Теорема Райса
(ru)
莱斯定理
(zh)
owl:
sameAs
freebase
:m.06g1h
yago-res
:Rice's_theorem
wikidata
:Q1893717
dbpedia-it
:Teorema_di_Rice
dbpedia-nl
:Stelling_van_Rice
dbpedia-de
:Satz_von_Rice
dbpedia-fr
:Théorème_de_Rice
dbpedia-zh
:莱斯定理
dbpedia-ja
:ライスの定理
dbpedia-pt
:Teorema_de_Rice
dbpedia-he
:משפט_רייס
dbpedia-es
:Teorema_de_Rice
dbpedia-ru
:Теорема_Райса
dbpedia-pl
:Twierdzenie_Rice’a
dbpedia-lt
:Raiso_teorema
dbpedia-global
:pioE
dbr
:Rice's_theorem
prov:
wasDerivedFrom
wikipedia-en
:Rice's_theorem?oldid=1281112418&ns=0
foaf:
depiction
wiki-commons
:Special:FilePath/Rice_reduction.svg
foaf:
isPrimaryTopicOf
wikipedia-en
:Rice's_theorem
is
dbo:
knownFor
of
dbr
:John_Myhill
is
dbo:
wikiPageRedirects
of
dbr
:Rice–Myhill–Shapiro_theorem
dbr
:Rice–Myhill–Shapiro_theorem
dbr
:Rice-Myhill-Shapiro_theorem
dbr
:Rice's_Theorem
dbr
:Rice-Myhill-Shapiro_Theorem
dbr
:Rice_s_Theorem
dbr
:Rice_theorem
dbr
:Rices_Theorem
dbr
:Rices_theorem
is
dbo:
wikiPageWikiLink
of
dbr
:List_of_undecidable_problems
dbr
:Proof_of_impossibility
dbr
:Cantor's_diagonal_argument
dbr
:Turing's_proof
dbr
:Universal_Turing_machine
dbr
:Full-employment_theorem
dbr
:Abstract_interpretation
dbr
:Turing_completeness
dbr
:Static_program_analysis
dbr
:Combinatory_logic
dbr
:Halting_problem
dbr
:Computability
dbr
:Computability_theory
dbr
:Function_(computer_programming)
dbr
:Semantic_gap
dbr
:Abstraction_(computer_science)
dbr
:Theory_of_computation
dbr
:Henry_Gordon_Rice
dbr
:Undecidable_problem
dbr
:List_of_mathematical_logic_topics
dbr
:List_of_mathematical_proofs
dbr
:Subcountability
dbr
:Definite_assignment_analysis
dbr
:List_of_theorems
dbr
:Complete_numbering
dbr
:Rice–Shapiro_theorem
dbr
:Index_set_(computability)
dbr
:Scott–Curry_theorem
dbr
:Rice–Myhill–Shapiro_theorem
dbr
:Generic-case_complexity
dbr
:Rice-Myhill-Shapiro_theorem
dbr
:Rice's_Theorem
dbr
:Rice-Myhill-Shapiro_Theorem
dbr
:Rice_s_Theorem
dbr
:Rice_theorem
dbr
:Rices_Theorem
dbr
:Rices_theorem
is
dbp:
knownFor
of
dbr
:John_Myhill
is
foaf:
primaryTopic
of
wikipedia-en
:Rice's_theorem
This content was extracted from
Wikipedia
and is licensed under the
Creative Commons Attribution-ShareAlike 4.0 International