A New Kind of Science: The NKS Forum > Pure NKS > recursive set
Author
victor g
omicron it
Paraguay

Registered: Jun 2006
Posts: 3

recursive set

if S = Ig, g being a parcial, computable and monotonic function(i.e x < y implies g(x) < g(y) ) is S a recursive set?

__________________
p = np, i got the proof but i lost it

Report this post to a moderator | IP: Logged

06-28-2006 05:28 PM
victor g
omicron it
Paraguay

Registered: Jun 2006
Posts: 3

Ig: means the image of the function g

__________________
p = np, i got the proof but i lost it

Report this post to a moderator | IP: Logged

06-28-2006 05:29 PM
Garrett Neske
NYU
New York

Registered: Jun 2006
Posts: 19

For this set S, is it possible for a certain recursive function to explicitly state whether a certain element is in S? If so, S is a recursive set. Maybe see p. 1138 of NKS.
-G. Neske

Report this post to a moderator | IP: Logged

06-29-2006 12:13 AM

wolframscience.com  |  wolfram atlas  |  NKS online  |  web resources  |  contact us