Какие попытки были предприняты, когда люди пытались доказать гипотезу Коллатца?

Какие попытки были предприняты, когда люди пытались доказать гипотезу Коллатца?
Anonim

Ответ:

Несколько мыслей …

Объяснение:

Великий польский математик Поль Эрдёш сказал о гипотезе Коллатца, что «математика может быть не готова к таким проблемам». Он предложил приз в 500 долларов за решение.

Сегодня это кажется таким же неразрешимым, как когда он это сказал.

Можно выразить проблему Коллатца несколькими различными способами, но нет реального способа попытаться решить ее. Когда я учился в университете почти 40 лет назад, единственная идея, которая, казалось, была у людей, заключалась в том, чтобы взглянуть на нее с помощью 2-адической арифметики.

Я подумал о том, чтобы попытаться решить эту проблему, используя какой-то теоретический подход, но самое лучшее, что можно было бы сделать, - это показать, что набор чисел, который не #1# имеет значение #0#, Это не исключало бы существование контрпримеров.

Гипотеза Коллатца была проверена компьютером для чисел до примерно #10^20#, но это только действительно показывает, что это правдоподобно - это не доказывает, что это верно для всех чисел.

Чтобы понять, почему итерационные процессы, такие как в гипотезе Коллатца, так сложно решить вообще, может помочь понять, насколько богата комбинация сложения и умножения на натуральные числа.

Например, если вы определяете какую-либо формальную математическую систему с конечным числом символов и разрешенными операциями, то для ее кодификации достаточно базовой арифметики. Затем становится возможным построить алгебраическое утверждение, которое эффективно говорит: «Я не доказуем в этой формальной системе». Такое утверждение тогда верно, но не доказуемо. Таким образом, формальная система доказуемо неполна.

Это примерно суть доказательства второй теоремы Гёделя о неполноте.