AI, Computer Science, Philosophy, Dynamic Programming, Machine Learning.
the computer science foundations. According to Stanford philosophy encyclopedia computer science produces theoretical claims on what is impossible. The basic idea is that if any empirical system is able to demonstrate that the theories have been invalidated, and then we need a better theory. So