Москвичи выбрали цвета для трех будущих линий метро: Троицкая будет изумрудной, Бирюлевская – рубиновой, а Рублево-Архангельская – графитовой.

Подпишись на Агентство «Москва»

Москвичи выбрали название для голосового помощника цифровых сервисов столицы, который сейчас работает в тестовом режиме в приложении «Моя Москва». В голосовании приняли участие 176015 «активных граждан». Горожане выбрали название «Москва».

Подпишись на Агентство «Москва»

Итоги VI Всероссийского фестиваля "Архитектурное наследие"

В этом году фестиваль "Архитектурное наследие", посвященный актуальным проблемам сохранения, реставрации и адаптации объектов культурного наследия (ОКН), прошёл в Самаре с 8 по 10 июня.

Гран-при получил музей-заповедник "Кижи" за работу "Комплексная реставрация ОКН федерального значения "Церковь Преображения Господня, 1714 год"".

Фестиваль-2024 пройдет в Тюмени. Администрация города в этом году взяла серебро в номинации "Реализованные проекты реставрации объектов архитектурного и ландшафтного наследия и приспособления их к современным условиям" за проект "Сохранение наследия деревянного зодчества на первой пешеходной улице в Тюмени". А журнал "Наследие Тюменской области" признан "Лучшим журналом об архитектуре и архитекторах".

(фото: https://archnasledie.ru)

Теоремы Геделя любят упоминать многие нематематики и даже гуманитарии, ведь как ни крути, а речь в философском смысле идёт о границах познания и как бы о тщетности этого процесса — чего ни придумай, а все равно нужны ещё аксиомы

А есть ли пример утверждения, которое не выведешь из привычных аксиом арифметики? Есть -- теорема Гудстейна

Формулировка может снести крышу — настолько она неочевидна. Функция Гудстейна, кажется, обязана всегда расти, причем сумасшедшими темпами, однако оказывается, что это не бесконечный процесс. Рано или поздно она примет значение нуль

При этом теорема хоть и верна, она недоказуема. Доказать её — все равно что доказать непротиворечивость арифметики Пеано, но в рамках самой арифметики Пеано это невозможно. Доказать, говорят, можно в рамках арифметики второго порядка, но я, по правде говоря, в ней не очень разбираюсь

Поэтому ограничимся спекулятивным рассуждением, которое просто принципиально помогает понять, почему утверждение теоремы Гудстейна верно

Дело в том, что та самая единичка, которая отнимается от всей конструкции, иногда вносит в неё "переполох" — количество слагаемых вырастает, но степени не во всех из них так уж велики. И основание степени уже не всегда удается увеличить. Ну а потом рано или поздно уменьшается количество самих слагаемых, и когда-нибудь возникнет ситуация, что слагаемое вообще одно и тогда уже вы спокойно можете доотнимать от него свою единичку до самого нуля

Как это работает на малых числах, можно посмотреть по той же ссылке. Но на всякий случай ещё раз повторим — это не доказательство

Три билборда — канал про самые креативные и авангардные рекламные ролики в истории, архивы и примеры, где нет места скучным штампам и заезженным идеям.
Канал ведут три архитектора, в нём интересный и культурный подход в публикациях. И, в конце-концов, местами тут очень смешно!

Реклама. ИНН 774333022001

По совету диетологов, в жару утолять жажду лучше водой без газа, зеленым или белым чаем, отварами шиповника, мяты, душицы