News for hackers. Stuff that matters.
Re:Am open to constructive criticism: My Halting Problem sol... by auroralimon on Wednesday March 20, 2024 @07:09PM (#39773122)
So what about a chaotic function like: (assume x is 64bit float)

x = 0.035876; while true { x = 3.5699456 * x * (1 - x); if x == rand() break; } does it halt?

Re:Am open to constructive criticism: My Halting Problem sol... by pantantrant on Wednesday March 20, 2024 @07:40PM (#39773356)
After a finite amount of time, it will either report "Halt" or "Infinite Loop", but my program won't take forever, just a finite amount of time.
Re:Am open to constructive criticism: My Halting Problem sol... by auroralimon on Thursday March 21, 2024 @08:26PM (#39786131)
then you have added nothing to the problem. of course if you run the program and it halts, even if runs until T+heatdeathofuniverse^googleplex (which is a finite time) without an infinite loop, you have not solved the conundrum implied by Turing’s work. Turing proved no algorithm exists that always correctly decides whether, for a given arbitrary program and input, the program halts when run with that input. The essence of Turing's proof is that any such algorithm can be made to produce contradictory output and therefore cannot be correct. He proved it - QED