Ученые опубликовали самое длинное доказательство теоремы [Наука]
| Список форумов Tapochek.net » Новости » Новости в сети » Архив (Новости в сети) |
|
|
| Автор | Сообщение |
|---|---|
|
Ученые опубликовали самое длинное доказательство теоремы Доказательство теоремы о так называемых "булевых пифагоровых тройках", подготовленное суперкомпьютером, содержит в себе рекордные 200 терабайт данных, а его короткую версию весом в 68 гигабайт человек не сможет прочитать за всю свою жизнь, говорится в статье, размещенной в электронной библиотеке Arxiv.org Теорема так называемых "булевых пифагоровых троек" гласит, что, если мы произвольно раскрасим все натуральные числа в два разных цвета, среди них не будет ни одной "тройки" из трех цифр одинаковых цветов, которые можно было бы подставить в знаменитую формулу Пифагора – a^2 = b^2 + c^2. Как считают математики, данная теорема справедлива только для некоторого диапазона чисел, однако она оставалась недоказанной до этого дня. В 1980 годах математик Рональд Грэм (Ronald Graham) даже в шутку объявил о создании призового фонда в 100 долларов, которые он обещал отдать тому математику, который сможет доказать, что таких троек не существует для всех натуральных чисел. В начале мая мечта Грэма исполнилась – Марин Ойле (Marijn Heule) из университета Техаса в Остине (США) и его коллеги, программисты и математики из США и Великобритании, опубликовали доказательство этой теоремы, полученное при помощи специальных алгоритмов самообучения и поиска математических доказательств. Для решения этой задачи ученым потребовались все 800 процессоров суперкомпьютера, установленного в университете Техаса, а также два дня машинного времени. Как оказалось, данная теорема работает только для чисел, не превышающих 7824 – если максимально допустимое число превышает эту отметку, то тогда хотя бы одна пифагорова тройка будет раскрашена в оба цвета. Для того, чтобы доказать это, компьютеру пришлось перебрать примерно триллион различных вариантов раскраски чисел. Как отметил в интервью журналу Nature один из авторов статьи, Оливер Куллманн (Oliver Kullmann) из университета Суонси (Великобритания), подобное компьютерное доказательство уступает "настоящим" математическим доказательствам в том, что оно не объясняет, как появляется число 7824 и почему эта теорема работает в данных пределах. Поэтому, как он считает, можно ожидать, что другие математики не оставят попыток доказать эту теорему "нормальным" путем. |
|
|
Кококогуманитарийкококо, но всё же. Чем эта теорема может помочь миру?
Я знаю, что и учёные, и верующие делали как полезные вещи, так и были замешаны в скандалах. Кто-то разрабатывал новые технологии, создавал лекарства. Кто-то объединял людей перед опасностью, оказывал помощь. Но вот эта новость напоминает мне фразу "Чем бы дитя не тешилось". Большие затраты на оборудование, на его обслуживание и всё это ради доказательства... "Теоремы"? Зачем она нужна? Не срача ради. Я действительно не понял. |
|
|
супер комп надо было же для чего то создавать, как еще оправдать распиленный бюджет например))
|
|
|
StalinEXE Просто-напросто ради открытия. Да, такие исследования нечасто полезны человечеству именно в момент их проработки, но они являются возможным ключом к будущим глобальным вопросам. Не стоит на всё смотреть с точки зрения прямого рационализма.
AlexDia Толсто... |
|
|
|
|
|
Adolph Popchak Да да только если бы не матан до сих пор бы думал что живешь в плоском мире на спине черепахи, а день и ночь так это электрик.
|
|
|
StalinEXE писал(а): Не срача ради. Я действительно не понял. karlmenni писал(а): программисты и математики из США и Великобритании, опубликовали доказательство этой теоремы, полученное при помощи специальных алгоритмов самообучения и поиска математических доказательств. Adolph Popchak писал(а): Математики придумывают всякое дерьмо чтобы как-то оправдывать своё существование на протяжении десятилетий. Современные математики придумают еще каких нибудь теорем чтобы следующие поколения математиков их доказывали и так до бесконечности. Но вот относительно недавно нашлось, в том числе, такое применение - задавать форму начертания символов. И это лишь одно из применений. Просто бытовое, то, с которым ты каждый день сталкиваешься, но даже не знаешь, или не задумываешься, что лежит в его основе. Так же с аватаркой и любой картинкой - это на самом деле математическая матрица, элементы которой вычисляются специальными формулами. Как-то так) |
|
|
|
|
|
Страница 1 из 1 |
| Список форумов Tapochek.net » Новости » Новости в сети » Архив (Новости в сети) |
Текущее время: 27-Апр 17:23
Часовой пояс: GMT + 3
Вы не можете начинать темы
Вы не можете отвечать на сообщения Вы не можете редактировать свои сообщения Вы не можете удалять свои сообщения Вы не можете голосовать в опросах Вы не можете прикреплять файлы к сообщениям Вы не можете скачивать файлы |