Вчера мы совершили саморефлексивный формальный марафон почти на шесть часов, заслушали и обсудили доклад Михаила Патракеева «Рефлексирующий формальный язык». Михаил рассказал о разрабатываемых им формальном языке и теории, в которых граница между синтаксисом и семантикой не такая чёткая как в стандартных формализмах. В итоге получается интересная и непривычная конструкция. Если вспомнить, в своих статьях, где Фреге сравнивает свои разработки с тем, что делает Буль, одним из важных упрёков Булю является то, что его конструкция призвана передавать одну лишь форму без какого-либо содержания, а конструкция Фреге, наоборот, остаётся содержательной и не должна отделяться от математики. Когда граница между синтаксисом и семантикой размывается, получается что-то вроде содержательной конструкции Фреге, однако представленный формализм ещё радикальнее. С записью доклада можно ознакомиться на нашем YouTube-канале, в паблике VK и на канале Дзен. Подписывайтесь и ставьте реакции, от этого нам саморефлексивненько.
Вчера мы совершили саморефлексивный формальный марафон почти на шесть часов, заслушали и обсудили доклад Михаила Патракеева «Рефлексирующий формальный язык». Михаил рассказал о разрабатываемых им формальном языке и теории, в которых граница между синтаксисом и семантикой не такая чёткая как в стандартных формализмах. В итоге получается интересная и непривычная конструкция. Если вспомнить, в своих статьях, где Фреге сравнивает свои разработки с тем, что делает Буль, одним из важных упрёков Булю является то, что его конструкция призвана передавать одну лишь форму без какого-либо содержания, а конструкция Фреге, наоборот, остаётся содержательной и не должна отделяться от математики. Когда граница между синтаксисом и семантикой размывается, получается что-то вроде содержательной конструкции Фреге, однако представленный формализм ещё радикальнее. С записью доклада можно ознакомиться на нашем YouTube-канале, в паблике VK и на канале Дзен. Подписывайтесь и ставьте реакции, от этого нам саморефлексивненько.
Sebi said data, emails and other documents are being retrieved from the seized devices and detailed investigation is in progress. Asked about its stance on disinformation, Telegram spokesperson Remi Vaughn told AFP: "As noted by our CEO, the sheer volume of information being shared on channels makes it extremely difficult to verify, so it's important that users double-check what they read." In 2014, Pavel Durov fled the country after allies of the Kremlin took control of the social networking site most know just as VK. Russia's intelligence agency had asked Durov to turn over the data of anti-Kremlin protesters. Durov refused to do so. Two days after Russia invaded Ukraine, an account on the Telegram messaging platform posing as President Volodymyr Zelenskiy urged his armed forces to surrender. "The inflation fire was already hot and now with war-driven inflation added to the mix, it will grow even hotter, setting off a scramble by the world’s central banks to pull back their stimulus earlier than expected," Chris Rupkey, chief economist at FWDBONDS, wrote in an email. "A spike in inflation rates has preceded economic recessions historically and this time prices have soared to levels that once again pose a threat to growth."
from us
