(no subject)

[yucca]

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

Comments

[duchifat.livejournal.com]

Я на самом деле внимательно статью не прочитал. Поэтому как по его алгоритму нумеровать корень из двух - не понял. Но "звучит странно" - не аргумент. Аргумент - ошибка на такой-то странице в таком-то рассуждении.

Я слышал, что были попытки (50-100 лет назад) излагать математику конструктивно, без актуальных бесконечностей. Я для себя предполагаю (не разобрав внимательно статью) одно из четырех:
1. Возможно, автор делает такую попытку "конструктивно" определить действительное число.
1а) Возможно он повторяет зады, то что великие вроде Рассела и Геделя давно обсудили (как тот учитель из Бердичева, что независимо открыл матанализ)
1б) Вдруг он придумал что-то новое, что великим в голову не пришло?
1в) Вдруг что-то старое, но под новым углом зрения (такое очень часто в науке)?
2. Возможно то, что он говорит - бессмыслица и неадекват. В рассуждениях логические ошибки и непонимание предмета.

[scherkas.livejournal.com]

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

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

"Наезд" на доказательство Кантора - "этот баран не успел к перекличке" - на математическое доказательство не вполне тянет.

[duchifat.livejournal.com]

Я, дофантазировав, понял примерно так:
1. Вы сначала нумеруете все стандартные (рациональные и алгебраические) функции и их комбинации, доступные ЭВМ. Функция Sqrt(x) получает некий номер.
2. Потом вы по одной оси откладываете все рациональные чиала, по другой оси - список функций.
3. Затем вы заполняете квадрат результатом применения функций по списку к рациональным числам. Там в одной из клеточек будет и результат применения Sqrt(x) к 1/2.
4. Клеточки вы нумеруете натуральными числами.

В принципе, на этом можно и остановиться. :)

5. Одна из ваших функций будет функция возвращающая случайные числа, Random(x). Машина же как-то ее выполнят, образуя из сочетания (последовательного пименения) стандартных функций. :)
6. Неким образом можно показать, что любая клеточка в вашей таблице совпадает рано или поздно со одним из элементов в строке Random(x). Это следует неким образом из равнмомерности распределения случайных чисел. таким образом, вы перенумеровываете ваши клеточки, уже при помощи Random(x). Но это, собственно, не важно, поскольку пункта четыре достаточно.

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

Новизны по сути нет, хотя некоторая новизна может содержаться в пункте шесть, если он верен.

[scherkas.livejournal.com]

в Вашем рассуждении, вы откладываете по одной оси рациональные числа (счетное множество), а по другой - какие-то не вполне понятные мне "рациональные функции", множество который предполагается счетным (??). Понятно, что комбинация их - тоже счетна.

Однако, неясно, какое отношение это упражнение имеет к (не)счетности множества ДЕЙСТВИТЕЛьНЫХ чисел, да собвственно, и функций ????
Тут у вас неявное предположение, что ВСЕ ДЕЙСТВИТЕЛЬНЫЕ числа - это результат применения неких "рациональных" функций к рациональным же числам. (иначе есть куча чисел, которые в Вашей таблице не появятся).

Понятно, что любое действительное число можно сколь угодно точне представить рациональным (а они - счетны). То есть, для практических целей - количество чисел - счетно. Я вам даже больше скажу - так как количество бит на число в компе ограничено, то количество чисел, вычисляемых на компе - не просто счетно, а даже конечно !