Недавно доказали, что не различают (EMBEDDING CALCULUS AND SMOOTH STRUCTURES). Доказательство настолько формальное и короткое, что не верится, что мир вот так вот устроен (не геометрически, а, оказывается, формально). Но, с другой стороны, это показывает силу формального подхода. Проверить я его, впрочем не могу, потому что там много гомотопического/категорного/переходов в пределам по пучкам/предпучкам/расслоениям/корасслоениям и тд, и что там правильно, что нет — интуиция вообще не работает.
Недавно доказали, что не различают (EMBEDDING CALCULUS AND SMOOTH STRUCTURES). Доказательство настолько формальное и короткое, что не верится, что мир вот так вот устроен (не геометрически, а, оказывается, формально). Но, с другой стороны, это показывает силу формального подхода. Проверить я его, впрочем не могу, потому что там много гомотопического/категорного/переходов в пределам по пучкам/предпучкам/расслоениям/корасслоениям и тд, и что там правильно, что нет — интуиция вообще не работает.
Stocks dropped on Friday afternoon, as gains made earlier in the day on hopes for diplomatic progress between Russia and Ukraine turned to losses. Technology stocks were hit particularly hard by higher bond yields. What distinguishes the app from competitors is its use of what's known as channels: Public or private feeds of photos and videos that can be set up by one person or an organization. The channels have become popular with on-the-ground journalists, aid workers and Ukrainian President Volodymyr Zelenskyy, who broadcasts on a Telegram channel. The channels can be followed by an unlimited number of people. Unlike Facebook, Twitter and other popular social networks, there is no advertising on Telegram and the flow of information is not driven by an algorithm. However, the perpetrators of such frauds are now adopting new methods and technologies to defraud the investors. On Feb. 27, however, he admitted from his Russian-language account that "Telegram channels are increasingly becoming a source of unverified information related to Ukrainian events." 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.
from ye
