Ну да. Ты даже постинги начинал делать... Я сейчас в зависании, но комментить по поводам - с удовольствием.

(Reply to this) (Parent) (Thread)

Блогоформат не особо подходит для этого дела.

Ты видел диагональный метод Кантора? Как он доказал, что действительные числа несчётны.

(Reply to this) (Parent) (Thread)

Насчет блогоформата согласен, но по-другому сейчас мало что представляю.

Диагональный метод, как я понял, сам по себе доказывает только возможность непересекающихся бесконечных множеств. С действительными числами там остается еще много умолчаний (например, построение двоичного представления действительных чисел и используемая логика).

(Reply to this) (Parent) (Thread)

Диагональный метод - это идея, она потом используется при доказательстве |2^X| > |X|. Недостатки легко исправляются, я думаю. Диагональный метод доказывает именно несчётность действительных чисел.

(Reply to this) (Parent) (Thread)

Так а Ты чего сказать-то хотел?

(Reply to this) (Parent) (Thread)

Да так, буду отписываться про наиболее важные, на мой взгляд, идеи, с которыми буду сталкиваться по ходу изучения.

(Reply to this) (Parent) (Thread)

Ага, да, спасибо большое!

(Reply to this) (Parent)