Re: Provable vs Computable

2001-05-05 Thread Saibal Mitra
George Levy wrote: [EMAIL PROTECTED] wrote: Example: a never ending universe history h is computed by a finite nonhalting program p. To simulate randomness and noise etc, p invokes a short pseudorandom generator subroutine q which also never halts. The n-th pseudorandom event of

Re: Belief Knowledge

2001-05-05 Thread Marchal
Robert W. wrote: I also mention it because it seems that much of the dicussion here is forcing understanding through symbolic logic. There is no way to force understanding. You know there was a time when people believed that the 5th postulate of Euclide geometry was a consequence of the four

Re: Provable vs Computable

2001-05-05 Thread Marchal
scerir wrote: Juergen Schmidhuber wrote: Which are the logically possible universes? Max Tegmark mentioned a somewhat vaguely defined set of self-consistent mathematical structures'' implying provability of some sort. The postings of Bruno Marchal and George Levy and Hal Ruhl

Re: The role of logic, planning ...

2001-05-05 Thread Marchal
Russell Standish wrote: Ah! You mean the problem of consciousness (or more exactly, the problem of having a theory of conscsiousness). Yes - I'm well aware of this problem, and unlike some, I don't believe it is a non-problem. OK. I prefer to call it the mind-body problem. That reminds us that

Re: Provable vs Computable

2001-05-05 Thread Marchal
Juergen Schmidhuber wrote Which are the logically possible universes? Max Tegmark mentioned a somewhat vaguely defined set of ``self-consistent mathematical structures,'' implying provability of some sort. The postings of Bruno Marchal and George Levy and Hal Ruhl also focus on what's provable