On Wed, Jul 30, 2008 at 04:50:39AM -0700, Roman V. Shaposhnik wrote:
>
> No. But to give you an example of why that shouldn't matter I would
> like to note that the human thought is, in my opinion, finite. Yet,
> we have developed very nice and efficient tools for comprehending and
> reasoning about infinity.
>
Like the antinomies that shaked the foundations of Mathematics at the
beginning of the 20th century :-^
And as a side note, I'm always happy when I read papers about AI where
somebody explains that a computer will probably be able (using huge
parallelism perhaps!) to solve problems that a humain being can not
solve.
I.e., that a program, that is instructions; this means, finally, integer
numbers (sequence of bits); that is a projection on arithmetic, will be
able to decide undecidable propositions... (I seem to remember something
about Gödel...)
> P.S. I guess, we are getting way off topic here.
Yes, and I will stop there.
Cheers,
--
Thierry Laronde (Alceste) <tlaronde +AT+ polynum +dot+ com>
http://www.kergis.com/
Key fingerprint = 0FF7 E906 FBAF FE95 FD89 250D 52B1 AE95 6006 F40C
