[Cryptography] Is it mathematically provably impossible to construct a mechanism to test for back doors in programs?

[Dave Horsfall]

On Sat, 31 May 2014, ianG wrote:

> Talking about proof of work and so forth, seen on the net:

[...]

Sounds to me like trying to solve the Halting Problem.

-- Dave