Математики поставляют формальное доказательство Догадки Кеплера
Предположение Кеплера была известной проблемой в дискретной геометрии, которая попросила самый действенный метод переполнить сферы в данное пространство. Ответ, тогда как не тяжёлый предположить (это совершенно верно, как апельсины сложены в супермаркете), было страно тяжело доказать. Хейлз и Фергюсон первоначально заявили о доказательстве в 1998, но ответ было таким долгим и усложнило это, команда дюжины рефери совершила годы, трудясь над проверкой его перед отказом. …
Математики поставляют формальное доказательство Догадки КеплераПодробнее »