18 июня 2019, вторник, 13:48
VK.comFacebookTwitterTelegramInstagramYouTubeЯндекс.Дзен

НОВОСТИ

СТАТЬИ

PRO SCIENCE

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

ЛЕКЦИИ

АВТОРЫ

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

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

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

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

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

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

Редакция

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