avva: (Default)
[personal profile] avva
Когда математик говорит: пусть G - абелева группа..., какую картинку он видит в своём воображении?

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

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

Но я так и не встретил ни разу подробного описания или изучения этого вопроса. Может быть, кто-нибудь знает, изучали ли это профессионально и систематически (скажем, психологи или кто ещё)? Всё, что мне встречалось - это редкие частные описания. Например, Ричард Фейнман интересно описывает в своей как-бы автобиографии, как он использовал внутренние "картинки" (разного рода геометрические фигуры, к-е меняли цвет, обрастали щупальцами и т.п.), когда был студентом-физиком и обсуждал теорию множеств со студентами-математиками.
Какой-то другой математик (забыл, кто) описывал, как он видит дифференциальные уравнения в цвете (каждая переменная имеет свой цвет).

Сам я не очень много могу добавить о себе лично. У меня нет цветного абстрактного видения, хотя сгущение тёмного тона играет важную роль (т.е. та часть картинки, к-я более важна или на которой сфокусировано внимание, темнее других). Числовую ось я вижу горизонтальной, когда речь идёт о геометрии или анализе; но если речь идёт о теории множеств, ординалах и т.п., она скорее направлена косо, и уходит вправо вверх, в отдельных случаях даже вертикально (так удобней бывает представить "ось" всех ординалов и кардиналов, включая бесконечные; почему? - не знаю). Поле (или кольцо вообще) для меня - бесформенное облако, внутри которого выделяется тёмная ось натуральных чисел, прыгающих одно за другим -- или непрерывная, а не дискретная, копия рациональных чисел. Стоит перейти к векторному пространству, как само поле сплющивается и становится двумерным, а пространство, на нём основанное - трёхмерным облаком, с нитями между ними; поле почему-то левее и ниже самого пространства. Модель (в мат. логике) - всегда что-то плоское и обширное, с точками, означающими элементы, в которые прыгают стрелки из большого неограниченного уходящего в бесконечость куска пространства, содержащего термы данного языка. Между точками-элементами прыгают стрелки, означающие реляции и функции. Элементы-константы всегда темнее и отчётливей других.

Это просто несколько примеров того, что первым в голову пришло -- наверное, недостаточно детализованных (чем точнее пытаешься вспомнить, тем больше картинка расплывается или теряешь в ней уверенность).

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

Date: 2002-06-11 01:06 pm (UTC)
From: [identity profile] posic.livejournal.com
Банальная гипотеза: степень полезности зрительных образов определяется степенью содержательности аналогии, которая за ними стоит. Думая о бублике, полезно представлять себе бублик. Это действительно должно помогать иногда: все-таки образное мышление и все такое (а почему бы иначе существовала наука геометрия? впрочем, не знаю).

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

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

Date: 2002-06-11 03:38 pm (UTC)
From: [identity profile] french-man.livejournal.com
Вы правы, хотя мое образование не предоставляет мне такие рассуждения/аргументы в достаточном к-ве. Приходиться довольствоваться бубликами;)

December 2025

S M T W T F S
  123 4 56
78 9 10 11 1213
1415 1617181920
21 22 23 24 2526 27
28293031   

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Dec. 28th, 2025 07:22 pm
Powered by Dreamwidth Studios