My Math Forum The Halting Problem: Could There Be a Possible Solution After All?

 Computer Science Computer Science Forum

 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. Thanks from Denis, topsquark and JeffM1
 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: Thanks from topsquark
 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 Linear Mode

 Similar Threads Thread Thread Starter Forum Replies Last Post BenFRayfield Computer Science 0 February 11th, 2015 08:06 PM William Labbett Physics 9 June 29th, 2014 06:50 AM TreeTruffle Algebra 2 March 27th, 2010 01:22 AM wannabe1 Number Theory 9 February 28th, 2010 06:05 PM mario Calculus 4 December 11th, 2008 03:06 PM

 Contact - Home - Forums - Cryptocurrency Forum - Top