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

[a_shen]

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


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

Comments

Re: есть

[leblon.livejournal.com]

Поток сознания, причем неряшливого сознания. "Математику уже потому учить надо, что она ум в порядок приводит."

Re: есть

[ipain.livejournal.com]

мир к сожалению предпочитает беспорядок. читайте рамси.

Re: есть

[leblon.livejournal.com]

Не знаю, какого "рамси" Вы имеете в виду (если "Ramsey" - то это очень распротраненная фамилия). Но с интересон прочитал бы обоснование тезиса о том, что мир "предпочитает бесопорядок". Особенно в свете того, что за последние 400 лет люди смогли довольно неплохо понять законы, которым этот мир подчиняется.

Re: есть

[ipain.livejournal.com]

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

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

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]

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

Срезал.

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: есть

[leblon.livejournal.com]

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

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

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)

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

[a-shen.livejournal.com]

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

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

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

Re: just for the record

[slonoinquisitor.livejournal.com]

Спасибо.:)

Re: just for the record

[salas.livejournal.com]

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

Re: just for the record

[posic.livejournal.com]

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

ну а про

[a-shen.livejournal.com]

гомологии наружу и когомологии внутрь - ты бы мог догадаться? Воображение - великое дело...

Re: ну а про

[hippie57.livejournal.com]

Саша, любая математика -- сублимация влечений, это все знают! Тут главное придержать воображение, не дать ему разгуляться. А то начнутся... гомологии наружу.

Re: just for the record

[ile-eli.livejournal.com]

А знаешь теорему о всеобщей несправедливости? что если А и В не пересекаются, вместе составляют всю действительную прямую, оба всюду плотны, и на любом конечном интервале (мера А)/(меру В) = k, то k=0 или бесконечности.

ну да,

[a-shen.livejournal.com]

есть теорема о том, для для большинства точек множества предельная плотность точек по уменьшающимся отрезкам равна 1, а для точек вне множества предел плотности равен нулю

Re: ну да,

[ile-eli.livejournal.com]

А сколько философии (и социологии) можно на этом развести. И тебе всеобщая несправедливость, и математически доказана вселенская ксенофобия ("а для точек вне множества...").

Re: есть

[leblon.livejournal.com]

Указать, что вы имели в виду, когда говорили что "рамси писал что мир предпочитает беспорядок", вы, стало быть, не можете. Я, впрочем, так и думал: люди, надувающие щеки по поводу своей образованности (аспирантский экзамен по "общепринятому смыслу"!) и начитанности, обычно ничего, кроме надувания щек, делать не умеют.

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

Re: есть

[ipain.livejournal.com]

вы почитайте треды то вокруг. там есть прямой ответ на ваш вопрос.

а почему я на ваши вопросы не отвечаю, я вроде достаточно ясно написал.