[r6rs-discuss] Lexical Syntax

[John Cowan]

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                              cowan at ccil.org
            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