Talk:Irrational Number is Limit of Unique Simple Infinite Continued Fraction
Jump to navigation Jump to search
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.