Recursion theory is a branch of mathematical logic which studies classes of problems and the machines or processes required to solve them.
Much of the field is concerned with different kinds of hypercomputation.
... Edward Felton's freedom-to-tinker Web site (www.freedom-to-tinker.com) for some observations on the DCMA, its proposed successors, and their consequences, intended and ...