27.05.2016 175 Views

Объявлено о самом объемном доказательстве в математике

Объявлено о самом объемном доказательстве в математике

Ученые из США и Великобритании заявили о крупнейшем по объему занятой компьютерной памяти доказательстве в истории математики. Препринт с исследованием опубликован на сайте arXiv.org, кратко о нем сообщает издание Nature.

Для решения булевой проблемы пифагоровых троек специалисты использовали суперкомпьютер Stampede Техасского университета в Остине (США). Его расчеты заняли 200 терабайт памяти, что равно всей оцифрованной крупнейшей библиотеке мира (Библиотека Конгресса).

В использованном учеными подходе проблема является переформулированной теоремой Шура для площадей, доказательство которой предполагает два предписания. Первое из них включает нахождение ответа на вопрос, может ли множество натуральных чисел (1, 2, 3 и так далее) быть разделено на две части таким образом, чтобы ни одна из них не содержала бы пифагоровых троек (то есть чисел a, b и c таких, что a2 + b2 = c2). Второе предписание говорит о необходимости разделения чисел при помощи булевых переменных.

Полученное учеными решение булевой проблемы пифагоровых троек заключается в следующем: натуральные числа из замкнутого интервала [1;7824] можно разбить на две части так, что они не содержат пифагоровой тройки. Для натуральных чисел из замкнутого интервала [1;7825] это невозможно.

Previous Близкий соратник Ахметова стал сопредседателем Оппоблока
Next Оппоблок выбрал кандидатов на довыборы в Раду

You might also like

Металлы из Европы поселились в Америке раньше европейцев

Археологи из Университета Пердью исследовали два освинцованных бронзовых артефакта, найденных на северо-западе Аляски, которые являются доказательством того, что металл из Азии достиг доисторической Северной Америки еще до того, как европейцы

Объяснено происхождение «потерянного города» вблизи Ионических островов

Геологи из Великобритании и Греции объяснили происхождение обнаруженного дайверами в 2014 году недалеко от Ионических островов (Греция) «затерянного города».

НЛО показалося у небі над Нью-Йорком — відео

Загадковий об'єкт пролетів над районом Лонг-Айленд-Сіті У хмарному небі над Нью-Йорком помітили блискучий непізнаний літаючий об’єкт. Відповідний ролик опублікували на відеохостингу youtube. Як виявилося, пролетіло НЛО над житловим районом Лонг-Айленд-Сіті

0 Comments

No Comments Yet!

You can be first to comment this post!