Peter_de_Blanc comments on Changing accepted public opinion and Skynet

Peter_de_Blanc 23 May 2009 12:47 UTC
0 points

I’ve been trying to think of mathematical formalisms to explore this question, but I haven’t come up with a satisfactory one yet.

Have you looked at AIXI?
- whpearson 23 May 2009 15:42 UTC
  0 points
  Parent
  It is trivial to say one AIXI can’t comprehend another instance of AIXI, if by comprehend you mean form an accurate model.
  
  AIXI expects the environment to be computable and is itself incomputable. So if one AIXI comes across another, it won’t be able to form a true model of it.
  
  However I am not sure of the value of this argument as we expect intelligence to be computable.