In mathematical logic, a formal calculation, or formal operation, is a type of mathematical calculation, often involving power series, that is carried out purely algebraically while disregarding questions of convergence. The expressions are manipulated according to algebraic rules, without requiring that the underlying series or operations necessarily converge in the analytical sense.
In mathematical logic, a formal calculation, or formal operation, is a type of mathematical calculation, often involving power series, that is carried out purely algebraically while disregarding questions of convergence. The expressions are manipulated according to algebraic rules, without requiring that the underlying series or operations necessarily converge in the analytical sense.
Source: Wikipedia "Formal calculation" · CC BY-SA 4.0
Share this article: X · Bluesky