Dmitri Pavlov - Синтаксическая математика
August 7th, 2007
10:59 pm

[Link]

Синтаксическая математика

(175 comments | Leave a comment)

Comments
 
[User Picture]
From:[info]menato@lj
Date:August 8th, 2007 - 06:19 am
(Link)
Например в танцах попытки что-то сделать по-своему.
From:[info]dmitri_pavlov@lj
Date:August 8th, 2007 - 06:38 am
(Link)
Это смотря насколько допустимы такие попытки в танцах.
Всё равно особо не пофантазируешь.
А уж в физкультуре и подавно.

А к чему был вопрос про Широкова?
[User Picture]
From:[info]menato@lj
Date:August 8th, 2007 - 06:40 am
(Link)
Если ты будешь пытаться понять, что за действия ты делаешь и как их стоит делать, как и в других отраслях, то будешь конечно учится больше.
From:[info]dmitri_pavlov@lj
Date:August 8th, 2007 - 06:51 am
(Link)
Возможно. Однако я не замечал, чтобы преподователи физкультуры предпринимали какие-то действия для того, чтобы мы поняли, зачем мы это делаем. Они никогда не пытались нам объяснять смысл тех или иных действий. Просто мы должны были делать что-то и всё.
[User Picture]
From:[info]menato@lj
Date:August 8th, 2007 - 06:54 am
(Link)
Какие примеры я вижу: бросание мяча в кольцо. Нам показывают технику, мы её обдумываем и отрабатываем параллельно. Или упражнение на растяжку: мы делаем и пытаемся понять.
From:[info]dmitri_pavlov@lj
Date:August 8th, 2007 - 03:42 pm
(Link)
И что же ты понял про бросания мяча в кольцо и растяжку?

Ты упоминал Широкова. Что ты хотел про него сказать?
[User Picture]
From:[info]menato@lj
Date:August 9th, 2007 - 01:43 am
(Link)
Насколько я знаю, его научные результаты вполне хорошие. А значит он вполне разумный в отношении понимания математики человек.
From:[info]dmitri_pavlov@lj
Date:August 9th, 2007 - 02:07 pm
(Link)
Как раз про его научные результаты я смышал, что они у него есть, но не особо содержательные.
[User Picture]
From:[info]rus4@lj
Date:August 9th, 2007 - 02:55 pm
(Link)
ну-ну
From:[info]dmitri_pavlov@lj
Date:August 9th, 2007 - 03:14 pm
(Link)
Это не моё мнение, я лишь пересказываю слова другого человека.
Если ты считаешь по-другому, не мог бы ты, скажем, сформулировать наиболее важный результат Широкова?
[User Picture]
From:[info]menato@lj
Date:August 10th, 2007 - 01:17 am
(Link)
Ты - максималист :)
From:[info]dmitri_pavlov@lj
Date:August 10th, 2007 - 02:31 am
(Link)
В таком случае, ты получаешь тот же вопрос, что и Федя.
[User Picture]
From:[info]menato@lj
Date:August 10th, 2007 - 02:33 am
(Link)
Я не знаю. Слышал от Гуаса, что он силён на кафедре матана, а кафедра эта у нас не слабая.

Другое дело: стоит ли так категорично оценивать результаты людей: не всем же быть крутецами?
From:[info]dmitri_pavlov@lj
Date:August 10th, 2007 - 02:55 am
(Link)
Проблема заключается в том, что мнение о людях, как о математиках, почему-то часто формируется не на основе их математических результатов, а на основе каких других данных.
Ну, например: Широков заведует кафедрой матанализа, следовательно, является крутым математиком.
По этой причине, если кто-то говорит мне, что кто-то является неплохим математиком, я настаиваю на изложении его основного результата.
[User Picture]
From:[info]menato@lj
Date:August 10th, 2007 - 02:58 am
(Link)
Я так не делаю. Но полагаюсь на слова Гуаса, человека осведомлённого.
From:[info]dmitri_pavlov@lj
Date:August 10th, 2007 - 03:08 am
(Link)
Проблема в том, что Гуас (кто это такой?) тоже может основывать своё мнение на нематематических факторах.
[User Picture]
From:[info]menato@lj
Date:August 10th, 2007 - 03:19 am
(Link)
Гуас - Александр Сергеевич Голованов.
Ну, может конечно, но мне так не кажется.
[User Picture]
From:[info]rus4@lj
Date:August 12th, 2007 - 08:45 am
(Link)
1) Я так понимаю, что ты способен оценить ценность (не интересность для тебя, а общую ценность) математического результата по формулировке. Большинство людей этой способностью не обладаю, в том числе и я. Мы верим другим людям, которых почему-либо считаем специалистами. Я слышал очень положительные отзывы о работах Широкова. Возможно даже, я слышал о результатах, но не запомнил их, потому что не интересуюсь комплексным анализом, а результаты там формулируются весьма технически. Если я доберусь до нормального интернета и еще буду об этом помнить, я посмотрю в матсцинете и может быть напишу более подробно о его трудах, раз уж они так тебя интересуют.

