Re: Gödel and kernel backdoors

[mrx <mrx () propergander org uk>]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

On 18/09/2010 20:51, Georgi Guninski wrote:
> http://plus.maths.org/content/goumldel-and-limits-logic
> Gödel and the limits of logic
>
> Quote:
>
> Another result that derives from Gödel's ideas is the demonstration that
> no  program that does not alter a computer's operating system can detect
> all programs that do. In other words, no program can find all the
> viruses on your computer, unless it interferes with *and alters* the operating system.

Can software monitor, identify and log (measure) without interacting with and thus affecting the OS?
Perhaps this is the reason why mankind has not yet found a GUT.
Perhaps a paradox is all we have to work with.

- -- 
Mankind's systems are white sticks tapping walls.
Thanks Roy
http://www.propergander.org.uk
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.2 (MingW32)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/

iQEVAwUBTJU2gbIvn8UFHWSmAQKBSgf/ZOo6VSxEPABLKYfnTdLHsHIZhqNoKJAT
VYjf9TrczpcNmX+eg9w/R/tmyRHz4hwYqy72rI8J8gbax7gFo4x65PmGwOu27u5L
7u4jmee6CGvY354KwDvLpI0sI3901u4xkY2/n3mGOdQHTAmtWLL0B2ov8/1+/gc3
Wsr1M88qV/2vlFDb48gzyicHf8BHYlHIw0JKvu8Zt+is98BbLsEycOdBdK2Wve//
Sdq3XaADyaZ09oeYj2rZNs8NGm7nh38B3EBgQMyHYiE6Wy7Z8zztAgpk4heKAPm1
AHU/9kiCgnTozhPz8ROt9ZSKFnZuc4S+9SINGJl14GHOSGfSNBpRCw==
=i3Rx
-----END PGP SIGNATURE-----

_______________________________________________
Full-Disclosure - We believe in it.
Charter: http://lists.grok.org.uk/full-disclosure-charter.html
Hosted and sponsored by Secunia - http://secunia.com/