RE: Funding AI

2002-12-01 Thread Ben Goertzel
Tim May wrote: Except I'll add that I don't agree physics is stumped by most complex systems. Physics doesn't try to explain messy and grungy situations, nor should it. Turbulence is a special case, and I expect progress will be made, especially using math (which is why Navier-Stokes issues

RE: Applied vs. Theoretical

2002-12-01 Thread Ben Goertzel
Tim May wrote: As I hope I had made clear in some of my earlier posts on this, mostly this past summer, I'm not making any grandiose claims for category theory and topos theory as being the sine qua non for understanding the nature of reality. Rather, they are things I heard about a decade or

Re: Applied vs. Theoretical

2002-12-01 Thread Osher Doctorow
From Osher Doctorow [EMAIL PROTECTED], Sunday Dec. 1, 2002 1243 Sorry for keeping prior messages in their entirety in my replies. Let us consider the decision of category theory to use functors and morphisms under composition and objects and commuting diagrams as their fundamentals. Because of

Re: Everything need a little more than 0 information

2002-12-01 Thread Russell Standish
Hal Finney wrote: That would be true IF you include descriptions that are infinitely long. Then the set of all descriptions would be of cardinality c. If your definition of a description implies that each one must be finite, then the set of all of them would have cardinality aleph-zero.