Ломоносовские чтения 2025, кафедра математической логики и теории алгоритмов
Научно-исследовательский семинар по математической логике под руководством академика РАН Л. Д. Беклемишева и академика РАН А. Л. Семёнова
2 апреля 2025 г., среда, 18:30
Главное здание, сектор "А", ауд. 16-04
✅О теореме Гудман-Штрауса. Доклад профессора Верещагина Н. К. ✅О конструктивном исчислении предикатов. Доклад доцента Плиско В. Е. ✅Предикатные модальные логики ограниченной альтернативы. Доклад профессора Шехтмана В. Б.
Ломоносовские чтения 2025, кафедра математической логики и теории алгоритмов
Научно-исследовательский семинар по математической логике под руководством академика РАН Л. Д. Беклемишева и академика РАН А. Л. Семёнова
2 апреля 2025 г., среда, 18:30
Главное здание, сектор "А", ауд. 16-04
✅О теореме Гудман-Штрауса. Доклад профессора Верещагина Н. К. ✅О конструктивном исчислении предикатов. Доклад доцента Плиско В. Е. ✅Предикатные модальные логики ограниченной альтернативы. Доклад профессора Шехтмана В. Б.
In 2014, Pavel Durov fled the country after allies of the Kremlin took control of the social networking site most know just as VK. Russia's intelligence agency had asked Durov to turn over the data of anti-Kremlin protesters. Durov refused to do so. Telegram was co-founded by Pavel and Nikolai Durov, the brothers who had previously created VKontakte. VK is Russia’s equivalent of Facebook, a social network used for public and private messaging, audio and video sharing as well as online gaming. In January, SimpleWeb reported that VK was Russia’s fourth most-visited website, after Yandex, YouTube and Google’s Russian-language homepage. In 2016, Forbes’ Michael Solomon described Pavel Durov (pictured, below) as the “Mark Zuckerberg of Russia.” Telegram does offer end-to-end encrypted communications through Secret Chats, but this is not the default setting. Standard conversations use the MTProto method, enabling server-client encryption but with them stored on the server for ease-of-access. This makes using Telegram across multiple devices simple, but also means that the regular Telegram chats you’re having with folks are not as secure as you may believe. Also in the latest update is the ability for users to create a unique @username from the Settings page, providing others with an easy way to contact them via Search or their t.me/username link without sharing their phone number. If you initiate a Secret Chat, however, then these communications are end-to-end encrypted and are tied to the device you are using. That means it’s less convenient to access them across multiple platforms, but you are at far less risk of snooping. Back in the day, Secret Chats received some praise from the EFF, but the fact that its standard system isn’t as secure earned it some criticism. If you’re looking for something that is considered more reliable by privacy advocates, then Signal is the EFF’s preferred platform, although that too is not without some caveats.
from us
