27.05.2016 215 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

Расцвет млекопитающих перенесли в эпоху динозавров

Палеонтологи под руководством Дэвида Гроссникла (David Grossnickle) из Чикагского университета опровергли бытовавшее прежде мнение о том, что исчезновение динозавров привело к расцвету млекопитающих. Новини по темі:  Россия признала невозможность догнать

Найден способ размножаться без участия мужского пола

Изолированная популяция капских пчел (обитающего на территории ЮАР подвида медоносной пчелы) в ходе эволюции научилась воспроизводиться без участия самцов. Новини по темі:  Россия признала невозможность догнать США в космосе

Силу человеческого разума объяснили вынашиванием детей

Американские антропологи представили теорию, согласно которой разум человека эволюционировал (и приобрел мощь, невиданную среди других приматов) из-за особенностей вынашивания детей у Homo sapiens. Новини по темі:  Россия признала невозможность догнать

0 Comments

No Comments Yet!

You can be first to comment this post!