| Formal Calculation |
Article Index for Formal |
Shopping Calculation |
Website Links For Formal |
Information AboutFormal Calculation |
| CATEGORIES ABOUT FORMAL CALCULATION | |
| mathematical logic | |
|
However, this interpretation of the term . EXAMPLES A simple example A somewhat exaggerated example would be to use the equation : (which holds under certain conditions) to conclude that : This is incorrect according to the usual definition of infinite sums of real numbers, since the related sequence does not converge. However, this result can inspire extending the definition of infinite sums, and the creation of new fields, such as the 2-adic Numbers , where the series in question converges and this statement is perfectly valid. Formal power series Formal Power Series is a concept that adopts some properties of convergent Power Series used in Real Analysis , and applies them to objects that are similar to power series in form, but have nothing to do with the notion of convergence. Symbol manipulation Suppose we want to solve the Differential Equation : Treating these symbols as ordinary algebraic ones, and without giving any justification regarding the validity of this step, we take reciprocals of both sides: : Now we take a simple Antiderivative : : : Because this is a ''formal'' calculation, we can also allow ourselves to let and obtain another solution: : If we have any doubts about our argument, we can always check the final solutions to confirm that they solve the equation. SEE ALSO REFERENCES |
|
|