Your question has the following general form: "Here is an imprecise concept X. Does it have a mathematically precise counterpart Y?" Questions like this typically fall into one of three categories.

The question is well known and there is a "standard" answer. For example X might be "mechanical procedure" and Y might be "Turing machine algorithm." Or X might be "mathematical proof as published in a journal" and Y might be "formal proof in a formal language."

There is no standard answer, but the person asking the question is trying to solve a concrete problem, and the quality of a candidate answer can be measured according to whether it helps solve the concrete problem.

There is no standard answer and there is no concrete problem motivating the question.

Questions of type 1 are usually regarded as being on-topic for MO (or math.SE, if the question is "too elementary"). The suitability (for MO) of questions of type 2 has to be judged on a case-by-case basis; it depends on whether the underlying problem is sharply defined enough to make it clear whether a proposed Y does or does not answer the question.

Your question seems to be of type 3. What kind of reception a type 3 question gets is something of a crap shoot. For example, I'd judge the question on the metamathematics of buts to be a type 3 question, and it was highly upvoted. On the other hand, because type 3 questions are open-ended and there is no clear way to judge whether a potential answer is correct or not, they run the risk of being assessed as subjective or unfocused, in which case they may be closed.

The fact that this question of yours was closed does not necessarily mean you should avoid asking this kind of question in the future. After all, a priori, you might not know whether your question is of type 1 or type 3. On the other hand, you should not be surprised if your question ends up being of type 3 and getting closed for being unclear.

7more comments