Ключевое слово
22 | 05 | 2017
Новости Библиотеки

Шахматы онлайн

Чессбомб

Welcome, Guest
Username: Password: Remember me

TOPIC: Правило 4 + 1

Правило 4 + 1 01 Нояб 2016 20:58 #61

  • инфолиократ
  • инфолиократ's Avatar
самоед-3 wrote:
Пятое яйцо
Поэт частушку сочинил.
Затем, в мечтах о гонораре,
Её он в пьесу превратил
И в оперетту, и в сценарий.
Warning: Spoiler! [ Click to expand ]
Частушку, пьесу, оперетту
В сценарий проще превращать,
Коль все секреты сего света:
4 + 1 ОН мог бы вовремя узнать! :offtop: 1.11 + Spam check: 13 minus 9 equals=4 Прикольно ТРИЖДЫ!

Правило 4 + 1 03 Нояб 2016 08:00 #62

  • самоед-3
  • самоед-3's Avatar
  • OFFLINE
  • Окольничий
  • Posts: 980
  • Thank you received: 16
  • Karma: 4
«Рособоронэкспорт» раскрыл структуру заказов на российское оружие
lenta.ru/news/2016/11/03/structure/

По словам Сергея Корнева, главы делегации компании на авиасалоне Airshow China 2016,
основу портфеля составляет авиационная техника (46 процентов), средства ПВО (22 процента), вооружения и техника сухопутных войск (18 процентов), военно-морская техника (10 процентов).

Ну и в-пятых, надо думать, все остальное прочее (100 - 46 - 22 - 18 - 10 = 4 процента).
Last Edit: 03 Нояб 2016 08:00 by самоед-3.

Правило 4 + 1 09 Нояб 2016 13:17 #63

  • самоед-3
  • самоед-3's Avatar
  • OFFLINE
  • Окольничий
  • Posts: 980
  • Thank you received: 16
  • Karma: 4

Правило 4 + 1 17 Нояб 2016 10:13 #64

  • самоед-3
  • самоед-3's Avatar
  • OFFLINE
  • Окольничий
  • Posts: 980
  • Thank you received: 16
  • Karma: 4
Трамп стал президентом (2016 г.), поскольку набрал больше голосов выборщиков, хотя голосов избирателей он набрал меньше. Это уже 3-й такой случай в истории США (2000 и 1888 гг.). Еще в одном случае (1876 г.) голоса попросту пересчитали в пользу проигравшего. Наконец, был случай (1824 г.), когда выбор в пользу проигравшего был сделан Конгрессом, коль скоро ни один из кандидатов (их было 4) не набрал нужного количества голосов (тем более что партия тогда была единственная, Демократическо-республиканская). Итого 5 случаев.

По идее больше такого не будет, ибо Трамп сделает выборы президента прямыми?

life.ru/t/%D0%B2%D0%B0%D1%83/932335/5_ka...him_chislom_gholosov
Last Edit: 17 Нояб 2016 10:23 by самоед-3.

Правило 4 + 1 18 Нояб 2016 13:42 #65

  • самоед-3
  • самоед-3's Avatar
  • OFFLINE
  • Окольничий
  • Posts: 980
  • Thank you received: 16
  • Karma: 4
Как указывает Ричард Ледерер, Дмитрию Боргманну удалось найти пять слов,
которые точно и без пересечений покрывали весь английский алфавит:

phlegms, fyrd, wuz, qvint, jackbox,

но не удалось составить из них значащей фразы.
my-talk-hamster.ru/lekciya-13-predeli-og...ipogrammaticheskaya/

Четыре из них содержат по одной гласной букве, а пятое - две.

Правило 4 + 1 19 Нояб 2016 07:39 #66

  • инфолиократ
  • инфолиократ's Avatar
самоед-3 wrote:
Как указывает Ричард Ледерер, Дмитрию Боргманну удалось найти пять слов,
которые точно и без пересечений покрывали весь английский алфавит:

phlegms, fyrd, wuz, qvint, jackbox,

но не удалось составить из них значащей фразы.
my-talk-hamster.ru/lekciya-13-predeli-og...ipogrammaticheskaya/

