April 4th, 2019

404

love & hate с софтом

Love - это когда софт позволяет (пусть даже и сложно) сделать то, что вы хотите.
Hate - это когда софт позволяет (сложно) сделать то, что вам особо и не нужно, но вам говорят это делать.
404

Из комментов

Наивная задача: каких чисел больше - кратных 5 или кратных 10?
Набежали математики про мощности множества, с одной стороны, которые равны.
С другой стороны, предел (при устремлении в бесконечность) отношений числа кратных 5 к кратным 10 получается равным 2.
Завязался срачик, в котором пара бытовых примеров, показывающих, что "мощность множества" к бытовому ощущению "сколько там чего" не имеет никакого отношения.

Возьмём множество вещественных чисел [0;1]
Возьмём множество вещественных чисел [0;1000]
Какое из них больше? Равномощны, понятно, а вот 1000 - больше.

Ещё интереснее.
Возьмём множество точек на прямой (R)
Возьмём второе множество, состоящее из множества точек на прямой R1 и множества точек на другой (не совпадающей с R2) прямой.
Чего больше - R или R1+R2? Мощности одинаковые, а прямых - в одном случае одна, в другом - аж 2 шт.

Так что любой ответ на исходный вопрос "каких чисел больше?", строящийся через мощности множеств, противоречит интуитивно-бытовому смыслу слова "больше".