AC
То-то и оно, что получились структуры, а не синтаксис. 😊
Size: a a a
Типы в языках программирования, моделирования, представления знаний и жизни
505 membersпожаловаться на группу
2021 November 01
AB
Дык структуры и есть синтаксис.
ПС
структуры, но получены-то они чисто синтаксическими средствами
DG
Что-то последние пару дней какая-то мегамиграция по чатикам пошла)
AB
Но тут я конечно распространяю понятие синтаксиса и на физические структуры.
a
не уведомляйте плз, я кину чат в архив и буду посматривать ссылки раз в неделю
AC
Получаем-то мы всегда "синтаксическими средствами", но наличие нескольких эквивалентных способов получения как бы намекает на независимость одного от другого.
Кроме того, я не уверен насчёт синтаксического выражения этого отношения эквивалентности... 🤔
Кроме того, я не уверен насчёт синтаксического выражения этого отношения эквивалентности... 🤔
ПС
тип, я не занимаюсь редукционизмом, как г-н BUR, но полезные свойства у структуры начинаются только тогда, когда у неё появляется хорошее синтаксическое описание
процесс поиска этого описания и сама природа структур — это, простите, уже философия математики, я туда не лезу
процесс поиска этого описания и сама природа структур — это, простите, уже философия математики, я туда не лезу
AB
Я тотальный редукционист.
[
без полноты по тьюрингу что ли?
AB
ну да, я умею синтаксическим способом новизну генерить
AB
перебираю диагонали
AB
ну и еще разные методы