Метазаморочки
Что такое заморочки, знают все. Однако некоторые (например, я) заморачиваются даже о том, что у них есть те или иные заморочки. Подобные заморочки о заморочках логично назвать метазаморочками (аналогично метаязыкам или метаданным).
Важно отметить, что в отличие от толкования, придаваемого мета-уровням в MOF (http://www.omg.org/mof), в данном случае следующий мета-уровень является подмножеством предыдущего, таким образом, в некотором смысле приставка "мета-" понижает уровень абстракции, сужая множество объектов.
Поясним это соображение на примере: всякая метазаморочка является заморочкой, поэтому можно говорить о том, что множество МЗ всех метазаморочек строго включается в множество З всех заморочек, аналогично ММЗ - множество всех метаметазаморочек, то есть заморочек о метазаморочках - строго включается в МЗ.
Таким образом, метазаморочки представляют собой любопытнейший феномен для понимания уровней абстракции: с одной стороны очевидно, что метазаморочка есть мышление на более высоком уровне абстракции, чем простая заморочка (поскольку метазаморочка вовлекает самосоознание и самоанализ), с другой же стороны, как показано выше, метазаморочки как математические объекты представляют более узкое множество, таким образом, относясь к более низкому уровню абстракции.
* Не примите всерьез
** В каждой шутке есть доля шутки
Важно отметить, что в отличие от толкования, придаваемого мета-уровням в MOF (http://www.omg.org/mof), в данном случае следующий мета-уровень является подмножеством предыдущего, таким образом, в некотором смысле приставка "мета-" понижает уровень абстракции, сужая множество объектов.
Поясним это соображение на примере: всякая метазаморочка является заморочкой, поэтому можно говорить о том, что множество МЗ всех метазаморочек строго включается в множество З всех заморочек, аналогично ММЗ - множество всех метаметазаморочек, то есть заморочек о метазаморочках - строго включается в МЗ.
Таким образом, метазаморочки представляют собой любопытнейший феномен для понимания уровней абстракции: с одной стороны очевидно, что метазаморочка есть мышление на более высоком уровне абстракции, чем простая заморочка (поскольку метазаморочка вовлекает самосоознание и самоанализ), с другой же стороны, как показано выше, метазаморочки как математические объекты представляют более узкое множество, таким образом, относясь к более низкому уровню абстракции.
* Не примите всерьез
** В каждой шутке есть доля шутки