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


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

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

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

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

Twitter Facebook Vk Googlepluse Linkedin

Подпишитесь на обновления этого блога по RSSRSS, RSSMAILEmail или TwitterTwitter!

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

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

Обсуждаемые темы:

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