Yes, I believe you're right, and looks like the answer was quite simple after all. By a recursive predicate I did just mean a recursive function that could only give the values 0 or 1. So I guess the function f in your example would be recursive if the predicate T expressing the condition was...
Sorry, I should have been more specific, especially because of the many guises this same subject appears in.
My definition of partial recursive function is more in line with the one given in the following wikipedia article:
http://en.wikipedia.org/wiki/%CE%9C-recursive_function.
Wikipedia...
Hi, there, I was wondering if anyone knew a good way to implement if-statements in recursion-theoretic terms. Basically, I've come to the understanding that primitive recursion is analogous to a for-loop and mu-recursion to more general while-loops, but is there in general a simple analog of an...
Hi there, I'm currently reading Li and Vitanyi's book on Kolmogorov complexity. Unfortunately, I don't have a good background in computability/recursive function theory.
I have a question about their definition of a computable real-valued function. The authors first define recursive functions...
Yeah... I guess went overboard with the question, I was just trying to make it as clear as possible, but perhaps I did the opposite.
Anyway, I'm not really asking about a class I should take, rather about which subject might be preferable for independent study.
I'm not dependent on the...
I hate to bump this thread, but I realize now (seeing how my post has very few views at all) that I probably chose a bad title; unfortunately I can't change it.
Anyone have any advice as to which of these subjects would be more important in my situation?
First off, though I've been reading through these forums for a while now, this is my first post here, so let me briefly introduce myself.
I'm finishing up my third year as an undergraduate in mathematics. Next year, I want to apply to grad school in math, specifically, I'd like to study...