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 [email protected]
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 [email protected].
To unsubscribe from this group, send email to [email protected]
.
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 [email protected].
To unsubscribe from this group, send email to
[email protected].
For more options, visit this group at
http://groups.google.com/group/everything-list?hl=en.
