Этот сайт посвящен поискам решений целого ряда нерешенных или признанных “нерешаемыми” математических проблем. Эти проблемы имеют огромное значение для целых областей наук, тесно связанных с математикой, таких как криптография, безопасность передачи и хранения данных, устойчивость компьютерных систем к взлому и многих других.
На конкретных примерах с использованием собственных алгоритмов и программного обеспечения, а также самых обычных компьютеров мы покажем некоторые пути решения ряда проблем, на поиски решений которых мировое научное сообщество потратило десятки лет и многие миллионы долларов, зачастую без особого результата.
Мы постараемся свести к минимуму изложение какой-либо формальной математики, поскольку методы, использованные современной формальной математикой для недавнего доказательства, например, гипотезы Пуанкаре или великой теоремы Ферма составляли сотни страниц практически шифрованного текста и заняли много-много лет для своей проверки в то время как понять их могла едва ли даже сотня выдающихся математиков со всего мира.
Мы будем скорее стараться следовать путем американского математика Ноама Элкиса, который используя кажущийся сейчас допотопным компьютер, опроверг в 1986 году одну их гипотез великого Эйлера, касавшуюся суммы степеней целых чисел, которая считалась математиками истинной более 200 лет.
Современные компьютеры и программы во многом уравнивают шансы простых людей на совершение новых открытий и решение старых проблем.
Мы надеемся, что наш сайт будет развиваться и мы постепенно, шаг за шагом, будем переходить от одних проблем к другим. Этот путь не будет быстрым и легким, но важно сделать первый шаг.
[display_ip]