А. логические - где есть ...
Vladimirovich wrote:
Есть теории
А. логические - где есть аксиомы со стандартными реляционными логическими знаками
Б. Эгалитарные - добавляется знак равенства
В. Кванторные - добавляются два квантора - существования и обобщения.
Чего нибудь существенного недоходящего до пункта А мне неизвестно. Пробуйте. Удачи.
Мечтал об арифметике жизни...
формализуемой: (почти под Впитера):
1. что-то ЕСТЬ, предметы
2. как-то располагается взаимопричинно (ЕСТ появляется только если евть что ЕСТЬ), действия (изменения),
3. ЕСТественно_Неестественно_противоестественно (ПРАВИЛО направленно: абстрактно-реально-условно- ).
Vladimirovich wrote:
Размножить - это не самоцель.
Пока все эти правила для скобочек суть формативные критерии
Нужны
правила, позволяющие сказать, что некоторые знакосочетания являются термами, а некоторые — соотношениями теории, а также правила, позволяющие сказать, что некоторые знакосочетания являются теоремами теории.
Потом следование и т.д.
Замечание. Интуитивно, термы — это знакосочетання, изображающие объекты, (предметы), а соотношения — формулы, изображающие
утверждения, которые можно делать об этих предметах. Условие а) означает, что буквы изображают предметы. ...
Вот-вот, самое интересное-
подчеркнутое, с учетом возможного смысла:
(желательно - троякого), да если на ЯВУ (языке высокого уровня = на повседневном, отечественном), по возможности без классики, да чтобы новизна была не только в обозначениях, чтобы с НОВЫМИ знаками изобретался не
только матефизический ыелосипед ()= наглядный, да чтобы он стал НЕНАГЛЯДНЫМ (симпатичным), приемлемо наглядным, простым до примитивноподобия и т.п. и т.д.
Так как скобочек ДВЕ, то все можно основное желательно описать "количеством знакосочетаний = степеням два", целочисленнымм выражениями, без разделительного знака, например ЗПТ, да так, чтобы и ИЗМЕНЕНИЕ, не толлько Впитера описать можно было бы... .
Вот, для начала:
) это положительно направленное утверждение,
( в сторону уменьшения млм условия
() предметы
)( ни то, ни сё из трех первых...
Чтобы что-то вроде начала-начал сначала появилось, да еще типа известных команд, операторов ... выражение (выражение), чтобы получилась ЛОГОАРИФМЕТИКА жизни
Формальная математика состоит только из написанных явным образом ...
+ развернуть текст сохранённая копия
Никак
Формальная математика состоит только из написанных явным образом знакосочетаний. (с) Бурбаки
Тэги:
математика.,
матрица
В каком месте математика "отошла" от физики? №3
2017-01-09 23:37:07
а как можем быть уверены, что термы и соотношения будут всегда работать no matter what? вот ...
+ развернуть текст сохранённая копия
а как можем быть уверены, что термы и соотношения будут всегда работать no matter what? вот квантовая парадигма, так сказать, весьма вычурной подвернулась, даже новую логику для неё выдумывали было
Тэги:
математика.,
матрица
Страницы:
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 ...