OK. That is important, but the machines do that too. Information processing is like computing and proving, and can be described in 3p terms. It is the “p” in the list of self-referential modes. But the (Löbian) machine is aware that she cannot know, nor even define precisely, her own correctness, and that she cannot prove, if true, the equivalence between p and “p & p”, so she is bounded to find Theatetetus definition of the soul or of the knower, which is pure 1p, and does not admits any pure 3p description. I would say that this might corresponds to your “experience” processing. Then, eventually the notion of “matter” can be explained in term of the number experience processing (sharable for the quanta, and non sharable for the qualia). There is no need to invoke some inert substance that nobody can define nor test. All computers (physical universal machine) and the non material universal machine are equivalent with respect to computability and emulability. Please note that they are NOT equivalent with respect to provability, even if, when self-referentially correct, their provability predicate will all obey to the same theology (G*), but will differ in their interpretation, contents, etc. Bruno > > https://codicalist.wordpress.com/2018/10/14/experience-processing/ > https://codicalist.wordpress.com/2018/12/14/material-semantics-for-unconventional-programming/ > > - pt > > -- > 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 everything-list+unsubscr...@googlegroups.com > <mailto:everything-list+unsubscr...@googlegroups.com>. > To post to this group, send email to firstname.lastname@example.org > <mailto:email@example.com>. > Visit this group at https://groups.google.com/group/everything-list > <https://groups.google.com/group/everything-list>. > For more options, visit https://groups.google.com/d/optout > <https://groups.google.com/d/optout>. -- 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 everything-list+unsubscr...@googlegroups.com. To post to this group, send email to firstname.lastname@example.org. Visit this group at https://groups.google.com/group/everything-list. For more options, visit https://groups.google.com/d/optout.