> The if-then part of it is part of the function definition. No, it isn't. The if-then part of the question is about which of two trivial functions the label "

> The if-then part of it is part of the function definition. No, it isn't. The if-then part of the question is about which of two trivial functions the label "f" refers to. It has nothing to do with the functions themselves or their computability. That, from what I can gather, is supposed to be the point of the question, but I don't think the question gets that point across very well.