A framework for measuring the complexity of mathematical concepts
type: Item
instance of: scholarly article
title: A framework for measuring the complexity of mathematical concepts
zbMATH Open document ID: 0708.03003
DOI: 10.1016/0196-8858(90)90002-G
author: Harvey M. Friedman
author: Robert C. Flagg
published in: Advances in Applied Mathematics
publication date: 1990-01-01T00:00:00Z
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)].
Mathematics Subject Classification ID: 03B10
Mathematics Subject Classification ID: 03B30
zbMATH DE Number: 4162850
zbMATH Keywords: syntax of explicit definitions of new mathematical concepts in a first order theory
zbMATH Keywords: elementary theory of definitions
zbMATH Keywords: definition tree
zbMATH Keywords: definition dag
reviewed by: G. E. Mints
describes a project that uses: YACC
MaRDI profile type: Publication
cites work: Q4342084
cites work: Model theory.
cites work: Q3241190
description: scientific article; zbMATH DE number 4162850