Четыре из них содержат по одной гласной букве, а пятое - две.
Это как пункт, характеризующий оригинальность языка, как говорится весьма и весьма заслуживает внимания.
5.(см.выше)
4.четыре самых распространенных языка, для которых п.5. невозможен(с).
3. ТРИ самых ярких признаков свойств параметров характеристик оригинальности языка, однозначных (см.п.1)
2. предполагается ччто будет сформулирован: это осмеливаюсь трактовать как предложение ДЛЯ квантоыорумчан и гостей КФ, особенно (персонально) называющих себя )) ИИ ВВ ЗЫ РР и тп. Ведь ИМ нравится 2 знАКА(с) :offtop: 2я попытка опубликовать..
1.Минимальность чего либо ( народое = народ ПИРАХА, формальное = ТС знает, или "изысканное"= Эллочка - героиня стульев... )

Правило 4 + 1 20 Нояб 2016 15:01 #67

  • самоед-3
  • самоед-3's Avatar
  • OFFLINE
  • Окольничий
  • Posts: 980
  • Thank you received: 16
  • Karma: 4
10452.jpg
Last Edit: 20 Нояб 2016 15:01 by самоед-3.

Правило 4 + 1 24 Нояб 2016 11:48 #68

  • самоед-3
  • самоед-3's Avatar
  • OFFLINE
  • Окольничий
  • Posts: 980
  • Thank you received: 16
  • Karma: 4
Pablo Neruda wrote:
Y sólo quiero cinco cosas,
cinco raices preferidas.

Una es el amor sin fin.

Lo segundo es ver el otoño.
No puedo ser sin que las hojas
vuelen y vuelvan a la tierra.

Lo tercero es el grave invierno,
la lluvia que amé, la caricia
del fuego en el frío silvestre.

En cuarto lugar el verano
redondo como una sandía.

La quinta cosa son tus ojos,
Matilde mía, bienamada,
no quiero dormir sin tus ojos,
no quiero ser sin que me mires:
yo cambio la primavera
por que tú me sigas mirando.

Amigos, eso es cuanto quiero.
Es casi nada y casi todo.

Alastair Reid wrote:
I only want five things,
five chosen roots.

One is endless love.

Two is to see the autumn.
I cannot exist without leaves
flying and falling to earth.

Third is the solemn winter,
the rain I loved, the caress
of fire in the rough cold.

My fourth is the summer,
plump as a watermelon.

And fifthly, your eyes.
Matilde, my dear love,
I will not sleep without your eyes,
I will not exist but in your gaze.
I adjust the spring
for you to follow me with your eyes.

That, friends, is all I want.
Next to nothing, close to everything.

П. Грушко wrote:
Пять вещей сейчас мне нужны,
пять особо важных корней.

Во-первых, безбрежность любви.

Во-вторых, любоваться осенью:
мне не жить, если листья не будут
слетать, сливаться с землёй.

В-третьих, зимние дни,
ливень любимый и нежность
костра на свирепом холоде.

В-четвёртых, спокойное лето,
круглое, как арбуз.

В-пятых, твои глаза.
Матильда моя, желанная,
не заснуть мне без глаз твоих,
без взглядов твоих мне не жить,
я с лёгким сердцем сменяю
весну на взгляды твои.

Друзья, это всё, что мне нужно:
ничто — и почти что всё.
Last Edit: 24 Нояб 2016 12:59 by самоед-3.

Правило 4 + 1 28 Нояб 2016 13:20 #69

  • самоед-3
  • самоед-3's Avatar
  • OFFLINE
  • Окольничий
  • Posts: 980
  • Thank you received: 16
  • Karma: 4
Умер Марк Тайманов, 5-кратный чемпион Ленинграда (1948, 50, 52, 61 и 73 гг.), 4 раза единоличный и 1 раз (в 1961 г.) разделивший чемпионство с Борисом Спасским.

Другой 5-кратный чемпион Ленинграда (1972, 78, 81, 83 и 88 гг.) - Андрей Лукин пока жив. Чемпионство он разделил тоже только однажды (в 1978 г.) - с Марком Цейтлиным.

ru.wikipedia.org/wiki/%D0%A7%D0%B5%D0%BC...B0%D1%82%D0%B0%D0%BC

Правило 4 + 1 29 Нояб 2016 08:01 #70

  • самоед-3
  • самоед-3's Avatar
  • OFFLINE
  • Окольничий
  • Posts: 980
  • Thank you received: 16
  • Karma: 4
