Вчера мы совершили саморефлексивный формальный марафон почти на шесть часов, заслушали и обсудили доклад Михаила Патракеева «Рефлексирующий формальный язык». Михаил рассказал о разрабатываемых им формальном языке и теории, в которых граница между синтаксисом и семантикой не такая чёткая как в стандартных формализмах. В итоге получается интересная и непривычная конструкция. Если вспомнить, в своих статьях, где Фреге сравнивает свои разработки с тем, что делает Буль, одним из важных упрёков Булю является то, что его конструкция призвана передавать одну лишь форму без какого-либо содержания, а конструкция Фреге, наоборот, остаётся содержательной и не должна отделяться от математики. Когда граница между синтаксисом и семантикой размывается, получается что-то вроде содержательной конструкции Фреге, однако представленный формализм ещё радикальнее. С записью доклада можно ознакомиться на нашем YouTube-канале, в паблике VK и на канале Дзен. Подписывайтесь и ставьте реакции, от этого нам саморефлексивненько.
Вчера мы совершили саморефлексивный формальный марафон почти на шесть часов, заслушали и обсудили доклад Михаила Патракеева «Рефлексирующий формальный язык». Михаил рассказал о разрабатываемых им формальном языке и теории, в которых граница между синтаксисом и семантикой не такая чёткая как в стандартных формализмах. В итоге получается интересная и непривычная конструкция. Если вспомнить, в своих статьях, где Фреге сравнивает свои разработки с тем, что делает Буль, одним из важных упрёков Булю является то, что его конструкция призвана передавать одну лишь форму без какого-либо содержания, а конструкция Фреге, наоборот, остаётся содержательной и не должна отделяться от математики. Когда граница между синтаксисом и семантикой размывается, получается что-то вроде содержательной конструкции Фреге, однако представленный формализм ещё радикальнее. С записью доклада можно ознакомиться на нашем YouTube-канале, в паблике VK и на канале Дзен. Подписывайтесь и ставьте реакции, от этого нам саморефлексивненько.
In the United States, Telegram's lower public profile has helped it mostly avoid high level scrutiny from Congress, but it has not gone unnoticed. 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%. WhatsApp, a rival messaging platform, introduced some measures to counter disinformation when Covid-19 was first sweeping the world. Channels are not fully encrypted, end-to-end. All communications on a Telegram channel can be seen by anyone on the channel and are also visible to Telegram. Telegram may be asked by a government to hand over the communications from a channel. Telegram has a history of standing up to Russian government requests for data, but how comfortable you are relying on that history to predict future behavior is up to you. Because Telegram has this data, it may also be stolen by hackers or leaked by an internal employee. The SC urges the public to refer to the SC’s I nvestor Alert List before investing. The list contains details of unauthorised websites, investment products, companies and individuals. Members of the public who suspect that they have been approached by unauthorised firms or individuals offering schemes that promise unrealistic returns
from ye