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 auggierose on Thursday April 21, 2022 @09:04AM (#31108827)
I see. But is that not just a simple conclusion of the fact that the rationals are countable, and that there exists a converging series of positive numbers?
[ Parent | on HN ]
Re:There’s more to mathematics than rigour and proofs (2007) by l33t2328 on Friday April 22, 2022 @12:19PM (#31123639)
Right but explaining why the reals are different is the tricky part
[ Parent | on HN ]