Re: virus: Brain Tennis

David Leeper (
Fri, 25 Oct 1996 18:54:30 -0500

Kenneth Boyd,

> I have no experience with Cohesive Math. I still have to make it over to
> your Web page on it. [I have the website reference, still].

You _must_ check out CM. If you don't, everyone will DIE! Can you live
with this on your

If you ever do have the chance to check it out, I'd appreciate your feedback.

> If one can prove that the source is bug-free, the only source of bugs is
the compiler.

Proving code to be correct? The only thing I've ever read about this is
Dykstra'a "Predicate
Calculus And Programming Semantics", a deep book to say the least. Is this
what you're
refering to? By the way, programs are memes, so its OK to talk about them
on this list.

> This is why some
> companies do not hire computer scientists to do their programming;
> instead, they hire mathematicians and train them. The vastly improved
> stability of the code is critical to these companies.

On the other hand, sometimes mathematicians get fired for being to
theoretical and not
producing. The job I have now was previously held by a guy who got fired
for this.

David Leeper
Homo Deus