Решение математической задачи, предложенное компьютером, заняло13 Гб


Борис Конев и Алексей Лисица, математики из университета Ливерпуля, поручили компьютеру решение несоответствия Эрдеша – математической задачи, доказать которую человек пока что не в силах. Компьютер ее решил, однако проверить полученное доказательство невозможно: оно занимает 13 Гб, что на 2 Гб больше, чем объем всех англоязычных ресурсов Wikipedia.

Теперь перед учеными стоит нелегкий выбор. Следует ли им отказаться от результатов работы из-за того, что их нельзя проверить вручную? Но вслед за этим возникает вопрос – а не придется ли вообще отказаться от использования компьютерных программ, в математике в частности и в науке – в целом?

Другой вариант – принимать результаты, выданные компьютером, как факт. Не только сейчас, но и в будущем: ведь неразрешенных проблем еще много, и чем они сложнее – тем объемнее будет их решение.

0

Если Вам нравятся статьи, заметки и другой интересный материал представленный на сайте Белые окошки и у вас есть непреодолимое желание поддержать этот скромный проект тогда выберите один из двух видов стратегии поддержки на специальной странице - Страница с донатом

Поделиться в соц сетях:

Подпишитесь на обновления этого блога по RSS, Email или Twitter!

Добавить комментарий

Ваш e-mail не будет опубликован. Обязательные поля помечены *

Авторизация
*
*
Войти с помощью: 
Регистрация
*
*
*
Войти с помощью: 
Генерация пароля