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.



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

Reply via email to