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:35AM (#31095387)
Sure, but for countable subsets (such as the rationals) it is easy to show.
[ Parent | on HN ]
Re:There’s more to mathematics than rigour and proofs (2007) by l33t2328 on Wednesday April 20, 2022 @11:23AM (#31098256)
Sure. Explaining what’s different about the reals is the hard part
[ Parent | on HN ]
Re:There’s more to mathematics than rigour and proofs (2007) by Koshkin on Wednesday April 20, 2022 @06:36PM (#31103971)
How so? Even a real interval of a finite length cannot be covered by any set of intervals of a smaller total length. (Unless the person you are trying to explain this to starts raising questions about the meaning of 'interval' or 'length', in which case the meaning of the original question becomes just as uncertain in the first place.)
[ Parent | on HN ]
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 ]