About: Rice's theorem

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Rice's theorem Goto Sponge NotDistinct Permalink

An Entity of Type : owl:Thing, within Data Space : fr.dbpedia.org associated with source document(s)

Attributes	Values
rdfs:label	Rice's theorem (en) Satz von Rice (de) Stelling van Rice (nl) Teorema de Rice (es) Teorema di Rice (it) Théorème de Rice (fr) ライスの定理 (ja)
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. (fr)
rdfs:seeAlso	http://mathworld.wolfram.com/RicesTheorem.html https://www.quora.com/topic/Rices-Theorem
sameAs	Rice's theorem Rice's theorem Rice's theorem Rice's theorem Rice's theorem Rice's theorem Rice's theorem Rice's theorem Rice's theorem Rice's theorem Rice's theorem Rice's theorem Rice's theorem Rice's theorem Rice's theorem
Wikipage page ID	85457 (xsd:integer)
Wikipage revision ID	182886907 (xsd:integer)
dbo:wikiPageWikiLink	dbpedia-fr:Addison-Wesley dbpedia-fr:American_Mathematical_Society Static program analysis Proof assistant dbpedia-fr:Cambridge_University_Press category-fr:Calculabilité category-fr:Logique_mathématique category-fr:Théorème_d'informatique String (computer science) dbpedia-fr:Couverture_de_code dbpedia-fr:Décidabilité dbpedia-fr:Edsger_Dijkstra Computable set dbpedia-fr:Frederick_Brooks Henry Gordon Rice Theoretical computer science Conditional (computer programming) dbpedia-fr:Interprétation_abstraite dbpedia-fr:InterÉditions Wiley (publisher) dbpedia-fr:MIT_Press dbpedia-fr:North_Holland No Silver Bullet dbpedia-fr:Pierre_Wolper dbpedia-fr:Problème_de_l'arrêt dbpedia-fr:Programme_informatique Reductio ad absurdum dbpedia-fr:Réalisabilité dbpedia-fr:Récursivement_énumérable dbpedia-fr:Réduction_(complexité) dbpedia-fr:Springer_Science+Business_Media dbpedia-fr:Sémantique_des_langages_de_programmation dbpedia-fr:Test_(informatique) dbpedia-fr:Théorie_de_la_calculabilité Kleene's recursion theorem dbpedia-fr:Turing-complet dbpedia-fr:Vérification_de_modèles dbpedia-fr:Morgan_Kaufmann
Link from a Wikipage to an external page	https://www.jstor.org/sici%3Fsici=0002-9947(195303)74%3A2%3C358%3ACORESA%3E2.0.CO%3B2-N
page length (characters) of wiki page	28365 (xsd:nonNegativeInteger)
dct:subject	category-fr:Calculabilité category-fr:Logique_mathématique category-fr:Théorème_d'informatique
prop-fr:wikiPageUsesTemplate	dbpedia-fr:Modèle:, dbpedia-fr:Modèle:Citation dbpedia-fr:Modèle:Date- dbpedia-fr:Modèle:En dbpedia-fr:Modèle:ISBN dbpedia-fr:Modèle:Langue dbpedia-fr:Modèle:Lien dbpedia-fr:Modèle:Portail dbpedia-fr:Modèle:Traduction/Référence dbpedia-fr:Modèle:Voir_homonymes dbpedia-fr:Modèle:Langages_formels,_calculabilité_et_complexité dbpedia-fr:Modèle:Calculateurs,_calculs,_calculabilité_(Ridoux,_Lesventes)
prov:wasDerivedFrom	wikipedia-fr:Théorème_de_Rice?oldid=182886907&ns=0
foaf:depiction
prop-fr:art	Rice's theorem (fr)
prop-fr:lang	en (fr)
thumbnail	wiki-commons:Special:FilePath/Théorème_de_Rice.gif?width=300
foaf:isPrimaryTopicOf	wikipedia-fr:Théorème_de_Rice
named after	Henry Gordon Rice
has 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. (fr)
is dbo:wikiPageWikiLink of	Static program analysis Software bug Generic-case complexity dbpedia-fr:Décidabilité Primitive recursive function Henry Gordon Rice dbpedia-fr:Interprétation_abstraite

Faceted Search & Find service v1.16.111 as of Oct 19 2022

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3234 as of May 18 2022, on Linux (x86_64-ubuntu_bionic-linux-gnu), Single-Server Edition (39 GB total memory, 9 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software