Telegram Group & Telegram Channel
Вчера мы совершили саморефлексивный формальный марафон почти на шесть часов, заслушали и обсудили доклад Михаила Патракеева «Рефлексирующий формальный язык». Михаил рассказал о разрабатываемых им формальном языке и теории, в которых граница между синтаксисом и семантикой не такая чёткая как в стандартных формализмах. В итоге получается интересная и непривычная конструкция. Если вспомнить, в своих статьях, где Фреге сравнивает свои разработки с тем, что делает Буль, одним из важных упрёков Булю является то, что его конструкция призвана передавать одну лишь форму без какого-либо содержания, а конструкция Фреге, наоборот, остаётся содержательной и не должна отделяться от математики. Когда граница между синтаксисом и семантикой размывается, получается что-то вроде содержательной конструкции Фреге, однако представленный формализм ещё радикальнее. С записью доклада можно ознакомиться на нашем YouTube-канале, в паблике VK и на канале Дзен. Подписывайтесь и ставьте реакции, от этого нам саморефлексивненько.



group-telegram.com/uanalyticon/486
Create:
Last Update:

Вчера мы совершили саморефлексивный формальный марафон почти на шесть часов, заслушали и обсудили доклад Михаила Патракеева «Рефлексирующий формальный язык». Михаил рассказал о разрабатываемых им формальном языке и теории, в которых граница между синтаксисом и семантикой не такая чёткая как в стандартных формализмах. В итоге получается интересная и непривычная конструкция. Если вспомнить, в своих статьях, где Фреге сравнивает свои разработки с тем, что делает Буль, одним из важных упрёков Булю является то, что его конструкция призвана передавать одну лишь форму без какого-либо содержания, а конструкция Фреге, наоборот, остаётся содержательной и не должна отделяться от математики. Когда граница между синтаксисом и семантикой размывается, получается что-то вроде содержательной конструкции Фреге, однако представленный формализм ещё радикальнее. С записью доклада можно ознакомиться на нашем YouTube-канале, в паблике VK и на канале Дзен. Подписывайтесь и ставьте реакции, от этого нам саморефлексивненько.

BY uAnalytiCon




Share with your friend now:
group-telegram.com/uanalyticon/486

View MORE
Open in Telegram


Telegram | DID YOU KNOW?

Date: |

Sebi said data, emails and other documents are being retrieved from the seized devices and detailed investigation is in progress. As the war in Ukraine rages, the messaging app Telegram has emerged as the go-to place for unfiltered live war updates for both Ukrainian refugees and increasingly isolated Russians alike. The regulator said it had received information that messages containing stock tips and other investment advice with respect to selected listed companies are being widely circulated through websites and social media platforms such as Telegram, Facebook, WhatsApp and Instagram. In this regard, Sebi collaborated with the Telecom Regulatory Authority of India (TRAI) to reduce the vulnerability of the securities market to manipulation through misuse of mass communication medium like bulk SMS.
from jp


Telegram uAnalytiCon
FROM American