olcott1's articles:

Items(22) /3 Next >> Last >|

Halting Problem Final Conclusion 59 20 (9/5/2004 4:21:57 PM) comp.theory The Liar Paradox can be shown to be nothing more than a incorrectly formed statement because of its pathological self-reference. The Halting Problem can only exist because of this same sort of pathological self... Peter

Olcott is cured of CrackPottery! (Halting Problem) 63 26 (9/4/2004 6:50:13 PM) comp.theory In retrospect it was apparently me that was wrong all along. Alan Turing was right, and from this I will venture to make an educated guess that Kurt G�del was also right. I doubt if I will ever venture to thes... Peter

Can a regular Turing Machine provide Protected Memory? 287 51 (8/27/2004 12:13:51 PM) comp.theory It would seem that a regular Turing Machine would be able to provide protected memory. If we cast the problem as a regular TM that was designed as a UTM, it would seem to be able to provide Protected Memory Ser... Peter

Refutation of the Halting Problem's Proof (Clarifications Wanted) 66 26 (8/25/2004 11:39:23 AM) comp.theory www.halting-proiblem.com I want to make what I am saying as clear as possible. If anyone has any points that are still not clear, this is the thread to ask for clarifications. Also I would like to work towards... Peter

Papillion NE genius NOMINATED for NOBRAIN Prize!!!! [was: What is the Result from Invoking this Halt Function?] 2 27 (8/24/2004 7:49:24 PM) comp.theory "Peter Olcott" wrote in message news:W2yWc.505833$Gx4.12693@bgtnsc04-news.ops.worldnet.att.net... | The classic proof simply no longer applies. My method(s) have | permanently circumvented the classic proof. Y... parr

Refutation of the Halting Problem (Special Request) 3 32 (8/22/2004 5:43:01 PM) comp.theory Please trim all cross posts to other groups besides comp.theory, and sci.logic. Thank you ... Peter

Can returning a value change the value itself (in the Halting Problem) 173 44 (8/15/2004 6:57:44 PM) comp.theory Many of the attempts at refuting my refutation of the Halting Problem implicitly assumed that the answer to this question is no. They try to prove that my refutation is wrong by making this false assumption. In... Peter

Foundation for a Formal Refutation of the Original Halting Problem? 169 48 (8/1/2004 3:59:10 AM) comp.theory This is from my response to: "Aatu Koskensilta" A very reasonable and intelligent person. S =SourceCode for a Turing Machine D=Data Input for a Turing Machine (including S) H=Turing Machine that determines Ha... Peter

What is the Result from Invoking this Halt Function? 81 21 (7/30/2004 3:42:10 AM) comp.theory // // All of the functions are assumed to be standard C++ // void LoopIfHalts (string ProgramSourceFile, string InputData) { if WillHalt01(ProgramSourceFile, InputData) while (true) ; else //... Peter

The proof that I was referring to is on the website 134 41 (7/29/2004 2:59:21 AM) comp.theory http://home.att.net/~olcott/halting/proof.html It is comprised of GIF images files that are impossible to read on the screen but print out very nicely. If you are on a dialup, it will take a little more than a... Peter

olcott1's replies:

Items(23) /3 Next >> Last >|

What is the Result from Invoking this Halt Function? 81 21 (7/30/2004 3:42:10 AM) comp.theory // // All of the functions are assumed to be standard C++ // void LoopIfHalts (string ProgramSourceFile, string InputData) { if WillHalt01(ProgramSourceFile, InputData) while (true) ; else //... olcott1 (1189)

Foundation for a Formal Refutation of the Original Halting Problem? 169 48 (8/1/2004 3:59:10 AM) comp.theory This is from my response to: "Aatu Koskensilta" A very reasonable and intelligent person. S =SourceCode for a Turing Machine D=Data Input for a Turing Machine (including S) H=Turing Machine that determines Ha... olcott1 (1189)

Attempt to Refute the Halting Problem's Refutation 100 29 (8/12/2004 2:51:52 AM) comp.theory OK, before we get started with the meat of this, we need to agree on some definitions, so here we go: Definition: The "Halting Problem" is a problem which takes two inputs (machine,input), where "machine" is a... newstome (131)

Can returning a value change the value itself (in the Halting Problem) 173 44 (8/15/2004 6:57:44 PM) comp.theory Many of the attempts at refuting my refutation of the Halting Problem implicitly assumed that the answer to this question is no. They try to prove that my refutation is wrong by making this false assumption. In... olcott1 (1189)

Misthreaded reply to: Troll-sickness outbreak in Papillion 1 38 (8/20/2004 12:54:01 AM) comp.theory "Marc Goodman" wrote: > Peter Olcott wrote: [to Parr] >> You are now blocked, Good by. ITYM "Good-bye". It kind of takes the starch out of your plonk-o-gram when you misspell it. > I bet he would have plon... xanthian (647)

Refutation of the Halting Problem (Special Request) 3 32 (8/22/2004 5:43:01 PM) comp.theory Please trim all cross posts to other groups besides comp.theory, and sci.logic. Thank you ... olcott1 (1189)

Refutation of the Halting Problem's Proof (Clarifications Wanted) 66 26 (8/25/2004 11:39:23 AM) comp.theory www.halting-proiblem.com I want to make what I am saying as clear as possible. If anyone has any points that are still not clear, this is the thread to ask for clarifications. Also I would like to work towards... olcott1 (1189)

Can a regular Turing Machine provide Protected Memory? 287 51 (8/27/2004 12:13:51 PM) comp.theory It would seem that a regular Turing Machine would be able to provide protected memory. If we cast the problem as a regular TM that was designed as a UTM, it would seem to be able to provide Protected Memory Ser... olcott1 (1189)

Olcott is cured of CrackPottery! (Halting Problem) 63 26 (9/4/2004 6:50:13 PM) comp.theory In retrospect it was apparently me that was wrong all along. Alan Turing was right, and from this I will venture to make an educated guess that Kurt G�del was also right. I doubt if I will ever venture to thes... olcott1 (1189)

Halting Problem Final Conclusion 59 20 (9/5/2004 4:21:57 PM) comp.theory The Liar Paradox can be shown to be nothing more than a incorrectly formed statement because of its pathological self-reference. The Halting Problem can only exist because of this same sort of pathological self... olcott1 (1189)