(no subject)

[yucca]

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

Comments

[scherkas.livejournal.com]

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

[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]

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

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

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

[duchifat.livejournal.com]

Если я правильно понял (внимательно все еще не прочитал), ключевую роль в его "доказательствe" играет случайная выборка чисeл. T.е. функция "получить случайное число". Такая функция, по его мнению, в качестве аргумента имеет натуральное число (порядковый номер вызова), а возвращает рано или поздно любое действительное число. Из чего это следует, я не вполне понял. Возможно, из равномерности распределения случайных чисел: рано или поздно вы подходите сколь угодно близко к любому иррациональному числу.

Bыглядит так, что если вы множество действительных чисел заменяете множеством рациональных и иррациональных чисел, которые можно получить как результат применения некоторого счетного количества функций к рациональным числам, то вы пытаетесь построить счетное множество, которое для практических вычислительных целей вам заменяет множество действительных чисел. То есть, наверно, он доказываетстя счетность не множества действительных чисел, а некоего множества, эквивалентного действительным числам для некоторых целей (вроде вычисления на ЭВМ). Корень из двух туда легко включить.

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

[scherkas.livejournal.com]

"возвращает рано или поздно любое действительное число"
-ась ?? С какого перепуга?
Что верно, это то, что со временем, мы можем приблизиться сколь угодно близко к любому числу. Это да. О приближении действительных чисел рациональными (теми же десятичными дробями) мы уже говорили.