COMPUTER LANGUAGE ADVANCES
Daniel E. Cooke, Michael Gelfond, Joseph E. Urban · 2001
Introduction. The beginning of modern computer science can be marked by Alan Turings paper, which among other advances, showed that there are unsolvable problems. [1] Within the infinite set of solvable problems there is a set of technically feasible and problems that are not technically feasible to solve (e.g., problems that it would take a supercomputer of today 10,000 years to solve). Thus, from the beginning, computer science has been viewed as the science of problem solving using computers. One category of computer science research is devoted to outwardly encroaching upon the set of infeasible problems. Advances in computer hardware, for example, lead to more powerful computers that execute faster and have larger stores of memory. Advances in hardware are meant to result in improvements in the raw computing power of the devices that can be brought to bear in order to solve more complex problems. Additionally, research efforts focusing on complexity and alg