News for hackers. Stuff that matters.

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

Re:Are real numbers really real? by gowld on Tuesday June 12, 2018 @05:17PM (#17298102)
Simply write its binary expansion, by flipping coins, (heads=1, tails=0), forever.
[ Parent | on HN ]

There are no comments on this comment yet.