В этот сборник вошли статьи разных лет российского математика и лингвиста Владимира Андреевича Успенского, ученика великого Колмогорова, существенно переработанные и дополненные. Очерчивая место математики в современной культуре, автор пытается прояснить для читателей-нематематиков некоторые основные понятия и проблемы «царицы наук».
Знаменитый математик и лингвист Владимир Андреевич Успенский рассказывает о математике так, что даже самые сложные ее законы становятся понятными. Он показывает место «царицы наук» в современной культуре, поясняя при этом главные математические премудрости.
В брошюре доступным неспециалистам языком рассказывается о некоторых из основополагающих принципов, на которых строится наука математика: чем понятие математического доказательства отличается от понятия доказательства, принятого в других науках и в повседневной жизни, какие простейшие приёмы доказательства используются в математике, как менялось со временем представление о «правильном» доказательстве, что такое аксиоматический метод, в чём разница между истинностью и доказуемостью. Для очень широкого круга читателей, начиная со школьников старших классов.
Брошюра написана по материалам лекции, прочитанной автором 23 июля 2005 года в летней школе «Современная математика» в Дубне. Она посвящена формализации такого интуитивно ясного термина, как «случайность». В брошюре рассматривается четыре разных подхода к этому понятию, основанных на характерных свойствах случайных последовательностей: частотоустойчивость, хаотичность, типичность и непредсказуемость. Вводятся важнейшие в теории алгоритмов понятия перечислимости, вычислимости, энтропии и колмогоровской сложности. С их помощью и можно попытаться ответить на вопрос, с которым не справляется классическая теория вероятностей: определить, можно ли, например, индивидуальную последовательность нулей и единиц считать случайной или нет. В последней главе проводится обобщение понятий частотоустойчивости, хаотичности, типичности и непредсказуемости на случай вычислимого распределения. Брошюра адресована старшим школьникам и студентам младших курсов. Предварительных знаний от читателя не потребуется, однако будет полезным знакомство с теорией алгоритмов, а для чтения последней главы – с основными понятиями теории вероятностей. Первое издание книги вышло в 2006 г.
Можно ли уничтожить и нужно ли уничтожать ставшие, увы, традиционными (хотя, как видим, и не столь древние!) границы между гуманитарными, естественными и математическими науками? Об этом я не берусь судить. Но вот разрушить барьеры между представителями этих наук, между лириками и физиками, между гуманитариями и математиками – это представляется и привлекательным, и осуществимым.
Классическая (шенноновская) теория информации измеряет количество информации, заключённой в случайных величинах. В середине 1960-х годов А. Н. Колмогоров (и другие авторы) предложили измерять количество информации в конечных объектах с помощью теории алгоритмов, определив сложность объекта как минимальную длину программы, порождающей этот объект. Это определение послужило основой для алгоритмической теории информации, а также для алгоритмической теории вероятностей: объект считается случайным, если его сложность близка к максимальной. Предлагаемая книга содержит подробное изложение основных понятий алгоритмической теории информации и теории вероятностей, а также наиболее важных работ, выполненных в рамках «колмогоровского семинара по сложности определений и сложности вычислений», основанного А.Н. Колмогоровым в начале 1980-х годов. Книга рассчитана на студентов и аспирантов математических факультетов и факультетов теоретической информатики.