Talk:Calculus (disambiguation)

From Wikipedia, the free encyclopedia

You have new messages (last change).

[edit] Deleted text from main article

I deleted the following text, which I think was inaccurate, and goes into too much depth for a disambig page:

In the most general sense, the term calculus refers to a system of formal rules of inference and axioms that are used for computation. MathWorld defines it as "an abstract theory developed in a purely formal way". [1]
The more generalized usage is particularly common in mathematical logic, where a calculus is applied to compute universally true statements of a certain formal logic. Examples include the calculus of natural deduction, the sequent calculus, as well as many other calculi that are deviced in proof theory.
Retrieved from "http://en.wikipedia.org../../../c/a/l/Talk%7ECalculus_%28disambiguation%29_a1e3.html"