> Some humans believe that the prominence of real numbers is a historical accident. That is a great point. The continuum is contentious and pretty highly debat

> Some humans believe that the prominence of real numbers is a historical accident. That is a great point. The continuum is contentious and pretty highly debated philosophically. I also encourage people interested in that to also learn about smooth infinitesimal analysis. Just a small tweak in the underlying logic and model yields unique mathematics and questions established assumptions.