Talk:Calculus (disambiguation)
| This is the talk page for discussing improvements to the Calculus (disambiguation) page. This is not a forum for general discussion of the article's subject. |
Article policies
|
| Find sources: Google (books · news · scholar · free images · WP refs) · FENS · JSTOR · TWL |
 | This disambiguation page does not require a rating on Wikipedia's content assessment scale. It is of interest to the following WikiProjects: | |||||||
| ||||||||
Deleted text from main article
[edit]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.
The preceding unsigned statement by Chalst (talk), 14:47, 10 February 2005 (UTC)
. —Preceding unsigned comment added by 173.26.167.191 (talk) 00:41, 14 March 2011 (UTC)
I added it back in as a shorter link to Logical calculus, as it seemed odd that the "calculus" disambiguation page made no reference to the meaning of calculus itself. --PA — Preceding unsigned comment added by 124.168.147.59 (talk) 23:53, 11 October 2011 (UTC)