There’s more to mathematics than rigour and proofs (2007)

Re:There’s more to mathematics than rigour and proofs (2007) by Koshkin on Tuesday April 19, 2022 @08:46PM (#31091404)

But the real numbers cannot be faithfully represented in a computer!

[ Parent | on HN ]

Re:There’s more to mathematics than rigour and proofs (2007) by l33t2328 on Tuesday April 19, 2022 @09:39PM (#31091776)

So? Neither can the list of possible computer programs, yet CS studies them

[ Parent | on HN ]

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 ]