Полiт.ua Государственная сеть Государственные люди Войти
19 октября 2017, четверг, 15:37
Facebook Twitter LiveJournal VK.com RSS

НОВОСТИ

СТАТЬИ

АВТОРЫ

ЛЕКЦИИ

PRO SCIENCE

СКОЛКОВО

РЕГИОНЫ

19 июня 2017, 15:25

Окончательно доказана гипотеза Кеплера об упаковке шаров

Профессор Томас Хейлс
Профессор Томас Хейлс
Bob Kalmbach / University of Michigan

Группа математиков под руководством профессора Питтсбургского университета Томаса Хейлса (Thomas Hales) представила положительные результаты проверки сделанного ранее  доказательства математической гипотезы об упаковке шаров. Статья об этом опубликована в журнале Forum of Mathematics, Pi.

Гипотезу о наиболее плотном размещении шаров в пространстве высказал в 1611 году Иоганн Кеплер. Появление подобных задач в математике было вызвано практическими задачами по оптимальному размещению пушечных ядер. Согласно Кеплеру, среди всех упаковок шаров равного размера в трехмерном пространстве наибольшую среднюю плотность будет иметь гранецентрированная кубическая упаковка и упаковки, равные ей по плотности.

Профессор Хейлз и его ученик Сэм Фергюсон объявили о доказательстве гипотезы Кеплера в 1998 году, но решение было настолько длинным и сложным, что проверяющая его группа из двенадцати математиков работала пять лет и в итоге пришла к выводу, что доказательство «скорее всего, верно». «У них просто не было времени или сил, чтобы полностью проверить всё, – говорит редактор журнала Forum of Mathematics, Pi Генри Кон (Henry Cohn). – Никаких непоправимых изъянов не было выявлено, но не удовлетворяла ситуация, когда доказательство, казалось бы, было недоступным для тщательной проверки математическим сообществом».

Тогда профессор Хейлз решил обратиться к компьютерам и использованию формальных методов проверки. Он и группа его соавторов изложили доказательство необычайно подробно, используя строгую формальную логику, а затем компьютерная программа проверила их рассуждения. В 2015 году Хейлз опубликовал препринт с результатами проверки, подтвердившими его правоту, а теперь вышла официальная публикация в рецензируемом журнале. Доказательство гипотезы Кеплера стало самым сложным математическим доказательством, подтвержденным при помощи компьютера.

Задачи об упаковки шаров имеют в наши дни практическое значение, о котором в XVII веке Кеплер не подозревал. Они помогают решить проблему передачи информации с сохранением передаваемого сигнала в условиях помех.

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

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

Редакция

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