A Possible "solution" to the Halting Problem
in [Theory]
|
From: Peter Olcott on 15 Oct 2006 10:19 The Halt program throws an "Invalid Input" exception. This would be analogous to the hardware exception of an attempt to divide by zero.
From: William Elliot on 15 Oct 2006 11:21 On Sun, 15 Oct 2006, Peter Olcott wrote: > "William Elliot" <marsh(a)hevanet.remove.com> wrote in message > > On Sun, 15 Oct 2006, Peter Olcott wrote: > > The point is there are not any questions too difficult for logic to > correctly answer, logic itself is not incomplete as Kurt Godel proposed. > > There are merely some questions where the question itself is ill-formed. Go step off a paradigm shift.
From: sillybanter on 15 Oct 2006 11:29 In comp.theory Peter Olcott <NoSpam(a)seescreen.com> wrote: > "William Elliot" <marsh(a)hevanet.remove.com> wrote in message > news:Pine.BSI.4.58.0610150722520.7240(a)vista.hevanet.com... > > On Sun, 15 Oct 2006, Peter Olcott wrote: > > > >> The Halt program throws an "Invalid Input" exception. > >> This would be analogous to the hardware exception of an attempt to divide by > >> zero. > >> > > Error 001: Invalid input. Please try again. > > The point is there are not any questions too difficult for logic to correctly > answer, logic itself is not incomplete as Kurt Godel proposed. There are merely > some questions where the question itself is ill-formed. Brilliant. By defining any unsolvable problems as "ill-formed" then we can say that all "well-formed" questions are solvable. No more unsolvable problems! Advancement of science by changing definitions. Gotta love it. -- Steve Stringer sillybanter(a)gmail.com
From: Peter Olcott on 15 Oct 2006 11:39 <sillybanter(a)gmail.com> wrote in message news:MtsYg.9714$gx6.5379(a)trnddc05... > In comp.theory Peter Olcott <NoSpam(a)seescreen.com> wrote: >> "William Elliot" <marsh(a)hevanet.remove.com> wrote in message >> news:Pine.BSI.4.58.0610150722520.7240(a)vista.hevanet.com... >> > On Sun, 15 Oct 2006, Peter Olcott wrote: >> > >> >> The Halt program throws an "Invalid Input" exception. >> >> This would be analogous to the hardware exception of an attempt to divide >> >> by >> >> zero. >> >> >> > Error 001: Invalid input. Please try again. >> >> The point is there are not any questions too difficult for logic to correctly >> answer, logic itself is not incomplete as Kurt Godel proposed. There are >> merely >> some questions where the question itself is ill-formed. > > Brilliant. By defining any unsolvable problems as "ill-formed" then > we can say that all "well-formed" questions are solvable. No more > unsolvable problems! > Since the only reason that these problems are unsolvable is because they are ill-formed, this makes perfect sense. To see it any other way would be like me saying that you don't even know how to tell the time of day because of your inability to correctly answer the following question; What time is it blue or green? > Advancement of science by changing definitions. Gotta love it. > > -- > > Steve Stringer > sillybanter(a)gmail.com >
From: Peter Olcott on 15 Oct 2006 11:56
<sillybanter(a)gmail.com> wrote in message news:MtsYg.9714$gx6.5379(a)trnddc05... > In comp.theory Peter Olcott <NoSpam(a)seescreen.com> wrote: >> "William Elliot" <marsh(a)hevanet.remove.com> wrote in message >> news:Pine.BSI.4.58.0610150722520.7240(a)vista.hevanet.com... >> > On Sun, 15 Oct 2006, Peter Olcott wrote: >> > >> >> The Halt program throws an "Invalid Input" exception. >> >> This would be analogous to the hardware exception of an attempt to divide >> >> by >> >> zero. >> >> >> > Error 001: Invalid input. Please try again. >> >> The point is there are not any questions too difficult for logic to correctly >> answer, logic itself is not incomplete as Kurt Godel proposed. There are >> merely >> some questions where the question itself is ill-formed. > > Brilliant. By defining any unsolvable problems as "ill-formed" then > we can say that all "well-formed" questions are solvable. No more > unsolvable problems! X = 50.0 / 0.0 Is this an unsolvable problem or an ill-formed problem? > > Advancement of science by changing definitions. Gotta love it. > > -- > > Steve Stringer > sillybanter(a)gmail.com > |