-----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/