Новостной портал "SvComercio" - ежедневно самые свежие
и интересные новости со всего мира: экономика,
бизнес, политика, шоу-бизнес и многое другое.

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


Окончательно доказана гипотеза Кеплера об упаковке шаров Профессор Томас Хейлс Bob Kalmbach / University of Michigan

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

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

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

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

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

Добавлено: 19 июн 15:36 , Категория: Политика
     По материалам: polit
Загрузка...
Лента новостей
Вера Глаголева, последние новости: почему умерла, причина смерти актрисы - 04:27 Вера Глаголева, последние новости: почему умерла, причина смерти актрисы Гороскоп на сегодня, 18 августа, для всех знаков Зодиака - 04:19 Гороскоп на сегодня, 18 августа, для всех знаков Зодиака Сколько в Крыму русских | Русская весна - 04:00 Сколько в Крыму русских | Русская весна Почти Зимбабве: Киев в десятке самых непригодных для жизни городов | Русская весна - 03:30 Почти Зимбабве: Киев в десятке самых непригодных для жизни городов | Русская весна Джастин Теру развенчал стереотип о смешной женщине и рассказал о своих отношениях с Дженнифер Энистон - 03:18 Джастин Теру развенчал стереотип о смешной женщине и рассказал о своих отношениях с Дженнифер Энистон «Царь придет, Америка рухнет»: судьба человечества в «пророчествах» | Русская весна - 03:01 «Царь придет, Америка рухнет»: судьба человечества в «пророчествах» | Русская весна В Днепропетровске пьяный «атошник» порезал водителя маршрутки (ФОТО, ВИДЕО) | Русская весна - 02:38 В Днепропетровске пьяный «атошник» порезал водителя маршрутки (ФОТО, ВИДЕО) | Русская весна Как НАТО адаптирует ВМС Украины под свои стандарты | Русская весна - 02:09 Как НАТО адаптирует ВМС Украины под свои стандарты | Русская весна Мария Шарапова о личной жизни вне спорта, дисквалификации и новом этапе: "Возвращение на корт сделало меня счастливее" - 01:46 Мария Шарапова о личной жизни вне спорта, дисквалификации и новом этапе: В Испании прогремел взрыв, ранены полицейские | Русская весна - 01:37 В Испании прогремел взрыв, ранены полицейские | Русская весна Россияне не променяли Родину на холодильник, — австрийские СМИ | Русская весна - 01:11 Россияне не променяли Родину на холодильник, — австрийские СМИ | Русская весна
Последние новости
Малороссия или Украина? | Русская весна - 06:09 Малороссия или Украина? | Русская весна Оладьи из кабачков: рецепт простых оладушек, как приготовить - 05:54 Оладьи из кабачков: рецепт простых оладушек, как приготовить ВАЖНО: Котёл с ИГИЛ разрезан на 2 части, Армия Сирии и ВКС России окружили боевиков в Центральной Сирии (ВИДЕО, КАРТА) | Русская весна - 05:45 ВАЖНО: Котёл с ИГИЛ разрезан на 2 части, Армия Сирии и ВКС России окружили боевиков в Центральной Сирии (ВИДЕО, КАРТА) | Русская весна Андрей Малахов ушел с 1 канала, куда: последние новости о нем - 05:36 Андрей Малахов ушел с 1 канала, куда: последние новости о нем Вера Глаголева умерла, последние новости: что случилось на самом деле, причина смерти - 05:36 Вера Глаголева умерла, последние новости: что случилось на самом деле, причина смерти Какой сегодня праздник: 18 августа отмечается несколько праздников в России, какой праздник по церковному календарю - 05:27 Какой сегодня праздник: 18 августа отмечается несколько праздников в России, какой праздник по церковному календарю Больше половины американских бомбардировщиков не могут воевать | Русская весна - 05:09 Больше половины американских бомбардировщиков не могут воевать | Русская весна Теракт в Барселоне 2017: новости сегодня, грузовик наехал на толпу - 05:01 Теракт в Барселоне 2017: новости сегодня, грузовик наехал на толпу Сводка из ДНР: Обстановка напряженная, ВСУ поджигают поля, бои и обстрелы продолжаются (ФОТО, ВИДЕО) | Русская весна - 04:36 Сводка из ДНР: Обстановка напряженная, ВСУ поджигают поля, бои и обстрелы продолжаются (ФОТО, ВИДЕО) | Русская весна Новости и слухи "Дом-2" сегодня, 18.08.2017: на 6 дней раньше эфира последние новости проекта сейчас - 04:27 Новости и слухи