News for hackers. Stuff that matters.

A comment on The weird and wonderful world of constructive mathematics (2017) [pdf]. Parent comment

Re:The weird and wonderful world of constructive mathematics... by User23 on Monday November 12, 2018 @02:52AM (#18431186)
It's self-evident that for everyday usage all you need are the rationals.
[ Parent | on HN ]

There are no comments on this comment yet.