философы не дремлют
Nov. 8th, 2010 09:50 am![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
a_shenLJ-user ivanov-petrov (которого некоторые считают глубоким мыслителем) перечисляет семь важнейших достижений современной науки. Одно из них описывается им так:
"Теоретико-категорная революция в математике. Дж. Конвей, 1976 г. - теория, более общая, чем теория множеств Кантора. Принимается некая не сводимая к конечным элементам структура категорий, укрупнение систем - гомологии, связи наружу, изучение систем вглубь - когомологии. Отсюда масса следствий, в частности, в теорию информации. Далее - Гротендик и его достижения. Сюда же: Теория информации: кодирование с коррекцией ошибок."
"Теоретико-категорная революция в математике. Дж. Конвей, 1976 г. - теория, более общая, чем теория множеств Кантора. Принимается некая не сводимая к конечным элементам структура категорий, укрупнение систем - гомологии, связи наружу, изучение систем вглубь - когомологии. Отсюда масса следствий, в частности, в теорию информации. Далее - Гротендик и его достижения. Сюда же: Теория информации: кодирование с коррекцией ошибок."
![[identity profile]](https://www.dreamwidth.org/img/silk/identity/openid.png){kind=small}
Re: есть
Date: 2010-11-08 05:05 pm (UTC)"общепринятый смысл" слова "доказать" надо полагать только вы знаете? перефразируя одного из глубоких мыслителей: то есть какой-нибудь экзамен в асипрантуре вы сдавали на эту тему? по категории "общепринятый смысл"? кто принимал?
(для справки: я таки да)
Срезал
Date: 2010-11-08 05:37 pm (UTC)Срезал.
Re: Срезал
Date: 2010-11-08 06:48 pm (UTC)Re: есть
Date: 2010-11-08 06:41 pm (UTC)Судя по тому, что Вы считаете, что единичный пример доказывает какое-то общее (и весьма туманное) утверждение, Вы таки не знаете, что такое "доказать". Сдавали ли Вы при этом аспирантский экзамен или нет - мало кого интересует.
Re: есть
Date: 2010-11-08 06:52 pm (UTC)судя по вашему ответу, вы таки да "единственный" пониматель "общеупотребительных смыслов", "общих утверждений" и категории "единочности". глубокие мыслители может это и оценят, а я так нет. про "асипранский" анализ идите к глубокому мыслитель хиппи57 - он мне запретил с вами без бумажки разговаривать. пока он не разрешит - я и не буду.
just for the record
Date: 2010-11-08 07:22 pm (UTC)Re: just for the record
Date: 2010-11-08 07:29 pm (UTC)а вопще, если паттерн функция размера, то любые
рассуждения о порядке есть всего лишь описания масштаба.
зы: (http://ipain.livejournal.com/289285.html)
Re: just for the record
Date: 2010-11-08 07:35 pm (UTC)Re: just for the record
Date: 2010-11-08 07:52 pm (UTC)Re: just for the record
Date: 2010-11-08 08:32 pm (UTC)получается последовательность x_1 x_2 x_3... для которой x_i либо соединено со всеми следующими, либо не соединено со всеми следующими. Значит, все x_i делятся на два типа, и один тип бесконечный. Вот его и возьмём
(если кратко)
Re: just for the record
Date: 2010-11-08 08:59 pm (UTC)Re: just for the record
Date: 2010-11-08 08:21 pm (UTC)Re: just for the record
Date: 2010-11-08 08:36 pm (UTC)ну а про
Date: 2010-11-08 08:43 pm (UTC)Re: ну а про
Date: 2010-11-08 08:50 pm (UTC)Re: ну а про
Date: 2010-11-10 10:58 pm (UTC)Re: just for the record
Date: 2010-11-08 09:04 pm (UTC)ну да,
Date: 2010-11-08 09:32 pm (UTC)Re: ну да,
Date: 2010-11-08 09:45 pm (UTC)Re: ну да,
Date: 2010-11-09 10:13 am (UTC)Re: есть
Date: 2010-11-09 05:48 am (UTC)Переход на личности ("практически неопрятный" - это что? зубы не чищу, что-ли?) я вам спущу, поскольку на троллей чего обижаться. А вы явно относитесь к категории троллей. Дальнейшего смысла в разговоре не вижу.
Re: есть
Date: 2010-11-09 06:09 am (UTC)а почему я на ваши вопросы не отвечаю, я вроде достаточно ясно написал.