Talk:Irrational Number is Limit of Unique Simple Infinite Continued Fraction

There seems to be a fundamental ambiguity in the treatment of CF's at proofwiki, which is the absence of distinction between:
 * Continued fractions defined starting from a real number
 * Abstract continued fractions, that a priori do not converge.

with consequences like the one I just reported in this proof. --barto (talk) 06:20, 17 July 2017 (EDT)


 * Don't understand the question. --prime mover (talk) 15:48, 17 July 2017 (EDT)