Читаем Современная модальная логика: между математикой и информатикой, И.Б. Шапировский, В.Б. Шехтман
Думаю, стоит нам немного отдохнуть от философии и заняться чем-то более приземлённым. Предлагаю прочитать обзор современного состояния исследований в модальной логике от крупных специалистов в ней. По-хорошему, конечно, надо было бы эту статью читать до книги Хеллмана, но как уж получилось. Зато теперь чтение будет мотивированное!
Прочитать статью к пятнице, 9августа. Встречаемся на нашем дискорд-сервере в 19:00 по Москве.
Читаем Современная модальная логика: между математикой и информатикой, И.Б. Шапировский, В.Б. Шехтман
Думаю, стоит нам немного отдохнуть от философии и заняться чем-то более приземлённым. Предлагаю прочитать обзор современного состояния исследований в модальной логике от крупных специалистов в ней. По-хорошему, конечно, надо было бы эту статью читать до книги Хеллмана, но как уж получилось. Зато теперь чтение будет мотивированное!
Прочитать статью к пятнице, 9августа. Встречаемся на нашем дискорд-сервере в 19:00 по Москве.
Telegram was founded in 2013 by two Russian brothers, Nikolai and Pavel Durov. Overall, extreme levels of fear in the market seems to have morphed into something more resembling concern. For example, the Cboe Volatility Index fell from its 2022 peak of 36, which it hit Monday, to around 30 on Friday, a sign of easing tensions. Meanwhile, while the price of WTI crude oil slipped from Sunday’s multiyear high $130 of barrel to $109 a pop. Markets have been expecting heavy restrictions on Russian oil, some of which the U.S. has already imposed, and that would reduce the global supply and bring about even more burdensome inflation. Official government accounts have also spread fake fact checks. An official Twitter account for the Russia diplomatic mission in Geneva shared a fake debunking video claiming without evidence that "Western and Ukrainian media are creating thousands of fake news on Russia every day." The video, which has amassed almost 30,000 views, offered a "how-to" spot misinformation. On Telegram’s website, it says that Pavel Durov “supports Telegram financially and ideologically while Nikolai (Duvov)’s input is technological.” Currently, the Telegram team is based in Dubai, having moved around from Berlin, London and Singapore after departing Russia. Meanwhile, the company which owns Telegram is registered in the British Virgin Islands. In February 2014, the Ukrainian people ousted pro-Russian president Viktor Yanukovych, prompting Russia to invade and annex the Crimean peninsula. By the start of April, Pavel Durov had given his notice, with TechCrunch saying at the time that the CEO had resisted pressure to suppress pages criticizing the Russian government.
from ca
