Category: животные

Category was added automatically. Read all entries about "животные".

puss

О формализме в математике

В ЖЖ обсуждают статью С.П.Новикова о кризисе физико-математических наук. (via flying_bear):
http://flying-bear.livejournal.com/180089.html
http://ivanov-petrov.livejournal.com/419957.html

Захотелось прокомментировать вот этот абзац:

Формальный язык непрозрачен, он всегда является узкопрофильным, он защищает Вашу область от понимания ее соседями, от видимого всеми взаимного влияния идей. Если Вам удалось позаимствовать идеи из соседней области, Вы можете заформализовать их так, что первоисточник не будет виден. Так или иначе, почему-то имеется много математиков, заинтересованных в развитии формального языка, разделяющего даже очень близкие разделы до непонятности. В чем тут дело? Возможно, имеется много желающих быть, как говорят, «первыми в своей деревне», закрыв занавески от соседейCollapse )

Мне представляется, что Сергей Петрович тут несколько лукавит, подпускает конспирологии из чисто публицистических соображений. Попробую высказаться тезисно, взяв в качестве модели ту математику, которой занимаюсь:Collapse )

А если простыми словами, то самые формальные результаты, как правило, можно объяснить на пальцах: предъявив модельный пример, приведя аналогию, сославшись на общий принцип, призвав на помощь интуицию или воображение и т.п. Наверное, гуманный автор должен сопроводить статью или книгу такого рода ремарками, предъявить скелет или тень на стене пещеры и объявить его живым тигром. Например, Арнольд блестяще владеет этим искусством. Но это допустимо, только если реальный тигр пойман, посажен в клетку, накормлен и т.д. И если сделано это со всем возможным формализмом.