# Explicit algorithms and algorithms involving unknowns

Let's assume the you have two algorithms for computing some single but complicated number (e.g., the Ramsey number $R(5,5)$). Both are provided as high-level, half-formal textbook descriptions.

1. The first algorithm, by means of some textual reformatting and filling in the usual gaps in high-level reasoning, can be easily (say, within several days of coding) turned into a (relatively large) computer program in some imperative programming language, including that of Turing machines (provided appropriate tooling support, of course).

2. The second algorithm can almost be turned into code in some imperative programming language, except there are some unknown constants (e.g., the algorithm contains an assignment "$x := c^2$", where $c$ is nonconstructively defined by Theorem 5.19.38, which says $\exists\,c\in \mathbb{N}\colon\dots$). In the best case, this algorithm has some merits such as creating a connection to some other area of mathematics, and in the worst case, this algorithm is simply "'print $r$;', where $r$ is the constant $R(5,5)$". We know that the second algorithm solves our task, i.e., that a Turing machine corresponding to our high-level description exists, but we don't know some part of this algorithm exactly.

In mathematical writing, how do you call these algorithms when you provide the reader with them? I mean, how do you distinguish between them? Do you say explicit/nonexplicit? Effective/noneffective? Any other pair of terms?

• Look at constructible functions, may be it serves Jun 27 '18 at 22:06
• Algorithm is a function, function is an algorithm. I tell about the entire algorithm, which may be considered as non-constructible function as long as we don't proved that there is Turing machine computing R(5,5). The trick is that if we can prove that, we know how to compute this R95,5). Again, i'm not sure. Look yourself, may be there is something just near that. Jun 27 '18 at 22:15
• Assuming you have some way of verifying whether an answer is correct or not (or possibly some relevant intermediate result), then the second description does suggest an algorithm. Namely, try each value of $c$ until you produce a verifiably correct result. The theorem guarantees termination. Jun 28 '18 at 3:01
• Also posted on Mathematics. Please do not post the same question on multiple sites simultaneously. Since this has been done quite a while ago, and there are good answers to both questions, I will take no further action now. Apr 17 '19 at 17:24