quentron.com

[Regster]

I'm too busy with my thesis attempting to prove that there is NOT a Cookie Monster living at the earth's core.  Once that is done, I'm moving onto the teacup orbiting the sun and then I'll have some spare time.

All joking aside, the quenco proposition as described does not require an active sorting mechanism/intelligence.  Same with salmon leaps.  The fish/particles are sorted by their own energy levels vs size of barrier.

I think the concept is throwing people with its mingboggling simplicity.

[sarkeizen]

All joking aside, the quenco proposition as described does not require an active sorting mechanism/intelligence.

Not all MD devices do.

So what happens with your code analyzer?

Assuming your code is called: WillThisEnd(program,data).  Program and data are some way of delivering the program that needs to be analyzed and the data that "program" needs to operate on into your code and it returns 0 if true (program terminates) and 1 if false (program loops endlessly)

void WillThisEndOnSelf(program)
{
   if (WillThisEnd(program,program) == 0 )
       while(1);
   else
       return;
}

Now I execute:

WillThisEndOnSelf(WillThisEndOnSelf);

If WillThisEnd yields true...it's wrong because we don't halt.
If WillThisEnd yields false...it's wrong because we exit

Since WillThisEnd only produces True or False and must exit we have a proof by contradiction.

There are various ways you could pass "program" but they all work out the same. 

There are some other fun questions about WillThisEnd() - for example what possible complexity class could it have?

How could you, outside of running the program determine an exit condition which the program can not know in advance?

[Regster]

Well, the result... nay... existance of WillThisEndOnSelf is irrelevant because the magic happens in WillThisEnd.  Also the number and format of variables required would be worked out by WillThisEnd so no need to pass anything to it apart from the single argument, the location of the program.  And WillThisEnd would do what I outlined above.

So it wouldn't really matter what I returned from WillThisEnd to your piece of code (should you be so lucky as to get a copy of my source), because in executing it in the first place you have an answer played in audio form with a booming voice shouting UVAVU! or ERANU! (with a suitably dramatic reverb) just before your infinte while executes or your function returns. 

[sarkeizen]

Well, the result... nay... existance of WillThisEndOnSelf is irrelevant because the magic happens in WillThisEnd.  Also the number and format of variables required would be worked out by WillThisEnd so no need to pass anything to it apart from the single argument, the location of the program.  And WillThisEnd would do what I outlined above.

So it wouldn't really matter what I returned from WillThisEnd to your piece of code

Sure does.  That's exactly what is stated in the spec...just a couple of posts above.  You implicitly agreed to it by using my terms.

...and whatver you say we just do the opposite.

Sorry your code doesn't work.

[Regster]

Well.... when one man reads implicit agreement where another wrote explicit clarification it's an unfortunate part of life, but somewhere a unicorn dies.

*bows head in respectful mourning*