Difference between revisions of "Formalization method"
(Importing text file) |
(Tex done) |
||
| Line 1: | Line 1: | ||
| − | A way of expressing by a [[ | + | A way of expressing by a [[formal system]] a mathematical theory. It is one of the main methods in [[proof theory]]. |
An application of the formalization method involves carrying out the following stages. | An application of the formalization method involves carrying out the following stages. | ||
| − | 1) Putting the original mathematical theory into symbols. In this all the propositions of the theory are written in a suitable logico-mathematical language | + | 1) Putting the original mathematical theory into symbols. In this all the propositions of the theory are written in a suitable logico-mathematical language $\mathcal L$. |
2) The deductive analysis of the theory and the choice of axioms, that is, of a collection of propositions of the theory from which all other propositions of the theory can be logically derived. | 2) The deductive analysis of the theory and the choice of axioms, that is, of a collection of propositions of the theory from which all other propositions of the theory can be logically derived. | ||
| − | 3) Adding the axioms in their symbolic notation to a suitable [[ | + | 3) Adding the axioms in their symbolic notation to a suitable [[logical calculus]] based on $\mathcal L$. |
| − | The system obtained by this formalization is now itself the object of precise mathematical study (see [[ | + | The system obtained by this formalization is now itself the object of precise mathematical study (see [[Axiomatic method]]; [[Proof theory]]). |
====References==== | ====References==== | ||
| − | <table><TR><TD valign="top">[1]</TD> <TD valign="top"> S.C. Kleene, "Introduction to metamathematics" , North-Holland (1951)</TD></TR></table> | + | <table> |
| + | <TR><TD valign="top">[1]</TD> <TD valign="top"> S.C. Kleene, "Introduction to metamathematics" , North-Holland (1951)</TD></TR> | ||
| + | </table> | ||
| + | |||
| + | {{TEX|done}} | ||
Latest revision as of 16:48, 18 October 2016
A way of expressing by a formal system a mathematical theory. It is one of the main methods in proof theory.
An application of the formalization method involves carrying out the following stages.
1) Putting the original mathematical theory into symbols. In this all the propositions of the theory are written in a suitable logico-mathematical language $\mathcal L$.
2) The deductive analysis of the theory and the choice of axioms, that is, of a collection of propositions of the theory from which all other propositions of the theory can be logically derived.
3) Adding the axioms in their symbolic notation to a suitable logical calculus based on $\mathcal L$.
The system obtained by this formalization is now itself the object of precise mathematical study (see Axiomatic method; Proof theory).
References
| [1] | S.C. Kleene, "Introduction to metamathematics" , North-Holland (1951) |
Formalization method. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Formalization_method&oldid=39433