About: Kleene's recursion theorem

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

About: Kleene's recursion theorem Goto Sponge NotDistinct Permalink

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

Attributes	Values
rdfs:label	Kleene's recursion theorem (en) Rekursionssatz (de) Teorema di ricorsione di Kleene (it) Théorème de récursion de Kleene (fr) クリーネの再帰定理 (ja)
rdfs:comment	En théorie de la calculabilité, plusieurs théorèmes dus à Kleene sont appelés théorèmes de la récursion. Ils établissent l'existence de points fixes pour des transformateurs de programmes, au sens où le programme et le programme image calculent la même fonction partielle et ils sont nommés également théorèmes du point fixe de Kleene. Ils ont de nombreuses applications. (fr)
sameAs	Kleene's recursion theorem Kleene's recursion theorem Kleene's recursion theorem Kleene's recursion theorem Kleene's recursion theorem Kleene's recursion theorem Kleene's recursion theorem Kleene's recursion theorem Kleene's recursion theorem Kleene's recursion theorem Kleene's recursion theorem
Wikipage page ID	151956 (xsd:integer)
Wikipage revision ID	191364407 (xsd:integer)
dbo:wikiPageWikiLink	dbpedia-fr:Automate_cellulaire Self-reference category-fr:Calculabilité category-fr:Stephen_Cole_Kleene category-fr:Théorème_d'informatique dbpedia-fr:Code_source Computable function dbpedia-fr:Fonction_partielle_récursive dbpedia-fr:Fonction_semi-calculable dbpedia-fr:Indice John von Neumann Fixed-point theorems Quine (computing) dbpedia-fr:Raymond_Smullyan dbpedia-fr:Récursivement_énumérable dbpedia-fr:Stephen_Cole_Kleene dbpedia-fr:Théorie_de_la_calculabilité dbpedia-fr:Théorème_d'itération dbpedia-fr:Langage_de_programmation_acceptable dbpedia-fr:Énumération_acceptable
page length (characters) of wiki page	5527 (xsd:nonNegativeInteger)
dct:subject	category-fr:Calculabilité category-fr:Stephen_Cole_Kleene category-fr:Théorème_d'informatique
prop-fr:wikiPageUsesTemplate	dbpedia-fr:Modèle:Confusion dbpedia-fr:Modèle:Portail dbpedia-fr:Modèle:Référence_nécessaire dbpedia-fr:Modèle:Références dbpedia-fr:Modèle:Ébauche dbpedia-fr:Modèle:Énoncé dbpedia-fr:Modèle:Cori-Lascar_II
prov:wasDerivedFrom	wikipedia-fr:Théorème_de_récursion_de_Kleene?oldid=191364407&ns=0
foaf:isPrimaryTopicOf	wikipedia-fr:Théorème_de_récursion_de_Kleene
has abstract	En théorie de la calculabilité, plusieurs théorèmes dus à Kleene sont appelés théorèmes de la récursion. Ils établissent l'existence de points fixes pour des transformateurs de programmes, au sens où le programme et le programme image calculent la même fonction partielle et ils sont nommés également théorèmes du point fixe de Kleene. Ils ont de nombreuses applications. (fr)
is dbo:wikiPageWikiLink of	dbpedia-fr:Argument_de_la_diagonale_de_Cantor General recursive function List of theorems Quine (computing) dbpedia-fr:Raymond_Smullyan dbpedia-fr:Récursif dbpedia-fr:Stephen_Cole_Kleene dbpedia-fr:Théorie_de_la_calculabilité dbpedia-fr:Théorème_d'itération Rice's theorem
is oa:hasTarget of	De labels Ja labels En labels It labels Wikidata Fr related
is foaf:primaryTopic of	wikipedia-fr:Théorème_de_récursion_de_Kleene

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, 13 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software