![]() Форум мехмата МГУ по высшей математике
| Пользователям: | Аксиома — это истина, на которую не хватило доказательств. |
Форумы > Математика > Высшая математика > Тема > Страница 32 |
Объявления | Последний пост | |
---|---|---|
![]() | Правила и принципы форума «Высшая математика» | 28.10.2009 15:17 |
![]() | Запущен новый раздел «Задачки и головоломки» | 29.08.2019 00:42 |
![]() | Открыта свободная публикация вакансий для математиков | 26.09.2019 16:34 |
07.10.2023 00:01 Дата регистрации: 3 года назад Посты: 2 475 | кстати А можно уточнить какой должен быть результат чтобы видеть что гипотеза доказана? |
07.10.2023 05:07 Дата регистрации: 7 лет назад Посты: 5 219 | -1/12
Для тебя это доказательство более важно ,так как эта гипотеза болезнь как раз для тебя -- у меня всего лишь линейное преобразование итерационного процесса по условию Коллатца . Потом я даже не одержим ни простым числом ,ВТФ и др. проблемами теории чисел , и уделяю математике мизерное время . +180 для гипотезы испугал вас ,мне же дал еще одно доказательство что ; та платформа которой я манипулирую универсальна и проста для осмысления, и решения всех проблем теории чисел . Опровергнут законы модулярной арифметики те что знают вы не сможете , исходящее от них что показал пробуйте --сами быстрее осмыслите . https://postimg.cc/RNqScZ1y Здесь более интересны, сами системы распределения чисел по разным формулам на одной и той же платформе . Доказав гипотезу (3n+1)/2 еще надобно рассмотреть все ((1+2n)+1)/2 и осмыслит . Редактировалось 2 раз(а). Последний 07.10.2023 05:34. |
07.10.2023 10:28 Дата регистрации: 2 года назад Посты: 94 | Результат.
Wikipedia (eng) Collatz conjecture: «If the conjecture is false, it can only be because there is some starting number which gives rise to a sequence that does not contain 1. Such a sequence would either enter a repeating cycle that excludes 1, or increase without bound.» Если гипотеза ложна, то это может произойти только потому, что существует такое начальное число, которое порождает последовательность, не содержащую 1. Такая последовательность либо войдет в цикл, либо будет увеличиваться без ограничений. Джеффри Лагариас сказал: - Гипотеза является чрезвычайно сложной проблемой, полностью недоступной современной математике. От автора требуется предоставить математически строгий текст доказывающий отсутствие (невозможность) существования какого-либо контрпримера к задаче. Т.е. доказать, что, да, действительно, все числа спускаются к единице. |
07.10.2023 10:34 Дата регистрации: 3 года назад Посты: 2 475 | так отсутствие (невозможность) существования какого-либо контрпримера к задаче - это одно а доказать, что, да, действительно, все числа спускаются к единице - это другое То есть достаточно второе? или надо оба? |
07.10.2023 10:40 Дата регистрации: 2 года назад Посты: 94 | Видео. Вот на этом видео, математики говорят: - Да, абсолютно понятно, почему «все числа» спускаются к единице. Потому что на них действует понижающий коэффициент 3/4. - Но как нам искать контрпример? - Вот в этом и проблема. Мы не можем на языке математики доказать существует ли контрпример или нет. |
07.10.2023 13:40 Дата регистрации: 3 года назад Посты: 2 475 | тогда
абсолютно понятно - это не док-во поэтому достаточно доказать что все числа приведут в 1 и контрпример не понадобится уже а если он таки нужен, то это не правильная постановка задачи, так как такая постановка влечет противоречие в самом условии. Далее. 3 < 4 достаточно для решения через ТВ, но не достаточно для решения через ТЧ. При ТЧ надо еще доказать что 4 не сможет бесконечно долго перепрыгивать через 3 при некотором стартовом числе. ! Редактировалось 1 раз(а). Последний 07.10.2023 13:45. |
07.10.2023 15:26 Дата регистрации: 7 лет назад Посты: 5 219 | -1/12
Эйлер тоже писал что простые числа не доступны мат-умам ,но идеальных систем для них предостаточно . Так что гипотеза Коллатца не только доказано, но и показано мной в новом свете. |
08.10.2023 02:57 Дата регистрации: 3 года назад Посты: 2 475 | доказано ли?
Доказано, это когда другие скажут -да вот теперь доказано, а не когда вы об этом хвалитесь.) |
08.10.2023 04:21 Дата регистрации: 7 лет назад Посты: 5 219 | -1/12
|
09.10.2023 13:37 Дата регистрации: 3 года назад Посты: 2 475 | сложность
А знает ли кто-то насколько она сложна? |
09.10.2023 15:30 Дата регистрации: 7 лет назад Посты: 5 219 | -1/12
Наверно не сложнее простых чисел ,сложность 0. |
09.10.2023 16:04 Дата регистрации: 3 года назад Посты: 2 475 | 0!
0 - это сложность не задачи а вашего доква))) каждый может написать типа +180. а вот если там +180 +-1 стартовое число то все докво не годится) Редактировалось 1 раз(а). Последний 09.10.2023 16:59. |
09.10.2023 22:30 Дата регистрации: 7 лет назад Посты: 5 219 | -1/12
Вам трудно это переварит касаемо +180, и для меня не из легких задач , так как после такого факта встают новые вопросы в арифметике касаемо детерминизма . Детерминизм что это ? Теперь связь с кратными от +180 пример для числа 13, последовательность от нее полностью кратна себе же бесконечно , т.е не только итерации получили порядок но и кратности . Пока не знаю полезность кратности в таком порядке -- и вы думайте . Последовательность от 13 кратная 13 с беск.ит +180 от 13 . | $5/3 2^(180 n + 3) - 1/3$ n 0--- 13 1 | 20433273878211851444777960362004122448249854962448029013 2 | 31313901103651109705193074623857827031675767318777598276097212953762787001528112579515986645130249373759133013 |
12.10.2023 00:47 Дата регистрации: 7 лет назад Посты: 5 219 | -1/12 Как видим гипотеза Коллатца оказалась намного интереснее представлением от модулярной арифметики . Характеристические функционалы необходимы для выполнения отдельных машинных операций над модулярными компьютерными форматами данных. Важнейшей проблемой в модулярной арифметике является поиск методов вычисления характеристических функционалов от компонент модулярного представления с наименьшей (почти линейной) сложностью, позволяющих эффективно вычислять предикаты выполнимости отношения линейного порядка на множестве векторных модулярных представлений.. Прелестно описано --кстати проблему функционалов тоже решили . |
12.10.2023 06:54 Дата регистрации: 3 года назад Посты: 2 475 | ок А уже есть, кто подтвердил полноту док-ва? |
12.10.2023 15:55 Дата регистрации: 7 лет назад Посты: 5 219 | -1/12
Конечно --сама модулярная арифметика . |
12.10.2023 19:16 Дата регистрации: 3 года назад Посты: 2 475 | не
Таких данных нет. |
13.10.2023 03:02 Дата регистрации: 7 лет назад Посты: 5 219 | -1/12
Это легко проверит любому математику ,даже тем кто не силен в мод-арифметике. формула закономерного распределения итерации +2n, уже и до начало этой темы знали, хотя мы сами здесь пришли к нему . Мы же здесь продолжили преобразовав формулу +180 ит , полезного же для гипотезы и не только максимум получили . То что +180ит распределение попало именно в тот модуль, который я рекламирую в качестве идеала ,еще раз доказывает не только гипотезу Коллатца ,но и то что закономерная классификация простых чисел существует, и я не блефую . Если честно по тому же модулю и без распределения итерации +2n доказал гипотезу ранее , Ф(n) от функции Эйлера ее мультипликативной системы.. 5n+1 в разы более сложная задача и интересная ,но опят же и ее настраиваем по тому же модулю что и +180ит ,так какой же это чудо модуль? настройщик всех проблем т.ч. Редактировалось 2 раз(а). Последний 13.10.2023 03:29. |
13.10.2023 05:48 Дата регистрации: 3 года назад Посты: 2 475 | 5n 5n+1 совсем не та задача, так как функция расходящаяся. 2^n в ней никогда не догонит 5, а значит не сможет родить 2^m более высшего порядка, надеюсь понятно о чем речь. Кроме пары исключений. О чем тогда можно вообще говорить. При 3n да, есть пересечение, кстати не единственное. И это пересечение выполняется для любого стартового. Но формулы у вас нет. Кстати для 3n оно дублируется и дальше, то есть если бы не произошло пересечение ниже, оно будет еще беск число раз. |
13.10.2023 10:55 Дата регистрации: 7 лет назад Посты: 5 219 | -1/12
Формула и у меня есть и у вас ,только я ее понимаю вы же нет. |
Copyright © 2000−2023 MathForum.Ru & MMOnline.Ru Разработка, поддержка и дизайн — MMForce.Net | ![]() | ![]() |