Апология математики (сборник статей)

Аксиоматическое построение геометрии не предполагает разъяснения того, что такое точки, прямые и названные отношения. Вместо этого формулируются аксиомы, в которых указывается, каким законам подчиняются точки, прямые, инцидентность, отношение «между», конгруэнтность отрезков и конгруэнтность углов. Из этих аксиом и выводятся теоремы геометрии. Говоря формально, аксиомы могут быть какими угодно, лишь бы они не противоречили друг другу. Но ежели мы желаем, чтобы теория описывала реальность, то, как уже отмечалось, и аксиомы, связывающие идеальные объекты и отношения теории, должны отражать свойства тех сущностей реального физического мира, отражением каковых служат указанные идеальные объекты и отношения, положенные в основу теории. В частности, отношение конгруэнтности геометрических фигур должно отражать возможность совмещения одной фигуры с другой посредством перемещения.

На примере куздр, бокров и будлания мы попытались вкратце изложить суть аксиоматического метода. Несколько заключительных замечаний относительно этого примера. Заменим в вышеприведённых аксиомах (1) – (4) слово «куздра» на «точка», слово «бокр» – на «прямая», слово «будлать» – на выражение «лежать на». Аксиома (4) превратится тогда в такое утверждение (4*): на каждой прямой лежат по меньшей мере две точки. Аналогично аксиомы (1), (2) и (3) превратятся в утверждения (1*), (2*) и (3*), которые мы просим любезного читателя образовать самостоятельно. Утверждения (1*) – (4*) составляют в совокупности группу так называемых аксиом связи планиметрии, регулирующих то, как точки связаны с прямыми. Читатель может теперь перевести аксиому о параллельных на язык куздр: для куздры, не будлающей заданного бокра, существует не более одного бокра… (благоволите продолжить). И последнее: странные эти слова мы заимствовали у выдающегося отечественного языковеда Льва Владимировича Щербы, который в 1920-х гг. учил студентов извлекать максимум лингвистической информации из фразы «Глокая куздра штеко будланула бокра и курдячит бокрёнка».

Глава 9 Проблема на миллион долларов

Давно известна классическая формула репортёров: если собака укусила человека, это не новость; другое дело, если человек укусил собаку. (От себя замечу, что иные из репортёров дают сообщение, что человек укусил собаку, и тогда, когда в действительности этого не было.) Сведения о том, что петербургский математик Григорий Перельман решил великую математическую проблему, 100 лет не поддававшуюся решению, начали появляться в российских средствах массовой информации с 2003 г. Но это была ещё не новость. Подлинной новостью, сенсацией – в согласии с приведённой формулой – стало облетевшее СМИ летом 2006 г. и заметное время не сходившее с экранов и страниц известие: Перельман отказался от всех присуждённых ему наград, в частности от миллиона долларов. Корреспондентам, пытавшимся взять у него интервью, Перельман вежливо, но решительно отказал во встрече, сославшись на неуместность шумихи, но прежде всего на то, что должен идти в лес по грибы, – эти причины были названы им в оглашённой по телевидению записи телефонного разговора с домогающимися корреспондентами. Одновременно сообщалось, что проблема не только знаменитая и очень трудная, но и существенная для теоретической физики, а именно для понимания устройства окружающего нас физического пространства.

Пожалуй, со времени вхождения в общекультурный оборот проблемы Ферма ни одна математическая проблема с тянущимся за ней шлейфом обстоятельств не приобретала ни в какой стране такой массовой известности. Математическая проблематика вторглась в общественное сознание. Не следует ли нам утвердить величие великой проблемы, оставив её окружённой ореолом тайны, открытой лишь для посвящённых и полностью недоступной пониманию широкой публики? Не знаю; может быть, и стоит. Тем не менее в следующих главах мы попытаемся в самых общих чертах объяснить читателю-нематематику, в чём состоит проблема.