On 11/5/2012 1:49 PM, Bruno Marchal wrote:
[SPK] You are considering only one entity.
This is incorrect. For example the first person plural is defined in
term of duplication of populations of machines sharing universal
I would like to restrict my discussions to just a few questions
about the comp hypothesis. I do not understand how the AUDA explains the
"duplication of populations of machines sharing universal
numbers/computations". Could you elaborate on this? I asked previously
if there exists an index set or some other way to identify differences
between populations. You didn't seem to know what an index set
<http://en.wikipedia.org/wiki/Index_set> is... My confusion is that I
see only a single equivalence class of machines allowed by Tennenbaum's
am I going wrong?
My problems center around your ideas about 3p-truth!
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