On Wed, Aug 27, 2014 at 11:11 PM, Platonist Guitar Cowboy <
[email protected]> 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.


>
>
> --
> 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 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 [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/everything-list.
For more options, visit https://groups.google.com/d/optout.

Reply via email to