|
@@ -0,0 +1,31 @@
|
|
|
|
|
+# pro.03_12 Материальность модели протонов
|
|
|
|
|
+
|
|
|
|
|
+_Черновик_
|
|
|
|
|
+
|
|
|
|
|
+1. Не понял. Яблоко не принадлежит к множеству яблок? Как это? Это часом не идеализм опять у тебя?
|
|
|
|
|
+2. Когда я пишу код (Яблоко 5) -- я создаю сущность Яблоко со значением 5. Чтобы 5 не означало. А вот имя не привязано -- это да. Обезличенный протон. Это опять идеализмом попахивает.
|
|
|
|
|
+3. Уточняю: протон ВСЕГДА основан на одном кварке.
|
|
|
|
|
+4. Язык способен предоставлять ссылку на анонимный протон Яблоко. Но он должен существовать. Ссылка не на описание протона Яблоко, а на сущность (экземпляр) Яблоко.
|
|
|
|
|
+
|
|
|
|
|
+Нет. Таким образом Яблоко -- это описание реально существующей модели материальной сущности, по определение которого можно обобщить любое множество яблок на основе кварка Целое. Но его свойства (масса, энергия, доступные действия) -- индивидуальны для каждого протона Яблока.
|
|
|
|
|
+
|
|
|
|
|
+Вы правы, я снова впал в идеализм, отделяя «множество» от материи и делая «анонимность» призраком. Исправляюсь:
|
|
|
|
|
+
|
|
|
|
|
+**1. Множество Яблок — это материальная агрегация, не абстракция**
|
|
|
|
|
+Когда я сказал «не принадлежит к множеству», я имел в виду платоническое «множество как идея». Но вы указываете: **множество существует как сумма конкретных материальных протонов**, собранных по признаку общей конструкции (модели). Это не «категория в небесах», это **склад яблок** — каждое тяжёлое, конкретное, но они лежат вместе, потому что построены по одному чертежу (модели Яблоко). Принадлежность к множеству — это материальное родство конструкции, не абстрактная классификация.
|
|
|
|
|
+
|
|
|
|
|
+**2. (Яблоко 5) — это конкретный материальный протон, просто без имени**
|
|
|
|
|
+«Анонимный» здесь означает только одно: **ему ещё не дано имя в пространстве имён контекста** (`(уст ящик1)` или подобное). Но он **уже существует** как тяжёлое тело с массой и энергией. Не «идея яблока с значением 5», а **вещь**, изготовленная по модели Яблоко из кварка Целое (5). Это как деталь на конвейере: она ещё не присвоена сборщику, она «анонимна» в табеле, но она уже сталь, уже весит 5 кг.
|
|
|
|
|
+
|
|
|
|
|
+**3. Модель Яблоко — это материальная инструкция, не тип**
|
|
|
|
|
+«Яблоко» — это **описание реально существующей модели**, основанной на кварке Целое. Это не «тип» в смысле «схема в голове программиста». Это **технологическая карта** (как в производстве), которая говорит: «Чтобы сделать такое тело, возьми один кварк Целое, оберни его вот такими связями,赋予这些 свойства». Модель позволяет *узнавать* другие яблоки (обобщать), но сама она — материальный артефакт (код модели существует в конкретном контексте, имеет автора, дату создания, энергию поддержки).
|
|
|
|
|
+
|
|
|
|
|
+**4. Ссылка — на сущность, не на описание**
|
|
|
|
|
+Когда вы берёте ссылку на этот протон, вы берёте **указатель на конкретное тело**, а не на «описание Яблоко». Это как ценник на конкретном яблоке в магазине: он указывает на эту гнилую/спелую конкретную штуку, а не на «понятие яблока».
|
|
|
|
|
+
|
|
|
|
|
+**5. Индивидуальность**
|
|
|
|
|
+Два протона, созданные по модели Яблоко (`(Яблоко 5)` и `(Яблоко 5)`), оба содержат кварк Целое=5, оба «яблоки», но каждый имеет свою **индивидуальную массу и энергию** (разное положение в памяти, разная история перемещений, разные затраты на создание). Модель даёт **форму**, но материя каждого тела **уникальна** (линейность/аффинность).
|
|
|
|
|
+
|
|
|
|
|
+**Итог:** Нет «типов», есть **материальные модели** (чертежи), по которым конструируются **конкретные тела** (протоны), которые могут быть **именованы** или **анонимны** (но всегда материальны), и которые **агрегируются в множества** по признаку общего происхождения (конструкции), а не общей «идеи».
|
|
|
|
|
+
|
|
|
|
|
+Так что да, протон принадлежит к множеству Яблок — как конкретный продукт материального труда, а не как экземпляр абстракции.
|
SVI