Re: Computing Randomness

From: Duraid Madina <duraid.domain.name.hidden>
Date: 11 Apr 2001 19:33:55 +1000

> There is an infinite cascade of provable
> theorems of, say, number theory.

But what if you declare theorems which say the same thing to be the
_same theorem_, rewritten?

    Duraid
Received on Wed Apr 11 2001 - 02:35:54 PDT