философы не дремлют

[a_shen]

LJ-user ivanov-petrov (которого некоторые считают глубоким мыслителем) перечисляет семь важнейших достижений современной науки. Одно из них описывается им так:


"Теоретико-категорная революция в математике. Дж. Конвей, 1976 г. - теория, более общая, чем теория множеств Кантора. Принимается некая не сводимая к конечным элементам структура категорий, укрупнение систем - гомологии, связи наружу, изучение систем вглубь - когомологии. Отсюда масса следствий, в частности, в теорию информации. Далее - Гротендик и его достижения. Сюда же: Теория информации: кодирование с коррекцией ошибок."

Comments

Re: ну люди

[hippie57.livejournal.com]

А, так оно везде так, да? То-то я смотрю, профессионально буквы набирает, быстро, достойно.

Re: ну люди

[ipain.livejournal.com]

о, уже 10 лет мечтаете. это уже больше чем акцентуация.

граждане,

[a-shen.livejournal.com]

сохраняйте спокойствие, пожалуйста - и не переходите на личности, если можно.

Re: kævi.ɑːt ˈɛmptɔr

[misha-b.livejournal.com]

http://www.fda.gov/

Вы им про caveat emptor oбъясните.

восхищен

[salas.livejournal.com]

Ассоциативный ряд "Шень, Бычков, Кашин" — это уже почти уровень цитаты в исходном посте.

Re: kævi.ɑːt ˈɛmptɔr

[ipain.livejournal.com]

ээ, вы насколько тесно знакомы с работой этой организации?
если по рабинович напел, то советую поискать другой пример.

Re: граждане,

[ipain.livejournal.com]

это же "люди" потешаются, вы ж им разрешили. все просто работает.

Re: восхищен

[ipain.livejournal.com]

эхехе, ассоциативные ряды в жж доказываются через юзеров.
вы видимо с позициями комментаторов по этим вопросам не знакомы.
а зря.

Re: восхищен

[hippie57.livejournal.com]

Я всё понимаю. Полемика, все дела. Но! Было ровно 57 комментариев. И вы не удержались. Не удержались! Как вы могли...

Re: восхищен

[ipain.livejournal.com]

я в отличии от технарей не суеверен. это вас всех как раз 57 школа и загубила. хорошие головы но пустые.

Re: есть

[leblon.livejournal.com]

"то есть вы не знаете какой "ramsey" писал про порядок в беспорядке?"

Не знаю. А Вы знаете? Если да, то почему бы прямо не сказать, о чем идет речь? Frank Ramsey the mathematician?

"посмотрите на лучшую в мире юридическую систему сша. разве она не доказывает мой тезис? =)"

Нет, не доказывает. Если, конечно, Вы употребляете слово "доказывает" в общепринятом смысле.

Re: есть

[ipain.livejournal.com]

видите ли, я предполагал что на этом собрании глубоких мыслителей если уж не все знают ключевые фигуры фаундейшнс оф математики, то по крайней мере те, кто ввязываются в разговор способны пользоваться гуглом: http://www.google.com/search?hl=en&source=hp&biw=1402&bih=824&q=%D1%80%D0%B0%D0%BC%D1%81%D0%B8+%D0%B1%D0%B5%D1%81%D0%BF%D0%BE%D1%80%D1%8F%D0%B4%D0%BE%D0%BA&aq=f&aqi=&aql=&oq=&gs_rfai=CWnC7rizYTIXLFJaONZyj-J0LAAAAqgQFT9ADgbk

"общепринятый смысл" слова "доказать" надо полагать только вы знаете? перефразируя одного из глубоких мыслителей: то есть какой-нибудь экзамен в асипрантуре вы сдавали на эту тему? по категории "общепринятый смысл"? кто принимал?

(для справки: я таки да)

Срезал

[bik-top.livejournal.com]

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

Срезал.

[fat-crocodile.livejournal.com]

