quentron.com

[sarkeizen]

Well.... when one man reads implicit agreement where another wrote explicit clarification

Not really.  I stated clearly what the thing was...and then you changed the environment.  Remember your program has to work with an arbitrary program.  So this is more about you being a dick than actually being clever.

All you've done is replace a clear channel with a noisy one.  Any channel regardless of how noisy can be read at some non-zero accuracy  In which case your program still fails determinism.   How about thinking next time?

[Regster]

All you've done is replace a clear channel with a noisy one.

Oh crap, my remaining irony gland has just imploded.

[sarkeizen]

Oh crap, my remaining irony gland has just imploded.

*yawn* You were just trolling?  Well that's disappointing.  I was kind of interested to see what wrong idea you'd come up with next.

If you actually are serious...perhaps we can look at something that isn't so much a proof but an interesting example.  Can you tell me how you might detect the halt for a program searching for a string of arbitrary length in Pi?

[Regster]

*yawn* You were just trolling?  Well that's disappointing.  I was kind of interested to see what wrong idea you'd come up with next.

There's an infinite loop if ever I saw one.  Au revoir.

[sarkeizen]

There's an infinite loop if ever I saw one.  Au revoir.

But...but....but...you seemed to imply that this was so easy.  Why is it all of a sudden not easy?