(no subject)

[yucca]

Фейсбук все же иногда украшает жизнь. Вот мы тут ерундой занимаемся, а там доцент СПбГУ опроверг Кантора. New algorithm to demonstrate the calculator!

Comments

[triz-wiz.livejournal.com]

По поводу первого предложения у меня есть сомнения. Насчёт предъявления числа - это к конструктивистам. Я вполне удовлетворяюсь "Если мощность множества А больше мощности множества Б, то в А есть элемент не принадлежащий Б".

[scherkas.livejournal.com]

в этом рассуждении всего лишь не ясно, на каком основании мощность множества вопросов - счетная.
Предложенный алгоритм счета (по алфавиту..) - ничем не отличается от подсчета чисел в десятичной записи.

[triz-wiz.livejournal.com]

На основании конечной длины каждого вопроса - т.е. аналогично рациональным числам.

[scherkas.livejournal.com]

она не более конечна, чем десятичная запись любого числа

[triz-wiz.livejournal.com]

Предлагаю agree to disagree.

[scherkas.livejournal.com]

:-)