Единица по Бурбаки: красота запредельной абстрактности В своём стремлении к формальной точности математики, кажется, иногда переходят границу разумного. Такая мысль возникает у многих, когда они впервые видят определение единицы у Бурбаки. Определение, которое вы видите на картинке, — это сокращённая, очень и очень сокращённая запись. Аккуратный расчёт показывает, что, если развернуть эти сокращения, то длина этого знакосочетания представляет 2 409 875 496 393 137 300 000 000 000 000 000 000 000 000 000 000 000 000 знаков и 871 880 233 733 949 100 000 000 000 000 000 000 000 000 000 000 000 000 связей. Это безумное число. Если бы мы попробовали записать его обычным шрифтом, то это заняло бы сто миллиардов квинтиллионов квинтиллионов книг. Первое впечатление — дичайший формализм, доведённый до абсурда. Но при внимательном рассмотрении и некотором времени, потраченном на изучение предмета, приходит понимание того, насколько это красивое и точное определение. Более того, это довольно естественное и простое определение, и автор статьи попытается за 15 минут вас в этом убедить, даже если ваше знание математики ограничивается школой.