A framework for measuring the complexity of mathematical concepts

DOI10.1016/0196-8858(90)90002-GMaRDI QIDQ920074zbMATH OpenFDO

Authors Harvey M. Friedman, Robert C. Flagg

Publication date 1990

Published in Advances in Applied Mathematics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0196-8858(90)90002-G

zbMATH Keywords

definition dagdefinition treeelementary theory of definitionssyntax of explicit definitions of new mathematical concepts in a first order theory

Mathematics Subject Classification ID

Classical first-order logic (03B10) Foundations of classical theories (including reverse mathematics) (03B30)

Review text

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)].

Recommendations

• On complexity of statements and meaningful complexity of an axiomatic theory
• scientific article; zbMATH DE number 6984345
• On definitions in mathematics
• scientific article; zbMATH DE number 496219
• On the complexity of inductive definitions

Cites work

• scientific article; zbMATH DE number 3125691 (Why is no real title available?)
• scientific article; zbMATH DE number 1028821 (Why is no real title available?)
• Model theory.

Cited in

(3)

• scientific article; zbMATH DE number 5772857 (Why is no real title available?)
• Relevance for the classical logician
• scientific article; zbMATH DE number 5234254 (Why is no real title available?)

Describes a project that uses

Uses Software

• YACC

This page was built for publication: A framework for measuring the complexity of mathematical concepts

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q920074)