Re: Technology Advancements (was: Generation gap)

Geoff Smith (
Tue, 30 Sep 1997 12:09:36 -0700 (PDT)

> Anders Sandberg:
> >More philosophically, imagination is likely not limited since it
> >can encompass mathematics, and by G=F6del's theorem we know mathematics
> >is not limited - there are always new, unexpected and unprovable
> >theorems. So there will always be things that can be imagined that
> >cannot be deduced automatically (finding them may be hard).=20

Does Gvdel prove that mathematics is infinitely complex, or just
incomprehensibly so?

Would you say this is the limiting factor to omniscience?

(I've always just thought of the limiting factor to be that the omniscient
being must have a complete map of the mandelbrot set memorized)