[Novalug] OT question about a mathematician's proof of a program

Jay Hart jhart@kevla.org
Sun Nov 17 19:16:02 EST 2013


Charlie,

Others have hit on the right answer. There is no such thing as a secure system.  There are only
systems that you "think" haven't been compromised.

Jay

> List,
>
> I'm a bit disappointed in the responses to the question. It was serious.
> When I was was at UNC Chapel Hill I took some heavy duty math. The only
> time I ran into trouble was when a math professor almost flunked me
> because I had a problem with the "sufficient" part of "necessary and
> sufficient". Or the "only" part of "if and only if". Presumably the
> compilers, GCC, etc, are subjected to the same sort of proof, so when I
> saw the announcement a couple of days ago of a kernel being created using
> bash only I was inspired to ask the question I did. Then I remembered,
> bash is going to be subjected to the same process. And so will ReactOS,
> the Windows replacement being recreated using I don't know what license.
>
> I am omitting the snarky answers.
>
> Charlie
>
>
> _______________________________________________
> Novalug mailing list
> Novalug@calypso.tux.org
> http://calypso.tux.org/mailman/listinfo/novalug
>





More information about the Novalug mailing list