Hacker News new | ask | show | jobs
by zozbot234 577 days ago
Cauchy sequences can be made constructive (providing a nice foundation for numerical analysis); Dedekind cuts cannot.