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 everything-list@googlegroups.com.
To unsubscribe from this group, send email to 
everything-list+unsubscr...@googlegroups.com.
For more options, visit this group at 
http://groups.google.com/group/everything-list?hl=en.

Reply via email to