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,
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
2 matches
Mail list logo