Вчера, 28 ноября, президент Путин В.В. освободил от должности четырех чиновников - членкоров РАН, а премьер-министр Медведев Д.А. - еще одного, но академика. Четверо из них освобождены "по собственному желанию", а один членкор, 1954 г.р., "по возрасту".

lenta.ru/news/2016/11/28/uvolil/
lenta.ru/news/2016/11/28/lopatinuvolen/

Правило 4 + 1 01 Дек 2016 11:22 #71

  • самоед-3
  • самоед-3's Avatar
  • OFFLINE
  • Окольничий
  • Posts: 980
  • Thank you received: 16
  • Karma: 4
Из книги

Степанов А.А., Роуз Д.Э.
От математики к обобщенному программированию
Пер. с англ.
М.: ДМК Пресс, 2015, 264 с.

5-й факт, конечно, удачно вылез на новую страницу,
но особенный факт, по-видимому, все же 1-й.

95.png
Last Edit: 01 Дек 2016 11:30 by самоед-3.

Правило 4 + 1 01 Дек 2016 11:46 #72

  • Vladimirovich
  • Vladimirovich's Avatar
  • OFFLINE
  • Инквизитор
  • Posts: 63761
  • Thank you received: 560
  • Karma: 65
Тут не сказано самого главного
Всякая математическая теория (или просто теория) содержит правила, позволяющие сказать, что некоторые знакосочетания являются термами, а некоторые — соотношениями теории, а также правила, позволяющие сказать, что некоторые знакосочетания являются теоремами теории.

(с) Бурбаки
Каждому - своё.
Last Edit: 01 Дек 2016 14:30 by Хайдук.

Правило 4 + 1 01 Дек 2016 11:56 #73

  • самоед-3
  • самоед-3's Avatar
  • OFFLINE
  • Окольничий
  • Posts: 980
  • Thank you received: 16
  • Karma: 4
Vladimirovich wrote:
Тут не сказано самого главного
Всякая математическая теория (или просто теория) содержит правила, позволяющие сказать, что некоторые знакосочетания являются термами, а некоторые — соотношениями теории, а также правила, позволяющие сказать, что некоторые знакосочетания являются теоремами теории.

(с) Бурбаки

Думаю, это так или иначе подразумевается как раз в 1-м факте.
Last Edit: 01 Дек 2016 14:30 by Хайдук.

Правило 4 + 1 01 Дек 2016 12:19 #74

  • самоед-3
  • самоед-3's Avatar
  • OFFLINE
  • Окольничий
  • Posts: 980
  • Thank you received: 16
  • Karma: 4
Ссылку на е-книгу Степанова и Роуза я не даю, поскольку авторы удалили ее пиратские копии всюду, где смогли. А та, которую я все же нашел, почему-то огромного размера, 52 МБ, и Акробат ее еле ворочает, что немало раздражает. Правда, легко доступен оригинал на английском языке 2015 г.
Last Edit: 01 Дек 2016 12:21 by самоед-3.

Правило 4 + 1 01 Дек 2016 12:57 #75

  • Vladimirovich
  • Vladimirovich's Avatar
  • OFFLINE
  • Инквизитор
  • Posts: 63761
  • Thank you received: 560
  • Karma: 65
самоед-3 wrote:
Думаю, это так или иначе подразумевается как раз в 1-м факте.
Нет. Правила вывода - это схемы. Или "схемы аксиом".
Это уже второй шаг.
Задание специальных знаков определяет термы и соотношения теории J.
Чтобы завершить построение теории J, делают следующее:
1° Записывают сначала некоторое количество соотношений теории J; эти соотношения называются явными аксиомами теории J;
буквы, встречающиеся в явных аксиомах — константами теории J.
2° Задают одно или несколько правил, называемых схемами теории J, которые должны обладать следующими особенностями: ......
Схемы называются также схемами аксиом (в дальнейшем автор употребляет иногда именно этот последний термин). — Прим- ред.
Каждому - своё.

Правило 4 + 1 01 Дек 2016 13:10 #76

  • самоед-3
  • самоед-3's Avatar
  • OFFLINE
  • Окольничий
  • Posts: 980
  • Thank you received: 16
  • Karma: 4
Если имеете претензии именно к факту 1, то это и подтверждает правило 4 + 1.

