My Math Forum  

Go Back   My Math Forum > Science Forums > Computer Science

Computer Science Computer Science Forum


Thanks Tree4Thanks
  • 3 Post By SDK
  • 1 Post By Denis
Reply
 
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:

Karma Peny is offline  
 
August 3rd, 2018, 04:08 AM   #2
Math Team
 
Joined: Oct 2011
From: Ottawa Ontario, Canada

Posts: 13,296
Thanks: 934

....and?
Denis is offline  
August 3rd, 2018, 06:45 AM   #3
SDK
Senior Member
 
Joined: Sep 2016
From: USA

Posts: 472
Thanks: 262

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
SDK is offline  
August 3rd, 2018, 08:33 AM   #4
Math Team
 
Joined: Oct 2011
From: Ottawa Ontario, Canada

Posts: 13,296
Thanks: 934

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
Denis is offline  
August 3rd, 2018, 05:22 PM   #5
Global Moderator
 
Joined: Dec 2006

Posts: 19,712
Thanks: 1805

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.
skipjack is offline  
Reply

  My Math Forum > Science Forums > Computer Science

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





Copyright © 2018 My Math Forum. All rights reserved.