Alan Watson scripsit:
> No, I mean that while computer scientists have proofs of correctness, I
> have to be content with proofs of incorrectness.
Yes, well, a friend of mine who is both a mathematician and a computist
once opined: "Almost all theorems are true, but almost all proofs ar
buggy." After all, proofs are only desk-checked, and only the most
important ones are even peer-reviewed! What kind of testing is that?
--
John Cowan [EMAIL PROTECTED]
http://www.ccil.org/~cowan
Humpty Dump Dublin squeaks through his norse
Humpty Dump Dublin hath a horrible vorse
But for all his kinks English / And his irismanx brogues
Humpty Dump Dublin's grandada of all rogues. --Cousin James
_______________________________________________
r6rs-discuss mailing list
[email protected]
http://lists.r6rs.org/cgi-bin/mailman/listinfo/r6rs-discuss
