There are mathematical problems that computers cannot solve, no matter how poweful and complicated they are. This has been known since the 1920s, from the works of Turing, Goedel and others. Solving an arbitrary optimization problem in plain english is one example of such "undecidable" problems...