the usual solution is to create a _legal_ definition of ℝ that may or may not resemble or even perhaps include the _platonic_ definition, but that in some way serves to minimize the _occurrence_ of…

Posters: eigenrobot. eigenrobot

3 likes recorded by the source corpus.