Правило 4 + 1 01 Дек 2016 14:11 #77

  • Vladimirovich
  • Vladimirovich's Avatar
  • OFFLINE
  • Инквизитор
  • Posts: 63761
  • Thank you received: 560
  • Karma: 65
Ну какие претензии? :) Факт правильный. Но это не все факты, что и нарушает упомянутое примету-суеверие 4+1
Каждому - своё.

Правило 4 + 1 01 Дек 2016 14:31 #78

  • самоед-3
  • самоед-3's Avatar
  • OFFLINE
  • Окольничий
  • Posts: 980
  • Thank you received: 16
  • Karma: 4
Vladimirovich wrote:
Ну какие претензии? :) Факт правильный. Но это не все факты, что и нарушает упомянутое примету-суеверие 4+1

Вот именно, не нарушает, а подтверждает - здесь неполнотой (по мнению некоторых) 1-го, особенного факта. И не суеверие, а правило (из которого возможны исключения, но не в данном случае). См. 1-й пост всей ветки.
Last Edit: 01 Дек 2016 14:38 by самоед-3.

Правило 4 + 1 01 Дек 2016 15:27 #79

  • самоед-3
  • самоед-3's Avatar
  • OFFLINE
  • Окольничий
  • Posts: 980
  • Thank you received: 16
  • Karma: 4
Вот еще из той же книги, с. 154.

Возможно, особенная аксиома здесь 1-я, как о том свидетельствует сноска.
Но скорее это все-таки 3-я аксиома, о чем свидетельствуют сомнения в ее номере.

p.154.png

p.154.1.png

Правило 4 + 1 01 Дек 2016 17:51 #80

  • Хайдук
  • Хайдук's Avatar
  • OFFLINE
  • Посадник
  • Posts: 28650
  • Thank you received: 38
  • Karma: 4
Vladimirovich wrote:
Тут не сказано самого главного
Всякая математическая теория (или просто теория) содержит правила, позволяющие сказать, что некоторые знакосочетания являются термами, а некоторые — соотношениями теории, а также правила, позволяющие сказать, что некоторые знакосочетания являются теоремами теории.

(с) Бурбаки
знакосочетания не могут быть самыми главными, не говоря уж о термах, соотношениях и теоремах - настоящая математика всегда содержательна, она не сводится к манипуляции на бумаге или экране знакосимволами, которые выступают лишь средством/инструментом наподобие гаечного ключа с серпом и молотом; к примеру, дискретность знаков и их сочетаний лишь отражает различимость между собой содержательных мат. понятий, интуиций и структур :yess:
Last Edit: 01 Дек 2016 17:54 by Хайдук.

Правило 4 + 1 01 Дек 2016 18:08 #81

  • Vladimirovich
  • Vladimirovich's Avatar
  • OFFLINE
  • Инквизитор
  • Posts: 63761
  • Thank you received: 560
  • Karma: 65
Хайдук wrote:
знакосочетания не могут быть самыми главными
Они не просто главные, они основа! :flag:
Каждому - своё.

Правило 4 + 1 01 Дек 2016 18:16 #82

  • Хайдук
  • Хайдук's Avatar
  • OFFLINE
  • Посадник
  • Posts: 28650
  • Thank you received: 38
  • Karma: 4
ну, математика это не буквы и всякие другие иероглифы, скажем [tex]\sum[/tex] или [tex]\int[/tex] :)
Last Edit: 01 Дек 2016 18:17 by Хайдук.

Правило 4 + 1 01 Дек 2016 18:54 #83

  • Vladimirovich
  • Vladimirovich's Avatar
  • OFFLINE
  • Инквизитор
  • Posts: 63761
  • Thank you received: 560
  • Karma: 65
Хайдук wrote:
ну, математика это не буквы и всякие другие иероглифы, скажем [tex]\sum[/tex] или [tex]\int[/tex] :)
Угу. А химия, это не атомы и молекулы, и всякие буковки типа C, H и O.
Каждому - своё.

Правило 4 + 1 01 Дек 2016 19:33 #84

  • Хайдук
  • Хайдук's Avatar
  • OFFLINE
  • Посадник
  • Posts: 28650
  • Thank you received: 38
  • Karma: 4
думал, что атомы и молекулы это не совсем то, что буковки типа C, H и O :unsure:

