Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Rices_theorem> ?p ?o }
- Rices_theorem abstract "In computability theory, Rice's theorem states that, for any non-trivial property of partial functions, no general and effective method can decide whether an algorithm computes a partial function with that property. Here, a property of partial functions is called trivial if it holds for all partial computable functions or for none, and an effective decision method is called general if it decides correctly for every algorithm.The theorem is named after Henry Gordon Rice, and is also known as the Rice–Myhill–Shapiro theorem after Rice, John Myhill, and Norman Shapiro.".
- Rices_theorem wikiPageExternalLink sici?sici=0002-9947%28195303%2974%3A2%3C358%3ACORESA%3E2.0.CO%3B2-N.
- Rices_theorem wikiPageID "25852".
- Rices_theorem wikiPageID "99564".
- Rices_theorem wikiPageLength "19385".
- Rices_theorem wikiPageLength "52".
- Rices_theorem wikiPageOutDegree "1".
- Rices_theorem wikiPageOutDegree "51".
- Rices_theorem wikiPageRedirects Rices_theorem.
- Rices_theorem wikiPageRevisionID "345673913".
- Rices_theorem wikiPageRevisionID "679379163".
- Rices_theorem wikiPageWikiLink 0_(number).
- Rices_theorem wikiPageWikiLink Addison-Wesley.
- Rices_theorem wikiPageWikiLink Admissible_numbering.
- Rices_theorem wikiPageWikiLink Algorithm.
- Rices_theorem wikiPageWikiLink Algorithmic_game_theory.
- Rices_theorem wikiPageWikiLink Category:Articles_containing_proofs.
- Rices_theorem wikiPageWikiLink Category:Articles_with_inconsistent_citation_formats.
- Rices_theorem wikiPageWikiLink Category:Theorems_in_the_foundations_of_mathematics.
- Rices_theorem wikiPageWikiLink Category:Theorems_in_theory_of_computation.
- Rices_theorem wikiPageWikiLink Computability_theory.
- Rices_theorem wikiPageWikiLink Computability_theory_(computer_science).
- Rices_theorem wikiPageWikiLink Computable_function.
- Rices_theorem wikiPageWikiLink Computational_social_choice.
- Rices_theorem wikiPageWikiLink Cooperative_game.
- Rices_theorem wikiPageWikiLink Decision_problem.
- Rices_theorem wikiPageWikiLink Finite-state_machine.
- Rices_theorem wikiPageWikiLink Finite_state_machine.
- Rices_theorem wikiPageWikiLink Formal_language.
- Rices_theorem wikiPageWikiLink Gxc3xb6dels_incompleteness_theorems.
- Rices_theorem wikiPageWikiLink Gödel_number.
- Rices_theorem wikiPageWikiLink Gödel_numbering.
- Rices_theorem wikiPageWikiLink Halting_Problem.
- Rices_theorem wikiPageWikiLink Halting_problem.
- Rices_theorem wikiPageWikiLink Hartley_Rogers,_Jr.
- Rices_theorem wikiPageWikiLink Hartley_Rogers,_Jr..
- Rices_theorem wikiPageWikiLink Henry_Gordon_Rice.
- Rices_theorem wikiPageWikiLink Index_set_(recursion_theory).
- Rices_theorem wikiPageWikiLink Introduction_to_Automata_Theory,_Languages,_and_Computation.
- Rices_theorem wikiPageWikiLink Introduction_to_automata_theory,_languages,_and_computation.
- Rices_theorem wikiPageWikiLink John_Myhill.
- Rices_theorem wikiPageWikiLink Kleenes_recursion_theorem.
- Rices_theorem wikiPageWikiLink McGraw-Hill.
- Rices_theorem wikiPageWikiLink McGraw_Hill_Financial.
- Rices_theorem wikiPageWikiLink Nakamura_number.
- Rices_theorem wikiPageWikiLink Natural_number.
- Rices_theorem wikiPageWikiLink Natural_numbers.
- Rices_theorem wikiPageWikiLink Norman_Shapiro.
- Rices_theorem wikiPageWikiLink Partial_computable_function.
- Rices_theorem wikiPageWikiLink Partial_function.
- Rices_theorem wikiPageWikiLink Partial_functions.
- Rices_theorem wikiPageWikiLink Programming_language.
- Rices_theorem wikiPageWikiLink Quine_(computing).
- Rices_theorem wikiPageWikiLink Recursion_theory.
- Rices_theorem wikiPageWikiLink Recursive_set.
- Rices_theorem wikiPageWikiLink Recursively_enumerable_set.
- Rices_theorem wikiPageWikiLink Reductio_ad_absurdum.
- Rices_theorem wikiPageWikiLink Rice-Shapiro_theorem.
- Rices_theorem wikiPageWikiLink Rices_theorem.
- Rices_theorem wikiPageWikiLink Rice–Shapiro_theorem.
- Rices_theorem wikiPageWikiLink Rogers_equivalence_theorem.
- Rices_theorem wikiPageWikiLink Social_choice_theory.
- Rices_theorem wikiPageWikiLink String_(computer_science).
- Rices_theorem wikiPageWikiLink Turing_machine.
- Rices_theorem wikiPageWikiLink Zero.
- Rices_theorem wikiPageWikiLink File:Rice_reduction.svg.
- Rices_theorem wikiPageWikiLinkText "Rice's theorem".
- Rices_theorem wikiPageWikiLinkText "Rice's_theorem".
- Rices_theorem wikiPageWikiLinkText "impossible".
- Rices_theorem hasPhotoCollection Rices_theorem.
- Rices_theorem title "Rice's theorem".
- Rices_theorem urlname "RicesTheorem".
- Rices_theorem wikiPageUsesTemplate Template:Cite_document.
- Rices_theorem wikiPageUsesTemplate Template:Math.
- Rices_theorem wikiPageUsesTemplate Template:MathWorld.
- Rices_theorem wikiPageUsesTemplate Template:R_from_modification.
- Rices_theorem subject Category:Articles_containing_proofs.
- Rices_theorem subject Category:Articles_with_inconsistent_citation_formats.
- Rices_theorem subject Category:Theorems_in_the_foundations_of_mathematics.
- Rices_theorem subject Category:Theorems_in_theory_of_computation.
- Rices_theorem type Redirect.
- Rices_theorem comment "In computability theory, Rice's theorem states that, for any non-trivial property of partial functions, no general and effective method can decide whether an algorithm computes a partial function with that property.".
- Rices_theorem label "Rice's theorem".
- Rices_theorem label "Rices theorem".
- Rices_theorem sameAs Satz_von_Rice.
- Rices_theorem sameAs Teorema_de_Rice.
- Rices_theorem sameAs Théorème_de_Rice.
- Rices_theorem sameAs משפט_רייס.
- Rices_theorem sameAs Teorema_di_Rice.
- Rices_theorem sameAs ライスの定理.
- Rices_theorem sameAs Raiso_teorema.
- Rices_theorem sameAs Stelling_van_Rice.
- Rices_theorem sameAs Twierdzenie_Ricea.
- Rices_theorem sameAs Teorema_de_Rice.
- Rices_theorem sameAs m.06g1h.
- Rices_theorem sameAs Теорема_Райса.
- Rices_theorem sameAs Q1893717.
- Rices_theorem sameAs Q1893717.
- Rices_theorem wasDerivedFrom Rices_theorem?oldid=345673913.
- Rices_theorem wasDerivedFrom Rices_theoremoldid=679379163.