![]() |
|
Computer Science Computer Science Forum |
![]() |
| LinkBack | Thread Tools | Display Modes |
August 3rd, 2018, 03:06 AM | #1 |
Member Joined: Oct 2014 From: UK Posts: 62 Thanks: 2 | The Halting Problem: Could There Be a Possible Solution After All?
This short video (under 3 minutes) proposes a novel way around the proof that no solution can be found for the halting problem: |
![]() |
August 3rd, 2018, 05:08 AM | #2 |
Math Team Joined: Oct 2011 From: Ottawa Ontario, Canada Posts: 13,986 Thanks: 995 |
....and?
|
![]() |
August 3rd, 2018, 07:45 AM | #3 |
Senior Member Joined: Sep 2016 From: USA Posts: 564 Thanks: 327 Math Focus: Dynamical systems, analytic function theory, numerics |
1. Proofs are not things to "get around". They are exactly what the name implies, a proof that the suggested proposition is true. 2. You haven't debunked this theorem because theorems are things that have been proved true. By definition, they can't be debunked. 3. What you have actually done is stated a different claim (a strawman) and supposedly debunked this. Not only am I not convinced that your construction actually does what it claims, but the problem you are applying it to is NOT the halting problem. The halting problem says nothing about crashing. You can't restate the result of the theorem and then pretend you are talking about the same thing. You didn't debunk the proof because you CAN'T debunk a proof. A sensible person would not bother trying. |
![]() |
August 3rd, 2018, 09:33 AM | #4 |
Math Team Joined: Oct 2011 From: Ottawa Ontario, Canada Posts: 13,986 Thanks: 995 |
Will "finding a proof that endless loops cannot be eliminated" or finding a way to eliminate them bring down the price of groceries? ANUTter video on this foolishness: |
![]() |
August 3rd, 2018, 06:22 PM | #5 |
Global Moderator Joined: Dec 2006 Posts: 20,310 Thanks: 1980 |
The Predict_Result program referenced in the theorem fails to predict correctly for a Program X that directly or indirectly invokes Predict_Result (or a program much the same as Predict_Result) to obtain a prediction for Program X , so Predict_Result might work correctly in all other cases.
|
![]() |
![]() |
|
Tags |
halting, problem, solution |
Thread Tools | |
Display Modes | |
|
![]() | ||||
Thread | Thread Starter | Forum | Replies | Last Post |
Halting chance (chaitins constant) has a more detailed form related to pagerank | BenFRayfield | Computer Science | 0 | February 11th, 2015 09:06 PM |
halting global warming with flower power | William Labbett | Physics | 9 | June 29th, 2014 07:50 AM |
trying to make a solution (liquid solution...) problem... | TreeTruffle | Algebra | 2 | March 27th, 2010 02:22 AM |
Solution to problem | wannabe1 | Number Theory | 9 | February 28th, 2010 07:05 PM |
particular solution problem | mario | Calculus | 4 | December 11th, 2008 04:06 PM |