Вчера мы совершили саморефлексивный формальный марафон почти на шесть часов, заслушали и обсудили доклад Михаила Патракеева «Рефлексирующий формальный язык». Михаил рассказал о разрабатываемых им формальном языке и теории, в которых граница между синтаксисом и семантикой не такая чёткая как в стандартных формализмах. В итоге получается интересная и непривычная конструкция. Если вспомнить, в своих статьях, где Фреге сравнивает свои разработки с тем, что делает Буль, одним из важных упрёков Булю является то, что его конструкция призвана передавать одну лишь форму без какого-либо содержания, а конструкция Фреге, наоборот, остаётся содержательной и не должна отделяться от математики. Когда граница между синтаксисом и семантикой размывается, получается что-то вроде содержательной конструкции Фреге, однако представленный формализм ещё радикальнее. С записью доклада можно ознакомиться на нашем YouTube-канале, в паблике VK и на канале Дзен. Подписывайтесь и ставьте реакции, от этого нам саморефлексивненько.
Вчера мы совершили саморефлексивный формальный марафон почти на шесть часов, заслушали и обсудили доклад Михаила Патракеева «Рефлексирующий формальный язык». Михаил рассказал о разрабатываемых им формальном языке и теории, в которых граница между синтаксисом и семантикой не такая чёткая как в стандартных формализмах. В итоге получается интересная и непривычная конструкция. Если вспомнить, в своих статьях, где Фреге сравнивает свои разработки с тем, что делает Буль, одним из важных упрёков Булю является то, что его конструкция призвана передавать одну лишь форму без какого-либо содержания, а конструкция Фреге, наоборот, остаётся содержательной и не должна отделяться от математики. Когда граница между синтаксисом и семантикой размывается, получается что-то вроде содержательной конструкции Фреге, однако представленный формализм ещё радикальнее. С записью доклада можно ознакомиться на нашем YouTube-канале, в паблике VK и на канале Дзен. Подписывайтесь и ставьте реакции, от этого нам саморефлексивненько.
Telegram, which does little policing of its content, has also became a hub for Russian propaganda and misinformation. Many pro-Kremlin channels have become popular, alongside accounts of journalists and other independent observers. Telegram Messenger Blocks Navalny Bot During Russian Election Stocks closed in the red Friday as investors weighed upbeat remarks from Russian President Vladimir Putin about diplomatic discussions with Ukraine against a weaker-than-expected print on U.S. consumer sentiment. "This time we received the coordinates of enemy vehicles marked 'V' in Kyiv region," it added. At the start of 2018, the company attempted to launch an Initial Coin Offering (ICO) which would enable it to enable payments (and earn the cash that comes from doing so). The initial signals were promising, especially given Telegram’s user base is already fairly crypto-savvy. It raised an initial tranche of cash – worth more than a billion dollars – to help develop the coin before opening sales to the public. Unfortunately, third-party sales of coins bought in those initial fundraising rounds raised the ire of the SEC, which brought the hammer down on the whole operation. In 2020, officials ordered Telegram to pay a fine of $18.5 million and hand back much of the cash that it had raised.
from no
