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 l33t2328 on Thursday April 21, 2022 @11:00AM (#31110316)
> Even a real interval of a finite length cannot be covered by any set of intervals of a smaller total length.

You’ve only restated the problem without saying _why_ covering the reals is different.

[ Parent | on HN ]
Re:There’s more to mathematics than rigour and proofs (2007) by Koshkin on Thursday April 21, 2022 @05:35PM (#31115479)
Because the 'intervals' in question are already 'real'?
[ Parent | on HN ]