Blue Boar wrote:

I seriously doubt that there is a programming language that can do anything useful that one can't do something stupid with.

Gödel's Incompleteness Theorem: no non-trivial logic system can be both consistent (all proven theorems are true) and complete (all true theorems are provable).


Blue Boar's Corollary: no non-trivial programming language can be both useful and safe :)

Crispin

--
Crispin Cowan, Ph.D.  http://immunix.com/~crispin/
CTO, Immunix          http://immunix.com





Reply via email to