On 28 Aug 2014, at 13:33, Telmo Menezes wrote:
On Wed, Aug 27, 2014 at 11:11 PM, Platonist Guitar Cowboy <multiplecit...@gmail.com
> wrote:
Legitimacy of proof and evidence (e.g. for a set of cool algorithms
concerning AI, more computing power, big data etc), is an empty
question to ask, outside a specified theory. It's like some alien
questioning whether the rules of soccer on earth are "valid in
absolute sense".
Are we after freedom from contradictions? Completeness? Utility
function, what are the references, where is the ultimate list?
ISTM Gödel's work has more to say about AI and monkey rock throwing
theologies than we might be inclined to assume.
Agreed.
Me too. And the lesson is that we are mainly in front of the unknown.
Then it is like skying. We can see terrible obstacles (to happiness)
there, but if we don't focus to much on them, we can travel in between
and make the trip enjoyable. The amoeba's DNA already codes a
representation of "help yourself". Neither the amoeba, nor us, can
code "and the heaven will help", but we can hope, and even develop
some trust.
AI will no more doom us than our children. It is a matter of good
education, and trust in our values. Of course we better should apply
them too.
Bruno
--
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 everything-list@googlegroups.com.
Visit this group at http://groups.google.com/group/everything-list.
For more options, visit 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 everything-list@googlegroups.com.
Visit this group at http://groups.google.com/group/everything-list.
For more options, visit https://groups.google.com/d/optout.
http://iridia.ulb.ac.be/~marchal/
--
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 everything-list@googlegroups.com.
Visit this group at http://groups.google.com/group/everything-list.
For more options, visit https://groups.google.com/d/optout.
