News for hackers. Stuff that matters.

A comment on There’s more to mathematics than rigour and proofs (2007). Parent comment

Re:There’s more to mathematics than rigour and proofs (2007) by Koshkin on Wednesday April 20, 2022 @07:29PM (#31104411)
It does not look like CS studies the real numbers.
[ Parent | on HN ]
Re:There’s more to mathematics than rigour and proofs (2007) by l33t2328 on Thursday April 21, 2022 @10:59AM (#31110293)
Each real number can be represented as a subset of the natural numbers. CS surely studies these.
[ Parent | on HN ]
Re:There’s more to mathematics than rigour and proofs (2007) by Koshkin on Thursday April 21, 2022 @05:43PM (#31115546)
But not the representations themselves (which is what's important in this case).
[ Parent | on HN ]