On a finitary version of mathematical analysis

DOI10.1016/S0168-0072(01)00062-8MaRDI QIDQ5957917zbMATH OpenWikidataFDO

Publication date 20 November 2002

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/S0168-0072(01)00062-8

constructive mathematics finitary mathematics recursive analysis

Philosophical and critical aspects of logic and foundations (03A05) Constructive and recursive analysis (03F60) Constructive real analysis (26E40) Constructive functional analysis (46S30)

Review text

This paper is an extended exposition of the talk ``A finitary version of mathematical analysis as a result of the development of theory of functional spaces in classical mathematics presented by the author at the conference ``First St. Petersburg Days of Logic and Computability in 1999. An approach of constructing a finitary version of some fields of mathematical analysis is sketched in this paper. The choice of basic concepts for building the finitary version of analysis is motivated primarily by specific theorems in analysis that have the form: the metric space \((M, \rho)\) under consideration has a countable dense set \(D\) such that (1) elements in \(D\) have individual representations as constructively defined objects of a certain specific type, called objects of type \(\tau\); (2) objects of type \(\tau\) (= elements of \(D\)) form a decidable set; (3) the metric function \(\rho \) on \(D\) viewed as the set of objects of type \(\tau\) is given as a certain algorithm; and (4) if \(x\) and \(y\) are objects of type \(\tau\) then \(\rho (x, y)\) is a rational number or, in the alternatice version, an algebraic number. Thus every element in such metric space can be approximated by constructively defined objects in \(D\). In other words, elements in \((M, \rho)\) are ``almost constructively defined objects of type \(\tau\). Consequently, many operators in analysis are approximable in a ``sufficiently interesting sense by ``finitarily describable operators of the same type. Thus one obtains a finitary version of such operators and theorems.

Recommendations

Cites work

Cited in

(2)

This page was built for publication: On a finitary version of mathematical analysis

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