Timeline for Turing machine + time dilation = solve the halting problem?
Current License: CC BY-SA 3.0
9 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 7, 2018 at 21:37 | comment | added | Davislor | @Discretelizard Good point. My formalization, I guess, was that you use time dilation to give a computer billions and billions of years to run and still be alive when you come back to check on it. | |
| Apr 7, 2018 at 20:38 | comment | added | Discrete lizard♦ | That said, it could be possible that the answer is 'no' for any reasonable formalistation, but such a claim is beyond my expertise, at least. | |
| Apr 7, 2018 at 20:38 | comment | added | Discrete lizard♦ | @Davislor Of course time dilation is well defined, within physics. A Turing machine is a mathematical object. As far as I'm aware, the best we can do to combine the two is to create a 'physical analogy' of a Turing machine might be and formally show how this interacts with time dilation. This is (an example of) what I mean with a 'formalization'. I don't think there is an unique way to formalise this and that the results may differ, hence my hesitation to say anything conclusive about it. | |
| Apr 7, 2018 at 19:38 | comment | added | Davislor | @Discretelizard That was a great contribution to the discussion. I’m not sure I completely understand the OP’s intent, but relativistic time dilation is a real concept in modern physics, and I answered on the assumption that he was using the standard definition of the term. | |
| Apr 7, 2018 at 8:50 | comment | added | Discrete lizard♦ | Note that the main reason why I mentioned Turing machines under closed time-like loops is that there exist some 'physical modification' of the Turing machine model such that the halting problem is computable by that machine. It seems that others know more about time dilation than me, but this example makes me at least hesitant to make such claims unless a formalization of time dilation is given. | |
| Apr 7, 2018 at 6:53 | history | edited | Davislor | CC BY-SA 3.0 |
added 85 characters in body
|
| Apr 7, 2018 at 4:20 | comment | added | Robert Columbia | "There is as yet insufficient data for a meaningful answer." | |
| Apr 6, 2018 at 16:59 | history | edited | Davislor | CC BY-SA 3.0 |
Clarified wording.
|
| Apr 6, 2018 at 16:47 | history | answered | Davislor | CC BY-SA 3.0 |