Dear Bruno,

  I would like to start a new thread to discuss the nature and existence of
the "many non computational things" that you have mentioned in your posts.
   Could you find a few moments to write some remarks on these? In
particular I wonder if their proposed non-computability can be expanded
into disjoint classes such that we have some kind of taxonomy of
properties. Can they be represented approximately by a finite language?
   Other than the restriction of recursive enumerability (modulo
homeomorphisms of their topological duals), what is it, in your opinion,
that makes such things "non-computable"?


Kindest Regards,

Stephen Paul King

Senior Researcher

Mobile: (864) 567-3099

“This message (including any attachments) is intended only for the use of
the individual or entity to which it is addressed, and may contain
information that is non-public, proprietary, privileged, confidential and
exempt from disclosure under applicable law or may be constituted as
attorney work product. If you are not the intended recipient, you are
hereby notified that any use, dissemination, distribution, or copying of
this communication is strictly prohibited. If you have received this
message in error, notify sender immediately and delete this message

You received this message because you are subscribed to the Google Groups 
"Everything List" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
To post to this group, send email to
Visit this group at
For more options, visit

Reply via email to