This HTML5 document contains 93 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dbpedia-dehttp://de.dbpedia.org/resource/
dcthttp://purl.org/dc/terms/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
dbpedia-eshttp://es.dbpedia.org/resource/
n9http://lt.dbpedia.org/resource/
n12http://g.co/kg/m/
dbpedia-hehttp://he.dbpedia.org/resource/
dbpedia-ruhttp://ru.dbpedia.org/resource/
rdfshttp://www.w3.org/2000/01/rdf-schema#
n27https://www.quora.com/topic/
category-frhttp://fr.dbpedia.org/resource/Catégorie:
dbpedia-pthttp://pt.dbpedia.org/resource/
dbpedia-plhttp://pl.dbpedia.org/resource/
n29https://www.jstor.org/
n7http://fr.dbpedia.org/resource/Modèle:
n19http://fr.dbpedia.org/resource/Fichier:
n26http://commons.wikimedia.org/wiki/Special:FilePath/
n30http://fr.dbpedia.org/resource/Modèle:Traduction/
wikipedia-frhttp://fr.wikipedia.org/wiki/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n10http://mathworld.wolfram.com/
owlhttp://www.w3.org/2002/07/owl#
dbpedia-ithttp://it.dbpedia.org/resource/
n13http://ma-graph.org/entity/
dbpedia-zhhttp://zh.dbpedia.org/resource/
dbpedia-frhttp://fr.dbpedia.org/resource/
prop-frhttp://fr.dbpedia.org/property/
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
wikidatahttp://www.wikidata.org/entity/
dbrhttp://dbpedia.org/resource/
dbpedia-nlhttp://nl.dbpedia.org/resource/
dbpedia-jahttp://ja.dbpedia.org/resource/

Statements

Subject Item
dbpedia-fr:Théorème_de_Rice
rdfs:label
Stelling van Rice ライスの定理 Rice's theorem Satz von Rice Teorema di Rice Teorema de Rice Théorème de Rice
rdfs:comment
En informatique théorique, plus précisément en théorie de la calculabilité, le théorème de Rice énonce que toute propriété sémantique non triviale d'un programme est indécidable. Le théorème de Rice généralise l'indécidabilité du problème de l'arrêt. Le théorème est classique et fait l'objet d'exercices dans certains ouvrages de théorie de la calculabilité. Il a une certaine portée philosophique vis-à-vis de la calculabilité et est dû au logicien Henry Gordon Rice.
rdfs:seeAlso
n10:RicesTheorem.html n27:Rices-Theorem
owl:sameAs
dbpedia-ru:Теорема_Райса n9:Raiso_teorema dbpedia-de:Satz_von_Rice n12:06g1h n13:16407280 dbpedia-es:Teorema_de_Rice dbpedia-he:משפט_רייס dbpedia-zh:莱斯定理 dbpedia-it:Teorema_di_Rice dbpedia-nl:Stelling_van_Rice dbpedia-pl:Twierdzenie_Rice’a wikidata:Q1893717 dbpedia-pt:Teorema_de_Rice dbr:Rice's_theorem dbpedia-ja:ライスの定理
dbo:wikiPageID
85457
dbo:wikiPageRevisionID
182886907
dbo:wikiPageWikiLink
dbpedia-fr:Test_(informatique) dbpedia-fr:Frederick_Brooks dbpedia-fr:Récursivement_énumérable dbpedia-fr:Théorème_de_récursion_de_Kleene dbpedia-fr:InterÉditions dbpedia-fr:Couverture_de_code dbpedia-fr:Réalisabilité dbpedia-fr:Edsger_Dijkstra dbpedia-fr:Pas_de_balle_en_argent dbpedia-fr:Chaîne_de_caractères dbpedia-fr:Addison-Wesley dbpedia-fr:Réduction_(complexité) dbpedia-fr:Instruction_conditionnelle_(programmation) dbpedia-fr:Problème_de_l'arrêt dbpedia-fr:Programme_informatique n19:Théorème_de_Rice.gif dbpedia-fr:Springer_Science+Business_Media dbpedia-fr:North_Holland dbpedia-fr:Turing-complet dbpedia-fr:John_Wiley_&_Sons dbpedia-fr:Théorie_de_la_calculabilité dbpedia-fr:Raisonnement_par_l'absurde dbpedia-fr:Ensemble_récursif dbpedia-fr:MIT_Press dbpedia-fr:Sémantique_des_langages_de_programmation category-fr:Théorème_d'informatique dbpedia-fr:Informatique_théorique dbpedia-fr:Cambridge_University_Press dbpedia-fr:Pierre_Wolper dbpedia-fr:Vérification_de_modèles dbpedia-fr:Interprétation_abstraite category-fr:Logique_mathématique dbpedia-fr:Assistant_de_preuve dbpedia-fr:American_Mathematical_Society n19:Rice_reduction.svg dbpedia-fr:Analyse_statique_de_programmes dbpedia-fr:Morgan_Kaufmann dbpedia-fr:Décidabilité dbpedia-fr:Henry_Gordon_Rice category-fr:Calculabilité
dbo:wikiPageExternalLink
n29:sici%3Fsici=0002-9947(195303)74%3A2%3C358%3ACORESA%3E2.0.CO%3B2-N
dbo:wikiPageLength
28365
dct:subject
category-fr:Théorème_d'informatique category-fr:Logique_mathématique category-fr:Calculabilité
prop-fr:wikiPageUsesTemplate
n7:En n7:, n7:Date- n7:Citation n7:Lien n7:Langue n7:Voir_homonymes n30:Référence n7:Langages_formels,_calculabilité_et_complexité n7:Calculateurs,_calculs,_calculabilité_(Ridoux,_Lesventes) n7:ISBN n7:Portail
prov:wasDerivedFrom
wikipedia-fr:Théorème_de_Rice?oldid=182886907&ns=0
foaf:depiction
n26:Théorème_de_Rice.gif n26:Rice_reduction.svg
prop-fr:art
Rice's theorem
prop-fr:lang
en
dbo:thumbnail
n26:Théorème_de_Rice.gif?width=300
foaf:isPrimaryTopicOf
wikipedia-fr:Théorème_de_Rice
dbo:namedAfter
dbpedia-fr:Henry_Gordon_Rice
dbo:abstract
En informatique théorique, plus précisément en théorie de la calculabilité, le théorème de Rice énonce que toute propriété sémantique non triviale d'un programme est indécidable. Le théorème de Rice généralise l'indécidabilité du problème de l'arrêt. Le théorème est classique et fait l'objet d'exercices dans certains ouvrages de théorie de la calculabilité. Il a une certaine portée philosophique vis-à-vis de la calculabilité et est dû au logicien Henry Gordon Rice.