4 года назад
Введение в математическую логику
Мендельсон Эллиот (1976) В книге дается доступное для начинающего читателя и достаточно полное изложение основных разделов современной математической логики и многих ее приложений. Наряду с такими разделами, как логика высказываний, исчисление предикатов, формальная арифметика и теория алгоритмов, в ней освещены также теория моделей и аксиоматическая теория множеств. Следует однако отметить, что в этой книге по существу не затрагиваются интуиционистское и конструктивное направления математической логики...
536 читали · 2 года назад
9 апреля родилась актриса Елена Кондулайнен, одна из красавиц отечественного кино, которую часто сравнивали с Мерлин Монро. Отец актрисы имел финно-ингерманландские корни и носил фамилию Контулайнен. И настоящее ее актрисы не Елена,, а Лемби, что означает «любовь», а отчество – Тутувилха. Уже во время учебы в Ленинградском институте театра, музыки и кинематографии девушка взяла себе более «нейтральное» имя — Елена и «нейтральное» отчество — Ивановна. А впоследствии и в фамилии заменила букву «т» на «д» для более удобного произношения – Кондулайнен. Елена - первая советская звезда, которую во всеуслышание назвали секс-символом, поскольку она одна из первых появилась в кадре полностью обнаженной в фильме «100 дней до приказа» (1990). Став популярной, актриса в 1993 году создала политическое движение «Партия любови». Тогда ее поддержали многие представители интеллигенции – Мария Арбатова, Александр Панкратов-Черный, Алексей Глызин и другие. Елена Кондулайнен так объясняет свой проект: «Когда я создавала свою Партию любви, все ходили злые и о любви не думали. А я, таким образом, старалась привить доброту. И заметила, что постепенно и передачи какие-то про любовь появились. Пошла мысль. Вероятно, моя идея послужила очень хорошим толчком к тому, чтоб люди расслабились и вспомнили о любви». Актриса четырежды была замужем. У нее два взрослых сына. Первым мужем актрисы стал преподаватель, в этом браке родился ее первенец Александр. Второй муж – бизнесмен, с ним актриса даже обвенчалась и родила второго сына - Михаила. После развода со вторым мужем у актрисы случился кризис: смерть матери, проблемы со здоровьем старшего сына, собственная болезнь. Врачи обнаружили у Елены базедову болезнь. Длительное лечение привело к тому, что ее лицо изменилось, потеряло былую красоту. Продолжалось это больше года. Все эти проблемы привели к тому, что на время Елена ушла из профессии. Третий брак продлился не долго. По некоторым данным, этот брак был фиктивным, актриса вышла замуж лишь для того, чтобы получить столичную прописку, когда она собралась поменять Санкт-Петербург на Москву. В четвертый раз актриса вышла замуж в 52 года за 27-ти летнего предпринимателя Дмитрия, но эти отношения вскоре завершились. Но со всеми бывшими мужьями артистка старается поддерживать дружеские отношения. 24 июля 2020 года с актрисой случилась беда. Елене Ивановне стало плохо в одном из ресторанов столицы, в котором актеры Театра Луны отмечали мероприятие. Актрисе вызвали скорую, и Елену с предварительным диагнозом инсульта отвезли в реанимацию Боткинской больницы. Через неделю в больнице по пути в душ актриса отступилась и сломала руку, оправдывая свое прозвище - «тридцать три несчастья». Елена Кондулайнен сейчас восстановилась после болезни. Пожелаем здоровья красивой актрисе, всю жизнь жаждавшей любви.