Он не перечисляет. Он перед этим спрашивал, просил назвать, перечислить. Что назвали, то и написал.

Re: есть

[leblon.livejournal.com]

Ага, значит таки Frank Ramsey. И где он сделал утверждение, что "мир предпочитает беспорядок"?

Судя по тому, что Вы считаете, что единичный пример доказывает какое-то общее (и весьма туманное) утверждение, Вы таки не знаете, что такое "доказать". Сдавали ли Вы при этом аспирантский экзамен или нет - мало кого интересует.

Re: Срезал

[ipain.livejournal.com]

http://www.google.com/search?hl=en&safe=off&biw=1402&bih=824&q=%D1%83%D0%B6+%D1%87%D1%8C%D1%8F+%D0%B1%D1%8B+%D0%BA%D0%BE%D1%80%D0%BE%D0%B2%D0%B0+%D0%BC%D0%BE%D0%BB%D1%87%D0%B0%D0%BB%D0%B0&aq=f&aqi=&aql=&oq=&gs_rfai=

Re: есть

[ipain.livejournal.com]

какой то вы очень неряшливый в общении, практически неопрятный - так вы или знаете кто такой рамси или не умеете пользоваться гуглем, это видите ли две разных категории человеков, с которыми надо по разному разговаривать. но по любому - прежде чем продолжать задавать свои вопросы, принято отвечать на вопросы собеседника. вас этому не научили в детском саду?

судя по вашему ответу, вы таки да "единственный" пониматель "общеупотребительных смыслов", "общих утверждений" и категории "единочности". глубокие мыслители может это и оценят, а я так нет. про "асипранский" анализ идите к глубокому мыслитель хиппи57 - он мне запретил с вами без бумажки разговаривать. пока он не разрешит - я и не буду.

just for the record

[a-shen.livejournal.com]

Теоремы Рамсея (о том, что в любом достаточно большом графе есть либо клика, либо независимое множество заданного размера, а также разные обобщение) хорошо известны, но действительно догадаться, что их кто-то интерпретирует как "мир предпочитает беспорядок", непросто. (Даже и слова "полный беспорядок невозможен", который используются как наглядное описание этих результатов, уже скорее для красного словца, чем по существу.)

Re: just for the record

[ipain.livejournal.com]

ну вот поиск гугла их так интерпретирует. он конечно не прав, не глубокий мыслитель.

а вопще, если паттерн функция размера, то любые
рассуждения о порядке есть всего лишь описания масштаба.

зы: (http://ipain.livejournal.com/289285.html)

[ile-eli.livejournal.com]

Это делает написанное менее смешным? Или это оправдывает автора? Если я попрошу в ЖЖ назвать семь лучших таджикских стихотворений, потом с умным видом опубликую то, что написали, а потом выяснится, что одно из них вообще не таджикское, а среднеперсидское, кто будет выглядеть идиотом?

Re: just for the record

[ile-eli.livejournal.com]

Офигеть!!! Только позавчера мы с дочкой разбирали эту теорему. И вероятностное доказательство того, что экспоненциальная (от размера клики) оценка размера графа не является завышеной

Re: just for the record

[slonoinquisitor.livejournal.com]

А вот в Вашей книжке по теории множеств задача 79 -- это как раз одна из таких теорем? А можно попросить хинт, как она доказывается при k,l>2?

Re: just for the record

[salas.livejournal.com]

Догадаться-то ладно, но можно ли как-то понять интерпретацию "мир предпочитает беспорядок"?

Re: just for the record

[a-shen.livejournal.com]

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

получается последовательность x_1 x_2 x_3... для которой x_i либо соединено со всеми следующими, либо не соединено со всеми следующими. Значит, все x_i делятся на два типа, и один тип бесконечный. Вот его и возьмём

(если кратко)

Re: just for the record

[posic.livejournal.com]

http://en.wikipedia.org/wiki/Fashionable_Nonsense