2) Отрицательные отзывы о математике также могут базироваться на нематематических факторах.

3) Широков неадекватно проверил твою работу и тебе поэтому легко признать его плохим математиком. В то же время есть заведомо хорошие математики, от которых мне неоднократно доводилось слушать заведомый бред (о математике), высказываемый с отвратительным апломбом. Это вызывает когнитивный диссонанс, конечно, но надо искать другие способы преодоления.
From:[info]dmitri_pavlov@lj
Date:August 12th, 2007 - 09:00 am
(Link)
>Я так понимаю, что ты способен оценить ценность (не интересность для тебя, а общую ценность) математического результата по формулировке.

Что такое общая ценность? Какой-нибудь логик считает свою область важной и незаменимой, какой-нибудь алгебраический геометр презирает логику, хотя и может в ней разбираться.
Понятие ценности зависит от человека.
Почему математический результат может считаться ценным? Он может иметь много применений или давать нам новый взгляд на известные вещи — такие случаи легко проверить.
Он может быть просто красивым. В этом случае,
вовсе не обязательно быть специалистом по комплексному анализу, чтобы увидеть эту красоту.

>Отрицательные отзывы о математике также могут базироваться на нематематических факторах.

Это верно. Однако в данном случае мой отзыв базируется на чисто математической дискуссии.

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

Широков не проверял мою работу. Он принимал апелляцию по ней. Устно. И нёс заведомый бред про стандартный набор подстановок, высказывая его с отвратительным апломбом. Именно это вызывает у меня когнитивный диссонанс.

Последнюю твою фразу я не понял. Что надо преодолевать по другому? И как я предлагал это преодолевать?
[User Picture]
From:[info]rus4@lj
Date:August 12th, 2007 - 09:19 am
(Link)
Вот первая попавшаяся статья Широкова (из архива, с Розенблюмом):

We establish that the Pauli operator describing a spin-1/2 two-dimensional quantum system with a singular magnetic field has, under certain conditions, an infinite-dimensional space of zero modes, possibly, both spin-up and spin-down, moreover there is a spectral gap separating the zero eigenvalue from the rest of the spectrum. In particular, infiniteness takes place if the field has infinite flux, which settles this previously unknown case of Aharonov-Casher theorem.

Расскажи, пожалуйста, насколько это важно и круто.

Последнюю твою фразу я не понял. Что надо преодолевать по другому? И как я предлагал это преодолевать?

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

> Отрицательные отзывы о математике также могут базироваться на нематематических факторах.

Это верно. Однако в данном случае мой отзыв базируется на чисто математической дискуссии.


Ты говорил про неназываемого вслух человека, который невысоко отзывался о работах Широкова. Так вот причины таких отзывов также могут быть не математическими.
From:(Anonymous)
Date:August 13th, 2007 - 05:26 am
(Link)
Когда кого-то называеют хорошим математиком, очень естественно спросить,
чем он занимется и попытаться понять и самому оценить его главный результат(ы). Довольно смешно обсуждать математика математикам на уровне: говорят, плохой. говорят, хороший. чем хороший ? не знаю, говорят.
Тем более что Вы, кажется, коллега и специалист по близкой области.


Врочем, такой вопрос: те люди, которые отзывались о результатах Ш.---среди
них были непетербургские математики, например?

А МатРевъю приведенного результата --- не впечатляет..Хотя ето мало что значит.

[User Picture]
From:[info]rus4@lj
Date:August 13th, 2007 - 03:21 pm
(Link)
Когда кого-то называеют хорошим математиком, очень естественно спросить, чем он занимется и попытаться понять и самому оценить его главный результат(ы). Довольно смешно обсуждать математика математикам на уровне: говорят, плохой. говорят, хороший. чем хороший ? не знаю, говорят. Тем более что Вы, кажется, коллега и специалист по близкой области.

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

Врочем, такой вопрос: те люди, которые отзывались о результатах Ш.---среди них были непетербургские математики, например?

Можно еще спросить, были ли среди них нерусские математики. А если бы мы обсуждали не Ш, а скажем его соавтора Розенблюма, то можно спросить, были ли среди хваливших Р нееврейские математики. Мне такое как-то не очень.
[User Picture]
From:[info]bbixob@lj
Date:August 14th, 2007 - 07:00 am
(Link)
Кажется довольно естественным (пытаться и) знать основные научные результаты коллег, с которыми работаешь много лет в одном Университете(городе и тд), по относительно близким областям. Впрочем, если эта область совсем далека от Вашей...

.А "непетербургские математики"---простейший (и грубый) критерий значимости общезначимости результатов Ш. --- напр. вне школы, к которой он придлежит, и тд.
Но Вы правы, критерий слишком грубый.
My Website Powered by LJ.Rossia.org