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

Cover

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




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

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

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

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

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

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

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

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

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

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

Обама

2017-01-10 09:21:58 (читать в оригинале)

Т.е выполнил?

В каком месте математика "отошла" от физики? №3

2017-01-10 09:21:19 (читать в оригинале)

Никак
Формальная математика состоит только из написанных явным образом знакосочетаний. (с) Бурбаки


Картинная галерея-3

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

Leedy Jeff

[File Attachment: Vyuverenychtohotitestereteyto.jpg]


Страницы: ... 541 542 543 544 545 546 547 548 549 550 551 552 553 554 555 556 557 558 559 560 ... 

 


Самый-самый блог
Блогер ЖЖ все стерпит
ЖЖ все стерпит
по количеству голосов (152) в категории «Истории»
Изменения рейтинга
Категория «Блогосфера»
Взлеты Топ 5
+1241
1261
Robin_Bad
+1175
1263
Futurolog
+1090
1094
MySQL Performance Blog
+1028
1098
Ksanexx
+1023
1097
Refinado
Падения Топ 5


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