А. логические - где есть ...
Vladimirovich wrote:
Есть теории
А. логические - где есть аксиомы со стандартными реляционными логическими знаками
Б. Эгалитарные - добавляется знак равенства
В. Кванторные - добавляются два квантора - существования и обобщения.
Чего нибудь существенного недоходящего до пункта А мне неизвестно. Пробуйте. Удачи.
Мечтал об арифметике жизни...
формализуемой: (почти под Впитера):
1. что-то ЕСТЬ, предметы
2. как-то располагается взаимопричинно (ЕСТ появляется только если евть что ЕСТЬ), действия (изменения),
3. ЕСТественно_Неестественно_противоестественно (ПРАВИЛО направленно: абстрактно-реально-условно- ).
Vladimirovich wrote:
Размножить - это не самоцель.
Пока все эти правила для скобочек суть формативные критерии
Нужны
правила, позволяющие сказать, что некоторые знакосочетания являются термами, а некоторые — соотношениями теории, а также правила, позволяющие сказать, что некоторые знакосочетания являются теоремами теории.
Потом следование и т.д.
Замечание. Интуитивно, термы — это знакосочетання, изображающие объекты, (предметы), а соотношения — формулы, изображающие
утверждения, которые можно делать об этих предметах. Условие а) означает, что буквы изображают предметы. ...
Вот-вот, самое интересное-
подчеркнутое, с учетом возможного смысла:
(желательно - троякого), да если на ЯВУ (языке высокого уровня = на повседневном, отечественном), по возможности без классики, да чтобы новизна была не только в обозначениях, чтобы с НОВЫМИ знаками изобретался не
только матефизический ыелосипед ()= наглядный, да чтобы он стал НЕНАГЛЯДНЫМ (симпатичным), приемлемо наглядным, простым до примитивноподобия и т.п. и т.д.
Так как скобочек ДВЕ, то все можно основное желательно описать "количеством знакосочетаний = степеням два", целочисленнымм выражениями, без разделительного знака, например ЗПТ, да так, чтобы и ИЗМЕНЕНИЕ, не толлько Впитера описать можно было бы... .
Вот, для начала:
) это положительно направленное утверждение,
( в сторону уменьшения млм условия
() предметы
)( ни то, ни сё из трех первых...
Чтобы что-то вроде начала-начал сначала появилось, да еще типа известных команд, операторов ... выражение (выражение), чтобы получилась ЛОГОАРИФМЕТИКА жизни