Constructive proof of Herschfeld's Convergence Theorem
Classical Analysis and ODEs
2020-07-01 v6 Logic
Abstract
In this paper, we present a constructive proof of Herschfeld's Convergence Theorem. Our formulation differs from Herschfeld's in a few ways: We consider radicals that nest transfinitely many times, as these are essential to the proof; additionally, we formulate the conditions for convergence in such a way that a constructive proof is possible.
Cite
@article{arxiv.1907.02700,
title = {Constructive proof of Herschfeld's Convergence Theorem},
author = {Ran Gutin},
journal= {arXiv preprint arXiv:1907.02700},
year = {2020}
}