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