|
|
@@ -106,11 +106,11 @@ prolet --> СинтезАппарат
|
|
|
|
|
|
### Кварки (сущее, основа конкретного)
|
|
|
|
|
|
-**Что:** `Целое`, `Строка`, `Бул`, `Срез` — отражение основ цифровой материи, отражение аппаратных типов.
|
|
|
+**Что:** `Целое`, `Строка`, `Бул`, `Срез` — отражение основ цифровой материи, отражение аксиом.
|
|
|
|
|
|
-**Статус:** отражение аппаратных типов в виде одной формы, носитель для протонов.
|
|
|
+**Статус:** аксимоы, которые будут отражены на аппаратные типы в виде одной формы, основа для протонов и нейтронов.
|
|
|
|
|
|
-**Роль в диалектике:** отражение аппаратного, предоставление базы для протонов.
|
|
|
+**Роль в диалектике:** отражение на аппаратное, предоставление аксиом для протонов.
|
|
|
|
|
|
**Противоречие:** нуклон не может непосредственно быть использованным как аппаратный тип, кварк снимает конкретные ограничения на практическую реализацию.
|
|
|
|
|
|
@@ -122,24 +122,24 @@ prolet --> СинтезАппарат
|
|
|
|
|
|
**Что**: `Аппаратура` — новая конкретная форма аппаратуры, среда практической деятельности.
|
|
|
|
|
|
-**Статус**: среда конкретной реализации, пространство доступного, отрицание абстрактного.
|
|
|
+**Статус**: среда конкретной реализации, пространство доступного, отрицание `не_бытия`.
|
|
|
|
|
|
-**Роль в диалектике**: «Отрицание абстрактного».
|
|
|
+**Роль в диалектике**: «Отрицание абстрактного, идеалистического».
|
|
|
|
|
|
-**Противоречие:** кварк, отражая возможности аппаратуры, ничего не знает о возможностях аппаратуры. С ходом развития и/или расширения языка — аппаратура наиболее полно реализует возможности языка.
|
|
|
+**Противоречие:** кварк, отражённый на возможности аппаратуры, ничего не знает о возможностях аппаратуры. С ходом развития и/или расширения языка — аппаратура наиболее полно реализует возможности языка.
|
|
|
|
|
|
## Действия и спецификации
|
|
|
|
|
|
-**Действия**: действия, применяемые к атомам и нейтронам — `ПроверитьАктивность`, `ОтправитьЧерезПочту`.
|
|
|
+**Действия**: действия, применяемые в атомах над протонами с помощью нейтронов — `ПроверитьАктивность`, `ОтправитьЧерезПочту`.
|
|
|
|
|
|
**Спецификации**: конкретизация практики, отражающее форму взаимодействия с сущим, независимо от реализации.
|
|
|
|
|
|
-> Спецификации — не "сверху", а "конкретизация практики в вде набора взаимосвязанных допустимых процессов": они возникают как ограничение реальной практики, как контекст.
|
|
|
+> Спецификации — не "сверху", а "обобщение практики в виде набора взаимосвязанных допустимых процессов": они возникают как обобщение реальной практики, как контекст.
|
|
|
|
|
|
✅ Таким образом:
|
|
|
|
|
|
- Практика порождает спецификации,
|
|
|
-- Атому и нуклоны конкретизируют спецификации,
|
|
|
+- Атомы и нуклоны конкретизируют спецификации,
|
|
|
- Действия реализуются в атомах и нуклонах,
|
|
|
|
|
|
🔄 Полная диалектическая цепочка
|
|
|
@@ -179,7 +179,7 @@ prolet --> СинтезАппарат
|
|
|
## 📜 Онтологическое содержание уровней
|
|
|
|
|
|
- Свойства: `@_кварк`, `@активен` (Ограничения практики),
|
|
|
-- Спецификации: `Хранилище`, `Аутентификатор` (Конкретизация форм практики),
|
|
|
+- Спецификации: `Хранилище`, `Аутентификатор` (Обобщение форм практики),
|
|
|
- Атомы: `Пользователь`, `Заказ` (Форма конкретизации спецификации),
|
|
|
- Действия: `ПроверитьАктивность` (Действия над сущим),
|
|
|
- Протона: `Рубль`, `Роль` (Конкретизация сущего),
|
|
|
@@ -192,8 +192,8 @@ prolet --> СинтезАппарат
|
|
|
Идеи языка следуют диалектическому материализму:
|
|
|
|
|
|
- Развитие идёт не сверху вниз, а от практики к её обобщению в высшей форме, и далее в новой форме опять к практике.
|
|
|
-- Спецификация не первична, он — порождение практики, как результат познания мира.
|
|
|
-- Кварк не абстрактен, но не обладает всей полнотой конкретного свойств,
|
|
|
+- Спецификация не первична, она — порождение практики, как результат познания мира.
|
|
|
+- Кварк как аксиома -- не обладает всей полнотой конкретных свойств,
|
|
|
- а нуклон — уже вписан в практику на основе кварка,
|
|
|
- Атом — синтез в виде группы разнородных протонов и нейтронов.
|
|
|
- «Не `interface` как божественный замысел, а `спецификация` как инструмент труда, и как обобщение структур — вот путь материалистического программирования».
|