Факты .Удивительные ,необычные,познавательные .не хи-хи
Модератор: news
-
DmitryK
- Сообщения: 3695
- Зарегистрирован: 24 сен 2019, 16:13
- Пол: Мужской
-
L0ner
- Сообщения: 14214
- Зарегистрирован: 05 апр 2019, 12:20
- Откуда: Красноярский край
- Пол: Мужской
Факты .Удивительные ,необычные,познавательные .не хи-хи
скорее к IT
Хотел вас встретить хлебом солью, да хлеб в берданку не впихнёшь
-
Просто Петров
- Сообщения: 9022
- Зарегистрирован: 31 янв 2024, 18:39
- Пол: Мужской
Факты .Удивительные ,необычные,познавательные .не хи-хи
Этож сколько кругом на всю голову странненьких — ЁЪых
Спойлер
-
Mauler
- Сообщения: 37321
- Зарегистрирован: 25 май 2019, 17:56
- Пол: Не выбран
Факты .Удивительные ,необычные,познавательные .не хи-хи
Просто Петров, я, наконец-то, в этом году взял себе расистскую машину, ну, расистского цвета. Понял, что темные цвета - не мое. Сразу белый, сразу хардкор.
Настоящий интернационалист моральных уродов всех рас и оттенков кожи ненавидит совершенно одинаково.
Письмена дур и дураков не вижу и не комментирую. С ЛГБТ - также. Даже минусов не ставлю.
Куратор
Письмена дур и дураков не вижу и не комментирую. С ЛГБТ - также. Даже минусов не ставлю.
Куратор
-
Кастян
- Сообщения: 8760
- Зарегистрирован: 08 фев 2023, 22:09
- Откуда: Красноярск
- Пол: Мужской
Факты .Удивительные ,необычные,познавательные .не хи-хи
Математики доказали: одного шара, отскакивающего от стен стола специальной формы, достаточно для моделирования любого алгоритма. Форма стен — программа, траектория — код.
Математики Ева Миранда из Политехнического университета Каталонии и Исаак Рамос из ETH Цюрих опубликовали в журнале Proceedings of the National Academy of Sciences доказательство: один шар, отскакивающий от стен бильярдного стола специальной формы, способен моделировать универсальную машину Тьюринга — устройство, которое в принципе может выполнить любой алгоритм. Работа закрывает вопрос, поставленный математиком Кристофером Муром еще в 1990 году.
Механизм основан на геометрии. Форма стен кодирует программу, а положение шара вдоль специальных участков стола — данные, которые она обрабатывает. Параболические стены двигают «читающую головку» на одну ячейку памяти; кривые с бесконечно мелкими осцилляциями обеспечивают чтение и запись символов. «Программа — это форма стен. Алгоритм — буквально траектория шара», — сформулировала Миранда в публикации исследовательского центра CRM.
Физически построить такой стол невозможно: он требует стен с бесконечно сложной геометрией, а модель предполагает идеально упругие удары без трения. Речь идет о математическом объекте, а не об инженерной конструкции. Принципиален теоретический вывод: вычислительная универсальность вписана в законы классической механики — без квантовых эффектов и электроники.
Доказательство попутно раскрывает природу непредсказуемости в физических системах. Хаос создает барьер точности: для предсказания траектории нужен экспоненциально растущий объем информации. Алгоритмическая неразрешимость — принципиальнее: никакая программа не ответит, попадет ли шар в заданную область или будет ли его траектория периодической. Это прямое следствие теоремы Тьюринга об остановке — того результата, что лежит в основе пределов любых алгоритмов.
Авторы уже сформулировали следующие вопросы: сколько планет нужно гравитационной системе, чтобы она «вычисляла»? Сохраняется ли неразрешимость, если перевести бильярд в квантовую механику?
Ранее мы сообщали, как ИИ-агенты OpenAI закрыли одну из «задач тысячелетия» — уравнения Навье — Стокса.
Математики Ева Миранда из Политехнического университета Каталонии и Исаак Рамос из ETH Цюрих опубликовали в журнале Proceedings of the National Academy of Sciences доказательство: один шар, отскакивающий от стен бильярдного стола специальной формы, способен моделировать универсальную машину Тьюринга — устройство, которое в принципе может выполнить любой алгоритм. Работа закрывает вопрос, поставленный математиком Кристофером Муром еще в 1990 году.
Механизм основан на геометрии. Форма стен кодирует программу, а положение шара вдоль специальных участков стола — данные, которые она обрабатывает. Параболические стены двигают «читающую головку» на одну ячейку памяти; кривые с бесконечно мелкими осцилляциями обеспечивают чтение и запись символов. «Программа — это форма стен. Алгоритм — буквально траектория шара», — сформулировала Миранда в публикации исследовательского центра CRM.
Физически построить такой стол невозможно: он требует стен с бесконечно сложной геометрией, а модель предполагает идеально упругие удары без трения. Речь идет о математическом объекте, а не об инженерной конструкции. Принципиален теоретический вывод: вычислительная универсальность вписана в законы классической механики — без квантовых эффектов и электроники.
Доказательство попутно раскрывает природу непредсказуемости в физических системах. Хаос создает барьер точности: для предсказания траектории нужен экспоненциально растущий объем информации. Алгоритмическая неразрешимость — принципиальнее: никакая программа не ответит, попадет ли шар в заданную область или будет ли его траектория периодической. Это прямое следствие теоремы Тьюринга об остановке — того результата, что лежит в основе пределов любых алгоритмов.
Авторы уже сформулировали следующие вопросы: сколько планет нужно гравитационной системе, чтобы она «вычисляла»? Сохраняется ли неразрешимость, если перевести бильярд в квантовую механику?
Ранее мы сообщали, как ИИ-агенты OpenAI закрыли одну из «задач тысячелетия» — уравнения Навье — Стокса.
"Если вы решили будто бы меня поняли, значит поняли вы меня превратно." © Constantine Smith