On 07 Dec 2012, at 01:21, Russell Standish wrote:

Re the thread title: it appears the introspection is quite a difficult
task, contrary to how it seems. But people are working on the
problem. See Brian Scassellati's web page:

http://cs-www.cs.yale.edu/homes/scaz/Research.html

particularly the section: Self-other discrimination


Sound (arithmetically sound) machine's introspection gives right to the 8 hypostases. It comes from the fact that the Löbian machine can prove its own Löb's theorem. Machines become aware of their incompleteness when they introspect themselves, in some 3p manner (with an implicit bet on comp), but the first person associated to it feels immune, and this generates already a sort of conflict between the 3p and 1p linked to the machine.

Eventually the machine get the physical laws, by pure introspection or self-reference.

Bruno





Cheers

--

----------------------------------------------------------------------------
Prof Russell Standish                  Phone 0425 253119 (mobile)
Principal, High Performance Coders
Visiting Professor of Mathematics      hpco...@hpcoders.com.au
University of New South Wales          http://www.hpcoders.com.au
----------------------------------------------------------------------------

--
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 .


http://iridia.ulb.ac.be/~marchal/



--
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