Недавно доказали, что не различают (EMBEDDING CALCULUS AND SMOOTH STRUCTURES). Доказательство настолько формальное и короткое, что не верится, что мир вот так вот устроен (не геометрически, а, оказывается, формально). Но, с другой стороны, это показывает силу формального подхода. Проверить я его, впрочем не могу, потому что там много гомотопического/категорного/переходов в пределам по пучкам/предпучкам/расслоениям/корасслоениям и тд, и что там правильно, что нет — интуиция вообще не работает.
Недавно доказали, что не различают (EMBEDDING CALCULUS AND SMOOTH STRUCTURES). Доказательство настолько формальное и короткое, что не верится, что мир вот так вот устроен (не геометрически, а, оказывается, формально). Но, с другой стороны, это показывает силу формального подхода. Проверить я его, впрочем не могу, потому что там много гомотопического/категорного/переходов в пределам по пучкам/предпучкам/расслоениям/корасслоениям и тд, и что там правильно, что нет — интуиция вообще не работает.
Either way, Durov says that he withdrew his resignation but that he was ousted from his company anyway. Subsequently, control of the company was reportedly handed to oligarchs Alisher Usmanov and Igor Sechin, both allegedly close associates of Russian leader Vladimir Putin. 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. As such, the SC would like to remind investors to always exercise caution when evaluating investment opportunities, especially those promising unrealistically high returns with little or no risk. Investors should also never deposit money into someone’s personal bank account if instructed. There was another possible development: Reuters also reported that Ukraine said that Belarus could soon join the invasion of Ukraine. However, the AFP, citing a Pentagon official, said the U.S. hasn’t yet seen evidence that Belarusian troops are in Ukraine. The original Telegram channel has expanded into a web of accounts for different locations, including specific pages made for individual Russian cities. There's also an English-language website, which states it is owned by the people who run the Telegram channels.
from vn
