Вчера мы совершили саморефлексивный формальный марафон почти на шесть часов, заслушали и обсудили доклад Михаила Патракеева «Рефлексирующий формальный язык». Михаил рассказал о разрабатываемых им формальном языке и теории, в которых граница между синтаксисом и семантикой не такая чёткая как в стандартных формализмах. В итоге получается интересная и непривычная конструкция. Если вспомнить, в своих статьях, где Фреге сравнивает свои разработки с тем, что делает Буль, одним из важных упрёков Булю является то, что его конструкция призвана передавать одну лишь форму без какого-либо содержания, а конструкция Фреге, наоборот, остаётся содержательной и не должна отделяться от математики. Когда граница между синтаксисом и семантикой размывается, получается что-то вроде содержательной конструкции Фреге, однако представленный формализм ещё радикальнее. С записью доклада можно ознакомиться на нашем YouTube-канале, в паблике VK и на канале Дзен. Подписывайтесь и ставьте реакции, от этого нам саморефлексивненько.
Вчера мы совершили саморефлексивный формальный марафон почти на шесть часов, заслушали и обсудили доклад Михаила Патракеева «Рефлексирующий формальный язык». Михаил рассказал о разрабатываемых им формальном языке и теории, в которых граница между синтаксисом и семантикой не такая чёткая как в стандартных формализмах. В итоге получается интересная и непривычная конструкция. Если вспомнить, в своих статьях, где Фреге сравнивает свои разработки с тем, что делает Буль, одним из важных упрёков Булю является то, что его конструкция призвана передавать одну лишь форму без какого-либо содержания, а конструкция Фреге, наоборот, остаётся содержательной и не должна отделяться от математики. Когда граница между синтаксисом и семантикой размывается, получается что-то вроде содержательной конструкции Фреге, однако представленный формализм ещё радикальнее. С записью доклада можно ознакомиться на нашем YouTube-канале, в паблике VK и на канале Дзен. Подписывайтесь и ставьте реакции, от этого нам саморефлексивненько.
The Securities and Exchange Board of India (Sebi) had carried out a similar exercise in 2017 in a matter related to circulation of messages through WhatsApp. In addition, Telegram's architecture limits the ability to slow the spread of false information: the lack of a central public feed, and the fact that comments are easily disabled in channels, reduce the space for public pushback. 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%. On December 23rd, 2020, Pavel Durov posted to his channel that the company would need to start generating revenue. In early 2021, he added that any advertising on the platform would not use user data for targeting, and that it would be focused on “large one-to-many channels.” He pledged that ads would be “non-intrusive” and that most users would simply not notice any change. 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.
from br
