Поэт частушку сочинил.
Затем, в мечтах о гонораре,
Её он в пьесу превратил
И в оперетту, и в сценарий.
Warning: Spoiler![ Click to expand ][ Click to hide ]
Озарено его лицо
Огнём высокого экстаза,
И счастлив он: одно яйцо
Он высидел четыре раза.
Частушку, пьесу, оперетту
В сценарий проще превращать,
Коль все секреты сего света: 4 + 1 ОН мог бы вовремя узнать! 1.11 + Spam check: 13 minus 9 equals=4 Прикольно ТРИЖДЫ!
По словам Сергея Корнева, главы делегации компании на авиасалоне Airshow China 2016,
основу портфеля составляет авиационная техника (46 процентов), средства ПВО (22 процента), вооружения и техника сухопутных войск (18 процентов), военно-морская техника (10 процентов).
Ну и в-пятых, надо думать, все остальное прочее (100 - 46 - 22 - 18 - 10 = 4 процента).
Трамп стал президентом (2016 г.), поскольку набрал больше голосов выборщиков, хотя голосов избирателей он набрал меньше. Это уже 3-й такой случай в истории США (2000 и 1888 гг.). Еще в одном случае (1876 г.) голоса попросту пересчитали в пользу проигравшего. Наконец, был случай (1824 г.), когда выбор в пользу проигравшего был сделан Конгрессом, коль скоро ни один из кандидатов (их было 4) не набрал нужного количества голосов (тем более что партия тогда была единственная, Демократическо-республиканская). Итого 5 случаев.
По идее больше такого не будет, ибо Трамп сделает выборы президента прямыми?
Четыре из них содержат по одной гласной букве, а пятое - две.
Это как пункт, характеризующий оригинальность языка, как говорится весьма и весьма заслуживает внимания.
5.(см.выше)
4.четыре самых распространенных языка, для которых п.5. невозможен(с).
3. ТРИ самых ярких признаков свойств параметров характеристик оригинальности языка, однозначных (см.п.1)
2. предполагается ччто будет сформулирован: это осмеливаюсь трактовать как предложение ДЛЯ квантоыорумчан и гостей КФ, особенно (персонально) называющих себя )) ИИ ВВ ЗЫ РР и тп. Ведь ИМ нравится 2 знАКА(с) 2я попытка опубликовать..
1.Минимальность чего либо ( народое = народ ПИРАХА, формальное = ТС знает, или "изысканное"= Эллочка - героиня стульев... )
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:
Пять вещей сейчас мне нужны,
пять особо важных корней.
Во-первых, безбрежность любви.
Во-вторых, любоваться осенью:
мне не жить, если листья не будут
слетать, сливаться с землёй.
В-третьих, зимние дни,
ливень любимый и нежность
костра на свирепом холоде.
В-четвёртых, спокойное лето,
круглое, как арбуз.
В-пятых, твои глаза.
Матильда моя, желанная,
не заснуть мне без глаз твоих,
без взглядов твоих мне не жить,
я с лёгким сердцем сменяю
весну на взгляды твои.
Друзья, это всё, что мне нужно:
ничто — и почти что всё.
Умер Марк Тайманов, 5-кратный чемпион Ленинграда (1948, 50, 52, 61 и 73 гг.), 4 раза единоличный и 1 раз (в 1961 г.) разделивший чемпионство с Борисом Спасским.
Другой 5-кратный чемпион Ленинграда (1972, 78, 81, 83 и 88 гг.) - Андрей Лукин пока жив. Чемпионство он разделил тоже только однажды (в 1978 г.) - с Марком Цейтлиным.
Вчера, 28 ноября, президент Путин В.В. освободил от должности четырех чиновников - членкоров РАН, а премьер-министр Медведев Д.А. - еще одного, но академика. Четверо из них освобождены "по собственному желанию", а один членкор, 1954 г.р., "по возрасту".
Всякая математическая теория (или просто теория) содержит правила, позволяющие сказать, что некоторые знакосочетания являются термами, а некоторые — соотношениями теории, а также правила, позволяющие сказать, что некоторые знакосочетания являются теоремами теории.
Всякая математическая теория (или просто теория) содержит правила, позволяющие сказать, что некоторые знакосочетания являются термами, а некоторые — соотношениями теории, а также правила, позволяющие сказать, что некоторые знакосочетания являются теоремами теории.
(с) Бурбаки
Думаю, это так или иначе подразумевается как раз в 1-м факте.
Ссылку на е-книгу Степанова и Роуза я не даю, поскольку авторы удалили ее пиратские копии всюду, где смогли. А та, которую я все же нашел, почему-то огромного размера, 52 МБ, и Акробат ее еле ворочает, что немало раздражает. Правда, легко доступен оригинал на английском языке 2015 г.
Думаю, это так или иначе подразумевается как раз в 1-м факте.
Нет. Правила вывода - это схемы. Или "схемы аксиом".
Это уже второй шаг.
Задание специальных знаков определяет термы и соотношения теории J.
Чтобы завершить построение теории J, делают следующее:
1° Записывают сначала некоторое количество соотношений теории J; эти соотношения называются явными аксиомами теории J;
буквы, встречающиеся в явных аксиомах — константами теории J.
2° Задают одно или несколько правил, называемых схемами теории J, которые должны обладать следующими особенностями: ......
Схемы называются также схемами аксиом (в дальнейшем автор употребляет иногда именно этот последний термин). — Прим- ред.
Ну какие претензии? Факт правильный. Но это не все факты, что и нарушает упомянутое примету-суеверие 4+1
Вот именно, не нарушает, а подтверждает - здесь неполнотой (по мнению некоторых) 1-го, особенного факта. И не суеверие, а правило (из которого возможны исключения, но не в данном случае). См. 1-й пост всей ветки.
Возможно, особенная аксиома здесь 1-я, как о том свидетельствует сноска.
Но скорее это все-таки 3-я аксиома, о чем свидетельствуют сомнения в ее номере.
Всякая математическая теория (или просто теория) содержит правила, позволяющие сказать, что некоторые знакосочетания являются термами, а некоторые — соотношениями теории, а также правила, позволяющие сказать, что некоторые знакосочетания являются теоремами теории.
(с) Бурбаки
знакосочетания не могут быть самыми главными, не говоря уж о термах, соотношениях и теоремах - настоящая математика всегда содержательна, она не сводится к манипуляции на бумаге или экране знакосимволами, которые выступают лишь средством/инструментом наподобие гаечного ключа с серпом и молотом; к примеру, дискретность знаков и их сочетаний лишь отражает различимость между собой содержательных мат. понятий, интуиций и структур
знаки и их сочетания являются физическими объектами (из чернила или пикселей) и значит до математических им ещё плестись и плестись ; естественно возникает вопрос: почему такие физические знаки так возвеличивают в пределах методологического направления формализма? так получилось, что физические знаки могут очень хорошо и надёжно сохранять (благодаря именно своей физике) как свою идентичность, так и отличие друг от друга, что характерно, конечно, для конечных дискретных математических объектов. Потому и доверям комбинаторным манипуляциям со знаками, как-будто занимаемся настоящей/математической конечной комбинаторикой, хотя комп может сломаться и знакам наступить капецъ, в заметном отличии от вечно безукоризненной комбинаторики в дискретном царстве Платона
дискретные физические знакосочетания наделяют дискретными/отличимыми интуицией истинно мат. понятиями/идеями и операции с последними доверяют операциям со знакосочетаниями по причине высочайшей практической надёжности последних; именно поэтому компы находят или проверяют доказательства и выкладки, которые подверженная утомлению и ляпсусам башка не осилит и сплохует/ошибётся.
аксиомы это, в конце концов, не термы, а Платоновые идеи за термами из чернила - НЕ доказуемо по Гёделю некоторое вполне очевидно верное арифметическое утверждение, а не некая НЕ выводимая по правилам знаковых манипуляций формула из причудливых символов, какого хрена ради утруждаться состряпывать такую вычурную и ненужную формулу вообще?
Группы, моноиды и полугруппы - примеры того, что математики называют теориями.
если не ошибаюсь, то бывают теории покруче арифметики Пеано, ещё более "неполные" или хз какие; мерещится что-то вроде неперечислимости аксиом или хз
В тех 4 фактах про теории, в т.ч. про конечно аксиоматизируемую теорию, все 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-й раздел с подразделами.