One rule beyond dispute is that a law of nature, including its mathematical manifestations, is not patentable. This prohibition proceeds from the notion that such laws are the fundamental building blocks of science and should not be monopolized. The recent proliferation of computer software has forced the courts to define more precisely which inventions involving the use of computers or mathematical formulas (or “algorithms”) are disqualified under section 101 of the Patent Act.