News for hackers. Stuff that matters.

A comment on Are real numbers really real?. Parent comment

Re:Are real numbers really real? by windows_tips on Tuesday June 12, 2018 @02:25PM (#17296317)
How could you exclude "almost every real number", if such a thing should not even be considered?
[ Parent | on HN ]
Re:Are real numbers really real? by gowld on Tuesday June 12, 2018 @05:14PM (#17298065)
You simply choose not to invent any of them.
[ Parent | on HN ]
Re:Are real numbers really real? by amptorn on Tuesday June 12, 2018 @04:01PM (#17297433)
You just leave the axiom of infinity out.
[ Parent | on HN ]