Если я правильно понимаю, скорее не метаграмматика, а шаблон с некоторым количеством свободных переменных Почему-то кажется, что этот шаблон имеет все шансы быть очень, очень сложным шаблоном. Многоуровневым в смысле того, что свободные переменные являются сильно и нетривиально зависимыми друг от друга, и вся сложность - как раз там.
Но именно это и пытаются опровергнуть апологеты UG Да, если опровергнут и инвариант найдется - будет весьма интересно. Только, боюсь, инвариант будет очень сложной штукой, которую саму по себе можно будет изучать и изучать на протяжении поколений...
Что касается аналогии с цифровыми схемами - мне кажется, более верной будет аналогия с reverse engineering-ом какого-нибудь черного ящика. Да, можно с этой стороны смотреть. Я как-то проглядел этот "ракурс взгляда". Но вообще, для меня это уже становится как-то черезчур сложным, бакграунд-то далеко от этих понятий...
В общем, это я все под впечатлением только что прочитанной книги, которую и рекомендую тепло Эх, еще одна книга в длиннющий перечень того, что я мог бы с пользой прочесть, но вряд ли прочитаю до пенсии... Anyway, спасибо! Тем более, может, здесь найдется кто-то другой, кому наводка будет полезной :)
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png)
typechecker) wrote2006-07-09 09:46 pm
no subject
Почему-то кажется, что этот шаблон имеет все шансы быть очень, очень сложным шаблоном. Многоуровневым в смысле того, что свободные переменные являются сильно и нетривиально зависимыми друг от друга, и вся сложность - как раз там.
Но именно это и пытаются опровергнуть апологеты UG
Да, если опровергнут и инвариант найдется - будет весьма интересно. Только, боюсь, инвариант будет очень сложной штукой, которую саму по себе можно будет изучать и изучать на протяжении поколений...
Что касается аналогии с цифровыми схемами - мне кажется, более верной будет аналогия с reverse engineering-ом какого-нибудь черного ящика.
Да, можно с этой стороны смотреть. Я как-то проглядел этот "ракурс взгляда". Но вообще, для меня это уже становится как-то черезчур сложным, бакграунд-то далеко от этих понятий...
В общем, это я все под впечатлением только что прочитанной книги, которую и рекомендую тепло
Эх, еще одна книга в длиннющий перечень того, что я мог бы с пользой прочесть, но вряд ли прочитаю до пенсии... Anyway, спасибо! Тем более, может, здесь найдется кто-то другой, кому наводка будет полезной :)