Computers and computer programs are harnessed these days to solve an extremely diverse range of problems. These problems include weather forecast, scheduling problems, designing, and controlling trajectories for satellites, recognizing individual human faces, playing chess, trading in the stock market, diagnosing cancer cells, assembling automobiles and airplanes, and driving autonomous cars (this is obviously a very partial list). In many cases, computers outperform human experts working on the same problem. In the future decades, we may expect computers to gradually replace medical doctors (completely or partially), express emotions, compose high quality music, etc. etc. Given these amazing fits, one wonders if computers are omnipotent: Can computers solve every problem, provided it is well defined?