Сегодня 26 декабря, четверг ГлавнаяНовостиО проектеЛичный кабинетПомощьКонтакты Сделать стартовойКарта сайтаНаписать администрации
Поиск по сайту
 
Ваше мнение
Какой рейтинг вас больше интересует?
 
 
 
 
 
Проголосовало: 7278
Кнопка
BlogRider.ru - Каталог блогов Рунета
получить код
КвантоФорум :: Recent Posts
КвантоФорум :: Recent Posts
Голосов: 1
Адрес блога: http://quantoforum.ru
Добавлен: 2013-05-02 14:40:55
 

В каком месте математика

2017-01-10 23:29:30 (читать в оригинале)

Vladimirovich wrote:
Есть теории
А. логические - где есть аксиомы со стандартными реляционными логическими знаками
Б. Эгалитарные - добавляется знак равенства
В. Кванторные - добавляются два квантора - существования и обобщения.

Чего нибудь существенного недоходящего до пункта А мне неизвестно. Пробуйте. Удачи.

Мечтал об арифметике жизни... формализуемой: (почти под Впитера):
1. что-то ЕСТЬ, предметы
2. как-то располагается взаимопричинно (ЕСТ появляется только если евть что ЕСТЬ), действия (изменения),
3. ЕСТественно_Неестественно_противоестественно (ПРАВИЛО направленно: абстрактно-реально-условно- ).
Vladimirovich wrote:
Размножить - это не самоцель.
Пока все эти правила для скобочек суть формативные критерии
Нужны
правила, позволяющие сказать, что некоторые знакосочетания являются термами, а некоторые — соотношениями теории, а также правила, позволяющие сказать, что некоторые знакосочетания являются теоремами теории.

Потом следование и т.д.
Замечание. Интуитивно, термы — это знакосочетання, изображающие объекты, (предметы), а соотношения — формулы, изображающие
утверждения, которые можно делать об этих предметах. Условие а) означает, что буквы изображают предметы. ...

Вот-вот, самое интересное- подчеркнутое, с учетом возможного смысла:
(желательно - троякого), да если на ЯВУ (языке высокого уровня = на повседневном, отечественном), по возможности без классики, да чтобы новизна была не только в обозначениях, чтобы с НОВЫМИ знаками изобретался не только матефизический ыелосипед ()= наглядный, да чтобы он стал НЕНАГЛЯДНЫМ (симпатичным), приемлемо наглядным, простым до примитивноподобия и т.п. и т.д.

Так как скобочек ДВЕ, то все можно основное желательно описать "количеством знакосочетаний = степеням два", целочисленнымм выражениями, без разделительного знака, например ЗПТ, да так, чтобы и ИЗМЕНЕНИЕ, не толлько Впитера описать можно было бы... .

Вот, для начала:
) это положительно направленное утверждение,
( в сторону уменьшения млм условия
() предметы
)( ни то, ни сё из трех первых...

Чтобы что-то вроде начала-начал сначала появилось, да еще типа известных команд, операторов ... выражение (выражение), чтобы получилась ЛОГОАРИФМЕТИКА жизни

Тэги: математика., матрица

 


Самый-самый блог
Блогер ЖЖ все стерпит
ЖЖ все стерпит
по количеству голосов (152) в категории «Истории»
Изменения рейтинга
Категория «IT»
Взлеты Топ 5
+646
670
Remi_Etien_Le_Bo
+628
671
Темы_дня
+606
617
ClericDade
+578
618
OnepaTop
+544
583
wishmaster-moscow
Падения Топ 5


Загрузка...Загрузка...
BlogRider.ru не имеет отношения к публикуемым в записях блогов материалам. Все записи
взяты из открытых общедоступных источников и являются собственностью их авторов.