Re: M. alors

2001-04-20 Thread Marchal
Jacques Mallah wrote: Everett is discussed below; he does _not_ believe in your 1st person by another name subjective. My feeling is that you are putting too much in my 1st person notion. A relationship between a computation and another mathematical structure, ... What relationship,

Re: Revised Computing Randomness the UD

2001-04-20 Thread Hal Ruhl
Dear Russell: I think you miss what I am saying. At 4/20/01, you wrote: I disagree. The UD will have a particular way of generating (or enumerating) the theorems of the FAS, such that it doesn't generate the same theorem twice. The UD is [so it is said] generating all theorems. Some of these