Re: Computing Randomness

From: Hal Ruhl <hjr.domain.name.hidden>
Date: Thu, 12 Apr 2001 08:06:43 -0700

Dear Juergen:

In case what I tried to say was not clear the idea is that there are no
more than 2^(N + c) shortest possible unique proofs in an N-bit FAS. How
can number theory if it is a finite FAS contain an infinite number of
unique theorems?

Hal
Received on Thu Apr 12 2001 - 05:08:53 PDT