On 8/6/2012 10:37 AM, Bruno Marchal wrote:
We cannot use the Godel numbering because they are not unique,
?
If the names (description) were unique, there would be no first person
indeterminacy. A enumerable infinity , non mechanically enumerable
though, of explicit description of Stephen King exists in arithmetic,
if comp is true.
Dear Bruno,
But it does not exist uniquely as a singleton in arithmetic and
that is the problem. It does exist as the equivalence relation on a
infinite class of computations, but these equivalence classes do not
have a power-set of which they are a uniquely defined. Names are only
meaningful when and if they are 3p.
--
Onward!
Stephen
"Nature, to be commanded, must be obeyed."
~ Francis Bacon
--
You received this message because you are subscribed to the Google Groups
"Everything List" group.
To post to this group, send email to [email protected].
To unsubscribe from this group, send email to
[email protected].
For more options, visit this group at
http://groups.google.com/group/everything-list?hl=en.
