A framework for measuring the complexity of mathematical concepts (Q920074)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A framework for measuring the complexity of mathematical concepts |
scientific article |
Statements
A framework for measuring the complexity of mathematical concepts (English)
0 references
1990
0 references
Natural definitions of notions needed for syntax of explicit definitions of new mathematical concepts in a first order theory are presented. This includes elementary theory of definitions and precise formulations of the notions of definition tree and definition dag of a presentation of a mathematical concept. A sequel is promised where the work presented here is employed for detailed analysis of the complexity of mathematical concepts. Some work on the theory of definitions has been done by Sh. Pkhakadze (Tbilisi) and his students [cf. \textit{Z. O. Khasidashvili}, Lect. Notes Comput. Sci. 417, 105-111 (1990)].
0 references
syntax of explicit definitions of new mathematical concepts in a first order theory
0 references
elementary theory of definitions
0 references
definition tree
0 references
definition dag
0 references