Comment by idlewords

I think this basic concept of intractability, which programmers are very familiar with, hasn't penetrated far enough into AI world.

Bostrom and Yudkowsky in particular seem happy to hand-wave past computational complexity.