> Except it's much harder to find stable 3-body problems than computer programs that are predictable.

Proving that statement is true might be harder than either of the other two issues.