From: Eugen Leitl (eugen@leitl.org)
Date: Wed Dec 31 2003 - 10:12:48 MST
On Wed, Dec 31, 2003 at 07:31:20AM -0800, Tommy McCabe wrote:
> True, but no disproof exists. If anyone thinks they
> have one, I would be very interested. And there's
> currently no good reason I can see why Friendly AI
> shouldn't be possible.
I can't see why flying rednosed reindeer shoudn't be possible.
Undecidability will cook your goose, though.
This archive was generated by hypermail 2.1.5 : Wed Jul 17 2013 - 04:00:43 MDT