Обсуждение:Плотная упаковка равных сфер
Перейти к навигации
Перейти к поиску
Эта статья тематически связана с вики-проектом «Математика», цель которого — создание и улучшение статей по темам, связанным с математикой. Вы можете её отредактировать, а также присоединиться к проекту, принять участие в его обсуждении и поработать над требуемыми статьями. |
 | Эта статья содержит текст, переведённый из статьи Close-packing of equal spheres из раздела Википедии на английском языке. Список авторов находится на странице истории правок оригинальной статьи. Информация о включении текстов из других источников и их авторах может быть размещена на странице обсуждения оригинальной статьи. |
Математика стала другой?[править код]
Эту гипотезу доказал Т. К. Хейлз после многолетнего труда по программированию вычислений, необходимых для доказательства.
Вроде, меня в школе учили, что вычисления не доказывают ничего, кроме работоспособности калькулятора. А гипотезы по-другому доказываются. И сколько ни рисуй прямоугольных треугольников, ни измеряй стороны линейкой и ни возводи результаты в квадрат - ничего не докажешь. Нет, всё теперь иначе?
- Некоторые гипотезы уже доказаны именно при помощи компьютера, например проблема четырех красок. MBH 13:05, 14 августа 2022 (UTC)
- Коллега, спасибо! Но я не это имел в виду. Доказательство как таковое, как логичная цепочка понятных (специалистам) умозаключений, приводящая от вопроса к ответу - причём тут компьютер? Т.е. я не против, я лишь прошу указать, наверняка в научном мире была некая общая дискуссия принципиального характера, и чем-то она закончилась. Математики как-то договорились, что признавать за подобное доказательство, какие критерии, какие условия должны быть выполнены? Как называется эта проблема, как формулируется постановка вопроса в целом, что гуглить? Может быть, статья в Вики есть? Предмет-то выглядит значимым. А то текст по этому поводу в статье о четырёх красках такой содержательный и понятный, что лучше бы его вообще не было. Процитирую, с Вашего позволения (если избыточно - пожалуйста, удалите или скройте): "Первым шагом доказательства была демонстрация существования определённого набора из 1936 карт, ни одна из которых не может содержать карту меньшего размера, которая опровергала бы теорему. Авторы использовали специальную компьютерную программу, чтобы доказать это свойство для каждой из 1936 карт. Доказательство этого факта заняло сотни страниц. После этого Аппель и Хакен пришли к выводу, что не существует наименьшего контрпримера к теореме, потому что иначе он должен был бы содержать какую-нибудь из этих 1936 карт, чего нет. Это противоречие говорит о том, что контрпримера нет вообще." Абракадабра, хотя высшее техническое образование не в третьеразрядном вузе получал, и не троечник.