> On 13 Mar 2018, at 01:04, Brent Meeker <[email protected]> wrote: > > And consciousness?
It is knowledge---of at least one truth. It is a given for all universal machines, from which they can be deluded or not with respect to their most probable histories. The 3p “I” of the machine is handled by the second recursion theorem of Kleene: you got a machine e which can reason, think, know, observe things about e, including its emulation in different contexts, but the 1p “I” is when that e *is* self-referentially correct, notably on the fact that it knows something in relation with some notion of truth/reality. That is not testable per se (only provable for simple Löbian machine, like Peano arithmetic). To me, the Löbian discourse (sum up by the modal logic G), together with the truth, sum up by G*, makes me think that Peano arithmetic has passed the test of consciousness, once she explains why she should better not confuse []p and []p & p, despite praying for their equivalence (explicitly so when saying “yes doctor”). Bruno > > >> Robot Passes AI Test >> >> https://www.youtube.com/watch?v=95aYLmG0wt8 >> <https://www.youtube.com/watch?v=95aYLmG0wt8> > > http://kryten.mm.rpi.edu/SBringsjord_etal_self-con_robots_kg4_0601151615NY.pdf > > <http://kryten.mm.rpi.edu/SBringsjord_etal_self-con_robots_kg4_0601151615NY.pdf> > > Brent > > -- > 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 [email protected] > <mailto:[email protected]>. > To post to this group, send email to [email protected] > <mailto:[email protected]>. > 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 [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/everything-list. For more options, visit https://groups.google.com/d/optout.
