к теме вычислений. сегодня дошло, что "лобовое рассуждение" надо читать как "diagram chasing", то есть вместо него можно полтора* раза сослаться на 5-лемму.
доказательство стало понятнее, но длиннее на 77%. примерно как то самое "Гротендик упростил 80-страничную статью Серра, превратив ее в тысячестраничную EGA"
*как известно, 5-лемма состоит из двух 4-лемм. здесь надо два раза сослаться на первую и один раз на вторую
к теме вычислений. сегодня дошло, что "лобовое рассуждение" надо читать как "diagram chasing", то есть вместо него можно полтора* раза сослаться на 5-лемму.
доказательство стало понятнее, но длиннее на 77%. примерно как то самое "Гротендик упростил 80-страничную статью Серра, превратив ее в тысячестраничную EGA"
*как известно, 5-лемма состоит из двух 4-лемм. здесь надо два раза сослаться на первую и один раз на вторую
Unlike Silicon Valley giants such as Facebook and Twitter, which run very public anti-disinformation programs, Brooking said: "Telegram is famously lax or absent in its content moderation policy." The Security Service of Ukraine said in a tweet that it was able to effectively target Russian convoys near Kyiv because of messages sent to an official Telegram bot account called "STOP Russian War." NEWS In December 2021, Sebi officials had conducted a search and seizure operation at the premises of certain persons carrying out similar manipulative activities through Telegram channels. The picture was mixed overseas. Hong Kong’s Hang Seng Index fell 1.6%, under pressure from U.S. regulatory scrutiny on New York-listed Chinese companies. Stocks were more buoyant in Europe, where Frankfurt’s DAX surged 1.4%.
from cn
