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.
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.
"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@example.com.
To unsubscribe from this group, send email to
For more options, visit this group at