Content deleted Content added
rvv |
→Should move to computably enumerable set: new section |
||
Line 155:
:* Given a Gödel numbering <math>\phi</math> of the computable functions, the set <math>\lbrace \left \langle x, y, z \right \rangle \mid \phi_x(y)=z \rbrace</math> is recursively enumerable. This set encodes the problem of deciding a function value.
:[[User:JRSpriggs|JRSpriggs]] ([[User talk:JRSpriggs|talk]]) 12:39, 18 February 2018 (UTC)
== Should move to [[computably enumerable set]] ==
I have tagged [[computably enumerable set]] as G6 -- this page should be moved there per [[WP:NOUN]]. I think this is pretty cut and dried; I hope we don't need an RM. --[[User:Trovatore|Trovatore]] ([[User talk:Trovatore|talk]]) 05:53, 29 July 2022 (UTC)
| |||