Xref: utzoo gnu.emacs.help:1058 comp.emacs:9999
Path: utzoo!utgpu!watserv1!watmath!uunet!tut.cis.ohio-state.edu!AI.MIT.EDU!rms
From: rms@AI.MIT.EDU (Richard Stallman)
Newsgroups: gnu.emacs.help,comp.emacs
Subject: Let's eschew philosophical nit-picking
Message-ID: <9102040114.AA16571@mole.ai.mit.edu>
Date: 4 Feb 91 01:14:17 GMT
Sender: daemon@tut.cis.ohio-state.edu
Followup-To: gnu.emacs.help
Organization: Gatewayed from the GNU Project mailing list help-gnu-emacs@prep.ai.mit.edu
Lines: 9


      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.