|
Какой рейтинг вас больше интересует?
|
Главная /
Каталог блоговCтраница блогера КвантоФорум :: 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]
Категория «Блогосфера»
Взлеты Топ 5
|
| ||
|
+1241 |
1261 |
Robin_Bad |
|
+1175 |
1263 |
Futurolog |
|
+1090 |
1094 |
MySQL Performance Blog |
|
+1028 |
1098 |
Ksanexx |
|
+1023 |
1097 |
Refinado |
Падения Топ 5
|
| ||
|
-2 |
511 |
партнерки |
|
-3 |
605 |
Блог о раскрутке и монетизации сайта. |
|
-3 |
86 |
Mandalaй.ru |
|
-4 |
589 |
Блог Демона |
|
-4 |
17 |
Выводы простого человека |
Популярные за сутки
Загрузка...
BlogRider.ru не имеет отношения к публикуемым в записях блогов материалам. Все записи
взяты из открытых общедоступных источников и являются собственностью их авторов.
взяты из открытых общедоступных источников и являются собственностью их авторов.
