Log in

No account? Create an account


Previous Entry Share Next Entry
08:59 pm: Turing Says No!
Was explaining how figuring out full dependency information in a system where you can run arbitrary code is hard to the point of impossibility. Think it is best summed up with this image, what I made in gimp.

Beneath it should of course be a proof of the undecidability of the halting problem.

This entry was originally posted at http://morwen.dreamwidth.org/388386.html. Please comment there using OpenID.


[User Picture]
Date:June 8th, 2012 08:30 pm (UTC)
That's awesome. friend_of_tofu and I have determined that this image should appear on t-shirts!
[User Picture]
Date:June 8th, 2012 08:38 pm (UTC)
I am sure this can be arranged... *starts fiddling with zazzle*

Bah, zazzle want a higher resolution source image. I'll have to dig out a vector art program and do some tracing.

Edited at 2012-06-08 08:47 pm (UTC)
[User Picture]
Date:June 8th, 2012 09:50 pm (UTC)
Coincidentally I am making the pilgramage to Bletchley Park tomorrow :)
Date:June 8th, 2012 10:09 pm (UTC)
Pah proofs of impossibility exist to be disproven.
There isn't a recognised genius whose never got something wrong and acceptance of limits is damning the world to the finite.
As a great cultural icon once put it "To infinity and beyond" which is preferable to a saying by a well known Canadian sage "Ye cannae break tha laws of physics" :P

You weren't trying to explain this to your employer were you, they can be prone to a belief in the irrational such as there is always enough speed and space left in an existing system and it doesn't need more expensive hardware, or at least they do in engineering companies.
(no subject) - (Anonymous)
Date:June 10th, 2012 02:18 pm (UTC)
We're damned to a world where communicators are deemed profitable devices but 5 year missions to boldly go where no one has gone before are big Government been frivolous with our taxes ho hum :( Back in the early 70s we had men on the moon, supersonic passenger aicraft and vstol fighters. Now we have advanced ways of draining your wallet :(
Powered by LiveJournal.com