Skip to main content
Computer Science

You are not logged in. Your edit will be placed in a queue until it is peer reviewed.

We welcome edits that make the post easier to understand and more valuable for readers. Because community members review edits, please try to make the post substantially better than how you found it, for example, by fixing grammar or adding additional resources and hyperlinks.

Required fields*

12
  • $\begingroup$ Closely related question, maybe even a duplicate. $\endgroup$ Commented Apr 15, 2015 at 13:05
  • $\begingroup$ @Raphael Yea, closely related, but not a duplicate. However, as I now see. The answer for my question is, to check turing completeness, and then I need to search for criteria. $\endgroup$ Commented Apr 15, 2015 at 13:14
  • $\begingroup$ @Raphael I do not understand your understanding of "any problem". To me the meaning is the same as "every problem" in this context. I had not seen your comment, and was at loss to interpret the edit by Miro (as seen in my answer). But I am not a native speaker either (who is, given the number of English dialects? :) $\endgroup$ Commented Apr 15, 2015 at 13:36
  • 1
    $\begingroup$ @Raphael It seems to me that the closely related question was a pretty bad one. There is an infinity of different criteria to ensure Turing power. Indeed we know that very different programming languages, with completely different features, all have Turing power. Actually, in early times, people would design programming languages corresponding to formal mathematical models, See Lisp, Snobol, APL, Prolog, Algol, Setl. And they did not go as far as they could have. See also Turing complete weirdos such as Intercal, Brainfuck and other esoteric programming languages.. $\endgroup$ Commented Apr 15, 2015 at 14:07
  • 1
    $\begingroup$ @Raphael Boring, I think not? Check: I am fascinated by the way the OP accepted the only wrong answer, which got more votes as a result. Then user swick remarked it was wrong, since one loop is needed. The author of the answer swept it under the rug, as being achieved by a specific assignment ... This kind of assignment does have a name in programming: goto, and it can indeed be used to create loops. But explaining in an accepted answer that (1) loop is not needed, and (2) because it can be replaced by a goto, seems to be adding insult to injury. Did Miro notice answers incompatibilities? $\endgroup$ Commented Apr 15, 2015 at 21:42