rms@AI.MIT.EDU (Richard Stallman) (02/04/91)
In computability
theory there is a theorem that says that *no* interesting property of
a program can always be determined by looking at the source.
Until we have a better practical way of validating programs, the
question of whether reading the source is perfect or not is of little
practical interest to MOST users of GNU Emacs. So please use a
different forum if you want to discuss it.