(urth) 5HC : Utopias and tests
marudubshinki at gmail.com
Fri Feb 4 15:24:01 PST 2005
You ever look at the encoded integers involved in the proofs of the
various Godel proofs? Those are are propositions (If I am
understanding 'propisition' as equivalent to theorems; if they are
axioms, well it is still true, just in a different way), way bigger in
information and bulk than 'Cerberus'
Microsoft delenda est.
Remember what the dormouse said! Feed your head! Feed your head!
On Fri, 04 Feb 2005 14:10:29 +0000, Iorwerth Thomas
<iorweththomas at hotmail.com> wrote:
> I'm not convinced that 5HoC is anything at all like a proposition. It's a
> little... big.
> Urth Mailing List
> To post, write urth at urth.net
> Subscription/information: http://www.urth.net
More information about the Urth