Не верь, не бойся, не проси - [entries|archive|friends|userinfo]
phantom

[ website | My Website ]
[ userinfo | ljr userinfo ]
[ archive | journal archive ]

[Aug. 26th, 2022|11:58 pm]
Previous Entry Add to Memories Tell A Friend Next Entry
Пара - это иерархия

Парадоксально, элементарная идея пары не порождает то, что мы обычно называем парой. Обычно мы называем так пару атомов, упорядоченную или неупорядоченную, список или кортеж размера два.

Пара является, рекурсивно, - парой атомов, парой пар, парой атома и пары атома и пары атома и пары..., и т.п. Без дополнительных ограничений идея пары порождает и является идеей иерархии. (Заметки на полях: также может быть пара пар пар пар и т.д., даже исключая идею атомов).

Дополнительным ограничением может быть требование к составляющим быть атомами или определёнными структурами. Но концепция тогда утрачивает элементарность и становится составной, усложнённой, небазовой.

Пара, с одной стороны, - это связка "и" в определении "вещь и вещь", где вещь суть пара или атом. Связка "и" - необязательно лингвистична, она и противопоставление, и дуальность, и негация, и т.п. (Заметки на полях: атом может быть вторичен, атом - это не пара, т.е. самореферентная дуальность к паре).

С другой стороны, - это шаг в рекурсивном или индуктивном определениях. Рекурсивно: пара - это (атом или пара) и (атом или пара). Индуктивно: структура Р - или атом, или Р и Р. (Заметки на полях: Р здесь не совсем пара, т.к. может быть атомом).

Как называть пару, которая не пара, а шаг в построении иерархии? Стоит ли прекратить использовать это слово? Скажем, оставить термин "двойка" для пары атомов, а "пара" не использовать? (Заметки на полях: прагматика побуждает переиспользовать высвобожденный термин, к примеру для двойки).

Пара, порождающая иерархию, - это строгое (full) двоичное ориентированное дерево, где помечены только листья и корень заменён на неориентированное ребро. Т.е. полшага до некорневого двоичного дерева. (Заметки на полях: можно вернуть (воображаемый) корень, и будет классическое дерево, один из подвидов).

Название "иерархия" - подходящее, оно достаточно обобщённое для достаточно общей порождаемой структуры. В пространство пар вложены всевозможные составные структуры, начиная со вложенных списков. (Заметки на полях: на практике - через конечный терминатор).
LinkLeave a comment

Comments:
From:(Anonymous)
Date:August 26th, 2022 - 09:40 pm
(Link)
привет, ебанашка
From:(Anonymous)
Date:August 26th, 2022 - 09:57 pm
(Link)
Свинер!
From:(Anonymous)
Date:August 26th, 2022 - 10:28 pm
(Link)
не читал
иди нахуй кароч
From:(Anonymous)
Date:August 26th, 2022 - 11:48 pm
(Link)
сходи к психотерапевту, проверься
[User Picture]
From:[info]lookatmisha
Date:August 27th, 2022 - 12:45 pm
(Link)
Скроллил фиф, смотрю хуйня какаято буквами написана думаю фантом и точно фантом! кек
From:(Anonymous)
Date:August 29th, 2022 - 08:15 am
(Link)
о привет, пидрила сутулая
как там твоя жопа, все так же бо-бо?
а хуле, терпи. такая у вас пидарасов доля