a_shen ([personal profile] a_shen) wrote2010-11-09 10:24 am

вынося из комментариев,

(предыдущая запись вызвала живой отклик)
http://a-shen.livejournal.com/16675.html?thread=822051#t823075

более подробно: есть много разных вполне естественных вопросов, на которые "математики" должны и могут отвечать (и многие, наверно попытались бы).

Один вопрос: "о чём эта ваша наука математика? можете ли вы привести какой-то нибудь пример, чтобы неспециалистам стало понятно, что это красиво и интересно?" (это то, что пытаются делать руководители математических кружков - или Успенский в "Новом мире")

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

Третий вопрос: "вот мы, налогоплательщики, расходуем свои деньги на факультеты математики, computer science и пр. - не является ли это зряшней тратой с точки зрения прагматика? можно ли привести примеры, когда мы получаем взамен что-то полезное?" И на этот (совершенно законный) вопрос можно привести разные (на мой взгляд, вполне честные и убедительные, если и не для Льва Толстого, то для современного прагматически настроенного и неглупого человека) ответы.

Но, как мне кажется, в обсуждении у ivanov_petrov не имеется в виду ни один из этих вопросов - а делается попытка ранжировать непонятные учёные слова, взятые из обрывков каких-то разговоров - и как можно в этом осмысленно участвовать, не видно.

Re: ну попробуйте -

[identity profile] kouzdra.livejournal.com 2010-11-23 10:25 am (UTC)(link)
Она самая - Топосы. Категорный анализ логики (http://www.krelib.com/matematika/1755) - она написана в расчете на читателя который про категории не знает ничего, потому где-то полкниги потрачено на изложение базовые понятий ТК - в частности помогает видимо именно то, что у этого изложения есть цель.

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

Re: ну попробуйте -

[identity profile] bvn-mai.livejournal.com 2010-11-23 01:22 pm (UTC)(link)
Спасибо, она есть у меня живьем. Когда-то очень давно (еще к конце 80-х) я ее прочел, в надежде что она мне поможет по иному взглянуть на задачи анализа, а главное синтеза систем (там прямо в предысловии об этом что-то писалось), но что-то она мне показалось очень далекой от реальной инженерной жизни. Пора ее перечитать, в свете новых мод.
А ссылка ведет на что странное (наверное там глюк на сайте) :) - проверте пожалуйста.