From: peb@PROCASE.COM
Date: Wed, 12 May 93 12:00:25 PDT
To: cypherpunks@toad.com
Subject: The Halting Problem
Message-ID: <9305121900.AA09630@banff>
MIME-Version: 1.0
Content-Type: text/plain



It occurred to me that determining whether a set of random bytes is
actually a crypto message could be reduced to the halting problem.
Given this, it would be theoretically impossible to prove that an
uncrackable message was indeed a crypto message.  The revelation here
(for me, anyway) is that if arbitrary crypto were made illegal, the
burden of proof would be on the prosecution which would have to crack
the message (at least partially).


Paul E. Baclace
peb@procase.com