Re: Technology Advancements (was: Generation gap)

Hara Ra (
Sat, 04 Oct 1997 13:16:59 -0700

Anders Sandberg wrote:
> Geoff Smith <> writes:
> > Does G=F6del prove that mathematics is infinitely complex, or just
> > incomprehensibly so?
> I think infinitely complex is the likely choice. I'm not sure I can
> prove it (metamathematics is not my strong suit), but given the
> results by Chaitin about the random and non-algorithmic structures
> in the natural numbers it seems that the complexity of mathematics
> is infinite, not just incomprehensible.

I suspect the actual answer is "both". The kinds of propositions which
meet Godel's criterion are lengthy, involuted and not the kind of thing
human minds find easy to process. Note that the use of computers to help
mathematical proofs have already produced very lengthy complex proofs
which require teams of mathematicians to verify.

| Hara Ra <> |
| Box 8334 Santa Cruz, CA 95061 |