2 июня 2020, вторник, 02:51
VK.comFacebookTwitterTelegramInstagramYouTubeЯндекс.Дзен

НОВОСТИ

СТАТЬИ

PRO SCIENCE

МЕДЛЕННОЕ ЧТЕНИЕ

ЛЕКЦИИ

АВТОРЫ

Математическое доказательство заняло 13 гигабайт

Математики Борис Конев и Алексей Лисица, работающие в Ливерпульском университете, при помощи компьютера получили доказательство одной математической проблемы. Примечательно, что текст доказательства, выданный после шести часов работы программы, занимает 13 гигабайт, что превосходит объем англоязычной Википедии.

Проблема, над которой работали ученые, была сформулирована в 1930-е годы знаменитым венгерским математиком Палом Эрдёшем. Она известна под названием «задача Эрдёша о разбросе вдоль арифметических прогрессий». Он рассматривал бесконечные последовательности, состоящие из 1 и -1. Эрдёш предположил, что в такой последовательности можно выделить подпоследовательности, состоящие из чисел, порядковые номера которых образуют арифметическую прогрессию (то есть стоящих, например, на втором, четвертом, шестом и т.д. месте или же на третьем, шестом, девятом…), причем для любого натурального числа С найдется такая подпоследовательность, сумма чисел которой по модулю будет больше С. Доказательство, полученное учеными, касается случаев, когда С равно двум.

Получение доказательств математических теорем при помощи компьютера уже не новость. Еще в 1976 году американские математики прибегли к его помощи и решили знаменитую проблему четырех красок. Доказательство тогда заняло сотни страниц, но его всё-таки можно было проверить вручную. Несколько шокирующая новизна нынешнего результата состоит именно в том, что вряд ли его правильность способен проверить человек. Однако к такому развитию событий следовало бы быть готовыми. Для доказательства математических теорем в будущем будут всё чаще применяться компьютеры, а получаемые доказательства по объему вполне могут быть необозримыми для людей.

Обсудите в соцсетях

«Ангара» Африка Византия Вселенная Гренландия ДНК Иерусалим КГИ Луна МГУ Марс Монголия НАСА РБК РВК РГГУ РадиоАстрон Роскосмос Роспатент Росприроднадзор Русал СМИ Сингапур Солнце Титан Юпитер акустика антибиотики античность антропогенез археология архитектура астероиды астрофизика бактерии бедность библиотеки биомедицина биомеханика бионика биоразнообразие биотехнологии блогосфера вакцинация викинги вирусы воспитание вулканология гаджеты генетика география геология геофизика геохимия гравитация грибы дельфины демография демократия дети динозавры животные здоровье землетрясение змеи зоопарк зрение изобретения иммунология импорт инновации интернет инфекции ислам исламизм исследования история карикатура картография католицизм кельты кибернетика киты климатология клонирование комары комета кометы компаративистика космос культура культурология лазер лексика лженаука лингвистика льготы мамонты математика материаловедение медицина металлургия метеориты микробиология микроорганизмы мифология млекопитающие мозг моллюски музеи насекомые наука нацпроекты неандертальцы нейробиология неолит обезьяны общество онкология открытия палеолит палеонтология память папирусы паразиты перевод питание планетология погода политика право приматы природа психиатрия психоанализ психология психофизиология птицы путешествие пчелы ракета растения религиоведение рептилии робототехника рыбы сердце смертность собаки сон социология спутники старение старообрядцы стартапы статистика такси технологии тигры топливо торнадо транспорт ураган урбанистика фармакология физика физиология фольклор химия христианство цифровизация школа экзопланеты экология электрохимия эпидемии эпидемиология этология язык Александр Беглов Дмитрий Козак Древний Египет Западная Африка Латинская Америка НПО «Энергомаш» Нобелевская премия РКК «Энергия» Российская империя Сергиев Посад альтернативная энергетика аутизм биология бозон Хиггса вымирающие виды глобальное потепление грипп защита растений инвазивные виды информационные технологии искусственный интеллект история искусства история цивилизаций исчезающие языки квантовая физика квантовые технологии климатические изменения компьютерная безопасность компьютерные технологии космический мусор криминалистика культурная антропология междисциплинарные исследования местное самоуправление мобильные приложения научный юмор облачные технологии обучение одаренные дети педагогика персональные данные подготовка космонавтов преподавание истории продолжительность жизни происхождение человека русский язык сланцевая революция физическая антропология финансовый рынок черные дыры эволюция эволюция звезд эмбриональное развитие этнические конфликты ядерная физика Вольное историческое общество жизнь вне Земли естественные и точные науки НПО им.Лавочкина Центр им.Хруничева История человека. История институтов дело Baring Vostok Протон-М 3D Apple Big data Dragon Facebook Google GPS IBM MERS PayPal PRO SCIENCE видео ProScience Театр SpaceX Tesla Motors Wi-Fi

Редакция

Электронная почта: polit@polit.ru
Телефон: +7 929 588 33 89
Яндекс.Метрика
Свидетельство о регистрации средства массовой информации
Эл. № 77-8425 от 1 декабря 2003 года. Выдано министерством
Российской Федерации по делам печати, телерадиовещания и
средств массовой информации. Выходит с 21 февраля 1998 года.
При любом использовании материалов веб-сайта ссылка на Полит.ру обязательна.
При перепечатке в Интернете обязательна гиперссылка polit.ru.
Все права защищены и охраняются законом.
© Полит.ру, 1998–2020.