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