
Computer Science Computer Science Forum 
 LinkBack  Thread Tools  Display Modes 
August 3rd, 2018, 02: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, 04:08 AM  #2 
Math Team Joined: Oct 2011 From: Ottawa Ontario, Canada Posts: 14,597 Thanks: 1038 
....and?

August 3rd, 2018, 06:45 AM  #3 
Senior Member Joined: Sep 2016 From: USA Posts: 624 Thanks: 396 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, 08:33 AM  #4 
Math Team Joined: Oct 2011 From: Ottawa Ontario, Canada Posts: 14,597 Thanks: 1038 
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, 05:22 PM  #5 
Global Moderator Joined: Dec 2006 Posts: 20,751 Thanks: 2135 
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  

Similar Threads  
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 08:06 PM 
halting global warming with flower power  William Labbett  Physics  9  June 29th, 2014 06:50 AM 
trying to make a solution (liquid solution...) problem...  TreeTruffle  Algebra  2  March 27th, 2010 01:22 AM 
Solution to problem  wannabe1  Number Theory  9  February 28th, 2010 06:05 PM 
particular solution problem  mario  Calculus  4  December 11th, 2008 03:06 PM 