Pri komparo de integraloj de Lebesgue kaj Riemann en konstrua matematika analizo

TL;DR

The paper proves that constructive functions defined almost everywhere on [0,1] are Riemann integrable and summable, linking constructive analysis with classical integration theory.

Contribution

It establishes a new connection between constructive functions and classical integrability, showing that constructive functions are summable if Riemann integrable.

Findings

Constructive functions are summable if Riemann integrable.

Constructive functions defined almost everywhere are Riemann integrable.

Bridges between constructive analysis and classical integration are demonstrated.

Abstract

It is obtained that every constructive (in A.A.Markov's sense) function is summable, if it is defined almost everywhere in the interval $[0,1]$ and integrable in Riemann's sense.