-2

Someone mentioned it to me as something important related to the Turing machine but I can't find anything related to such theorem anywhere... Can someone help me or is the said theorem with the wrong name?

r3mainer
  • 23,981
  • 3
  • 51
  • 88
Tsui
  • 44
  • 5
  • 1
    Sounds a bit like "theorem at rest" which might be a bad translation of the "halting theorem". That one is really important. – mvw Apr 03 '17 at 10:40
  • And... we have an upvote... – Karoly Horvath Apr 03 '17 at 10:43
  • @KarolyHorvath It was me. If you don't think this question would be of any use to non-native English speakers then go ahead and close-vote. I'm really not bothered. – r3mainer Apr 03 '17 at 10:45
  • @squeamishossifrage: I see no use. Searching engines FTW. – Karoly Horvath Apr 03 '17 at 10:51
  • It sounds more to me like (French) "arrêt" – possibly misspelled as "arrêts" (arrest) – which also points to the Halting problem ("problème de l'arrêt"). It's not a theorem though, but that could also be a translation issue. The only way to be absolutely sure is to ask "someone" what they meant. – molbdnilo Apr 03 '17 at 10:54
  • The point is that I don't speak french. And I did search it to exaustion and found nothing remotely relating halting problem to arrest theorem... But if this question should not stay up on the grounds of not being generally useful I won't object. – Tsui Apr 03 '17 at 11:05
  • @squeamishossifrage: Why do you think that an upvote was warranted? I'm genuinely curious. – Lightness Races in Orbit Apr 03 '17 at 11:45
  • @BoundaryImposition Because the OP demonstrated research effort, and because the question would be useful for anyone else searching for "theorem of arrest". Also because there were already two downvotes and I don't think that was a fair response to a genuine question. – r3mainer Apr 03 '17 at 11:53
  • @squeamishossifrage: Why do you think that anybody else would search for "theorem of arrest"? And do you have any evidence that they would use it in the same context? Bearing in mind that the **only** result on the entire Google for this term is this very page? If anything, this question is harmful. The OP should _ask the person who said it_. They didn't. That's the very most basic research effort that they failed to execute. – Lightness Races in Orbit Apr 03 '17 at 12:00
  • @BoundaryImposition I translate Japanese for a living. Pages like this are very useful. – r3mainer Apr 03 '17 at 12:02
  • @squeamishossifrage: In such a situation, http://japanese.stackexchange.com/ would be a more appropriate fit. There is simply no authoritative answer to this question, only guesses. – Lightness Races in Orbit Apr 03 '17 at 12:56
  • Yes, but this question has nothing to do with Japanese. I don't know why you're making such a big deal of this. Stack Overflow isn't an exercise in groupthink. If you disagree with me, you don't have to vote the same way as me. Please find something more constructive to do. https://media.giphy.com/avatars/captainobvious/w5HJ3fnkcDMG.gif – r3mainer Apr 03 '17 at 13:07

1 Answers1

1

In context, it sounds like a mistranslation of the halting problem.

To be sure, you will have to ask the person who said it to you. They are the only ones who know what they intended to say, particularly as the only result on Google for "theorem of arrest" is this page.

Lightness Races in Orbit
  • 378,754
  • 76
  • 643
  • 1,055