Re: Dijkstra's Methodology for Secure Systems Development

[Ian Grant]

The following is a response to what some may think an implausible
suggestion made here:

    http://lists.gnu.org/archive/html/guile-devel/2014-09/msg00124.html

The suggestion is that the system of education has been subverted so
that there are "unknown" physical laws which give "the unseen enemy"
strange powers over the semantics of computer hardware and software.

   http://livelogic.blogspot.com/2014/09/subverting-laws-of-physics.html

I make what I think most people will see to be a convincing argument
that this is in fact the case.