This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 4.0 International
Mathematical theorem in computability theory that there exists a partial two-variable computable function 𝑢 such that, for every one-variable partial computable function 𝑓, an 𝑒 exists such that f(𝑥)≃𝑢(𝑒,𝑥) for all 𝑥
| Property | Value |
|---|---|
| dbo:description |
|
| dbo:wikiPageWikiLink | |
| dbp:wikiPageUsesTemplate | |
| dct:subject | |
| rdfs:label |
|
| owl:sameAs | |
| prov:wasDerivedFrom | |
| foaf:isPrimaryTopicOf | |
| is dbo:wikiPageRedirects of | |
| is dbo:wikiPageWikiLink of | |
| is foaf:primaryTopic of |