Правило 4 + 1 02 Дек 2016 02:09 #85

  • Хайдук
  • Хайдук's Avatar
  • OFFLINE
  • Посадник
  • Posts: 28650
  • Thank you received: 38
  • Karma: 4
знаки и их сочетания являются физическими объектами (из чернила или пикселей) и значит до математических им ещё плестись и плестись :flag: ; естественно возникает вопрос: почему такие физические знаки так возвеличивают в пределах методологического направления формализма? так получилось, что физические знаки могут очень хорошо и надёжно сохранять (благодаря именно своей физике) как свою идентичность, так и отличие друг от друга, что характерно, конечно, для конечных дискретных математических объектов. Потому и доверям комбинаторным манипуляциям со знаками, как-будто занимаемся настоящей/математической конечной комбинаторикой, хотя комп может сломаться и знакам наступить капецъ, в заметном отличии от вечно безукоризненной комбинаторики в дискретном царстве Платона :dance:

дискретные физические знакосочетания наделяют дискретными/отличимыми интуицией истинно мат. понятиями/идеями и операции с последними доверяют операциям со знакосочетаниями по причине высочайшей практической надёжности последних; именно поэтому компы находят или проверяют доказательства и выкладки, которые подверженная утомлению и ляпсусам башка не осилит и сплохует/ошибётся.

аксиомы это, в конце концов, не термы, а Платоновые идеи за термами из чернила - НЕ доказуемо по Гёделю некоторое вполне очевидно верное арифметическое утверждение, а не некая НЕ выводимая по правилам знаковых манипуляций формула из причудливых символов, какого хрена ради утруждаться состряпывать такую вычурную и ненужную формулу вообще? :dontknow:
Last Edit: 03 Дек 2016 01:28 by Хайдук.

Правило 4 + 1 02 Дек 2016 02:51 #86

  • Хайдук
  • Хайдук's Avatar
  • OFFLINE
  • Посадник
  • Posts: 28650
  • Thank you received: 38
  • Karma: 4
Группы, моноиды и полугруппы - примеры того, что математики называют теориями.
если не ошибаюсь, то бывают теории покруче арифметики Пеано, ещё более "неполные" или хз какие; мерещится что-то вроде неперечислимости аксиом или хз :dontknow:
Last Edit: 02 Дек 2016 02:52 by Хайдук.

Правило 4 + 1 02 Дек 2016 05:05 #87

  • самоед-3
  • самоед-3's Avatar
  • OFFLINE
  • Окольничий
  • Posts: 980
  • Thank you received: 16
  • Karma: 4
Хайдук wrote:
Группы, моноиды и полугруппы - примеры того, что математики называют теориями.
если не ошибаюсь, то бывают теории покруче арифметики Пеано, ещё более "неполные" или хз какие; мерещится что-то вроде неперечислимости аксиом или хз :dontknow:

В тех 4 фактах про теории, в т.ч. про конечно аксиоматизируемую теорию, все 4 курсива допускают отрицание. А еще в одном факте, особенном, и курсива нет, и отрицание проблематично, если вообще возможно.
Last Edit: 02 Дек 2016 05:07 by самоед-3.

Правило 4 + 1 02 Дек 2016 15:44 #88

  • самоед-3
  • самоед-3's Avatar
  • OFFLINE
  • Окольничий
  • Posts: 980
  • Thank you received: 16
  • Karma: 4
yfhz1drz0y3.jpg


На()фига нам ее лицо?!
Last Edit: 02 Дек 2016 15:50 by самоед-3.

Правило 4 + 1 02 Дек 2016 17:40 #89

  • Хайдук
  • Хайдук's Avatar
  • OFFLINE
  • Посадник
  • Posts: 28650
  • Thank you received: 38
  • Karma: 4
с таким ... лицом другого не занимать :dance:

Правило 4 + 1 06 Дек 2016 06:31 #90

  • самоед-3
  • самоед-3's Avatar
  • OFFLINE
  • Окольничий
  • Posts: 980
  • Thank you received: 16
  • Karma: 4
Dany Vohl, Christopher J. Fluke, Amr H. Hassan, David G. Barnes, Virginia A. Kilborn
Collaborative visual analytics of radio surveys in the Big Data era
arxiv.org/abs/1612.00920v1

5 авторов, 5 страниц, 5 разделов: 2-й раздел с рисунком, 3-й раздел с подразделами.
Рейтинг@Mail.ru Яндекс цитирования