виды научных результатов (теория) [v.3]
Версия 1: август 21, 2017, 18:33.
В версии 2 (сентябрь 22, 2017, 13:23) добавлены результаты-"вычисления" + запись причёсана.
В версии 3 добавлен пункт о "подтверждающих вычислениях" (по следам семинара С.Волкова).
виды научных результатов (теория) (2) две разновидности методов
Для практических целей понадобилось выделить и назвать некоторые типы научных результатов.
Речь сейчас пойдёт о позитивной теории -- нас не интересует гипотезокидательство космолажеского типа, когда гипотезы-фантазмы (маскируемые словами "сценарий", "идея" и проч.) становятся энергетически выгодной самоцелью. Хотя, разумеется, гипотеза как промежуточный шаг поиска решения -- законный инструмент исследователя, и тут тоже, come to think of it, можно было бы навести типологию. Но не сейчас.
Вот интересующие нас типы результатов: "вычисления", "открытия", "формулировки", "решения" и "опровержения".
(На результаты-"формулировки" указал комментатор, создав себе Заслугу.)
Как часто бывает, однозначные разграничения сделать можно не всегда -- вездесущая de finibus controversia.
Эту типологию удобно проиллюстрировать примерами из области деятельности, которую можно назвать позитивной квантовой теорией поля (в отличие от деятельности разнообразных двумерных, суперсимметристов, дуалистов и т.п.) -- причём из той её части, где всё вертится вокруг расчётов по теории возмущений в квантовой теории поля для поддержки экспериментов на разных БАКах [Upd расчёты на решётке остаются полностью за кадром].
Здесь имеет место процесс, представляющий собой частный случай описанной Томасом Куном последовательности "нормальная наука-революция-нормальная наука-...".
В центре этой деятельности -- расчёты измеряемых физических "величин" (от чисел до генераторов событий; это, кстати, нетривиальная связка, но не теперь; кроме того, здесь очень много "структурной" деятельности с формализмом квантовой теории поля -- но мы будем говорить о расчётах, потому что применение к расчётам -- это тот итинг, которым доказывается пудинг игр с формализмом).
Расчёты можно делать с разной точностью (в зависимости от того, сколько учитывается членов ряда теории возмущений) -- чем точнее, тем труднее. Когда количество переходит в качество, возникают барьеры, преодолеть которые числом и упорством вычислителей не удаётся. Нужен качественный прорыв, после чего сообщество вновь входит в фазу нормальных вычислений.
***
Результаты-"вычисления". Здесь имеется спектр. Грубо говоря, в начале каждой новой нормальной фазы есть масса сравнительно простых расчётов -- их делают наперегонки. В конце фазы расчёты трудны и доступны только избранным.
Пример был в записи о Диме Бардине: там из 12 стартовавших команд до финиша дошли только две.
В более широком контексте: в 1940-х гг. кто-то из пионеров квантовой теории (не то Дирак, не то в письме Дираку [Upd память подсовывает Макса Борна]) жаловался, мол, стало трудно получать новые результаты; то ли дело раньше, в 1930-х.
В обсуждении семинара С.Волкова всплыл ещё один подтип со своим параметром: вычисление-подтверждение. В самом деле, важные вычисления (как и важные измерения) должны быть подтверждены независимым расчётом (экспериментом). Чем важнее результат, тем важнее и его подтверждение. Здесь возникает параметр -- свой вариант возраста (ср. ниже), т.е. сколько лет понадобилось для независимого повторения результата.
Остальные типы результатов выходят за границы старательной нормальности.
***
Результаты-"открытия" -- это находки, мейнстримом, так сказать, непредусмотренные (>> Невообразимое, то есть новое с дозой Несравнимости) и открывающие новые возможности для нормальной трудовой комбинаторики.
Это не обязательно обнаружение нового метода, чаще это просто обнаружение непредвиденной структуры, которая тем или иным способом будет включена в бананостремительную комбинаторику (>> теорема о всеядности).
Способы включения возможны разные:
1) для построения новых "решающих комбинаций";
2) для надувания лажевого пузыря (ср. фетиш "аналитических вычислений");
В логическом плане результат-"открытие" делится на "формулировку" и "решение" (ср. в учебниках формулировки теорем и следующие за ними доказательства).
В реальном процессе эти две части зачастую сплетены так, что формулировка кристаллизуется одновременно с решением.
Тем не менее каждая из этих двух частей может отделиться в особый результат, см. ниже.
"Формулировки" -- это как бы цветочки на древе Накопления понимания,
а "решения" -- ягодки.
***
Результаты-"формулировки" -- задачи Гильберта, гипотеза Пуанкаре и т.п.
Или пример ближе к телу: поставленная Наблюдателем задача эффективного построения дифференциальных операторов обобщённых тождеств Гельфанда-Бернштейна-Сато (математики активно изучают соответствующие бета-функции, сами дифоператоры им, похоже, не особо интересны).
Нередко проблемы, с которыми сталкивается нормальная наука, принимают вид "формулировок" как бы сами по себе, хотя при желании можно проследить их происхождение. Пример из прикладной квантовой теории поля -- задача оптимального определения адронных струй (решённая Наблюдателем, см.); при желании её можно возвести к работе Стермана и Вайнберга (см. запись о нобелеате-гермесиде ...), но реально она открыто встала только с повышением точности ускорительных экспериментов (ср. активность Стивом Эллисом, из пары зажигательных докладов которого Наблюдатель и вынес себе представление о задаче и её важности).
***
Говорить о результате-"решении" можно, когда задача стояла нерешённой сколько-то лет на виду у мейнстрима.
Эти "сколько-то лет" -- "возраст" задачи. Это не столько прямой измеритель, сколько нижняя граница для трудности задачи: ведь неизвестно, сколько ещё лет она оставалась бы нерешённой, не реши её конкретный примат, который может быть очень силён интеллектусом и решать всё, что под руку попадёт.
Upd 2019-04-09 Параметр осознался и эксплицировался у математиков раньше прочих: они веками соревнуются, кто первый докажет гипотезу какого-нибудь гольдбаха-римана-пуанкаре-...
Например, он уже возникал у математика Васильева.
Вот ещё пара текстов от другого математика, открытых в декабре 2016, где всплывало понятие "возраста" задачи.
Точный "возраст" задачи не всегда хорошо определён, и для пущей наглядности его допустимо округлять (10-15-20-...-100-...).
Например, задача учёта априорной информации в интервальном оценивании, для которой Фельдман и Казинс дали лажевое решение ( обсуждение), стояла и до них, но именно они осознали (указав на некорректность бытовавших практик) и водрузили её на виду у всего мейнстрима.
[Upd 2019-04-09 Эта задача обсуждалась ещё в трёхтомном талмуде Кендалла и Стьюарта не позже 1960-х гг. >> обсуждение в записи лажевый пузырь (5) рецепт Фельдмана-Казинса.]
***
Результаты-"опровержения" -- это когда протыкается какой-нибудь лажевый пузырь (см. там ссылки в списке на обсуждение Мish'ыного "метода", "теории" БКЛФ, "вакуумной" интерпретации эффекта Унру, аксион ...).
Опять же, "опровержение" из слабой позиции мейнстримом обычно игнорируется -- тем упорней, чем более застарелая лажа и чем больше паразитов чавкает в этом пузыре -- они же не хотят бросать налаженную трофику и отправляться "искать новую жизнь" -- распахивать новую полянку с негарантированным результатом. [Upd 2019-04-09 >> когнитивная винсоризация]
Неприятный аспект чистых "опровержений" в том, что даже если результат не игнорируется, им заканчивается история лажевого пузыря, так что много цитирований "опровержение" набрать не может. Пример -- наше опровержение "теории" БКЛФ, в котором нет никакого нового "открытия", скорее, приведение ситуации к норме, известной по другим задачам. Аналогично с нашим старым опровержением Мish'ыного "метода", хотя там есть некий сюрприз -- контактные члены, но они всё дело только крепче закрывают, добавляя новые параметры в фит, чем значение "метода" уменьшается ещё сильнее.
Приятный аспект -- для решений-"опровержений" может быть указан масштаб лажевого пузыря -- округлённое число цитирований опровергаемых работ. На него автор опровержения может m-активироваться вместо числа цитирований своей работы-опровержения. Приятно ещё умножать этот масштаб на возраст опровергаемых работ.
***
Результат может одновременно допускать разные характеризации из вышеперечисленных, так что границу провести может быть трудно (опять de finibus controversia).
В самом деле, возрастная задача обычно одевается лажевым пузырём, а её решение протыкает этот пузырь, нередко преподнося сюрпризик-"открытие".
Тем не менее, полезно смотреть на результаты с этих разных сторон.
Во всяком случае "возраст" задачи или лажевого пузыря, для которых даются соответственно решение или опровержение, -- это довольно ясный показатель для оценки учёного, особенно когда таких решений у него набегает несколько -- или, что бывает гораздо чаще, нет вовсе.
***
Мимикрия с продавливанием границ возможна в том случае, когда результат-"вычисление", которое не было сделано просто потому, что всё сразу не вычислишь, продаётся как "открытие": в любом сложном вычислении есть какая-нибудь необычность, которую и можно раздувать.
Эта мимикрия может быть честной (от наивности), лажевой (очень хочется, отчего возникает самообман) и шарлатанской. Границы между этими случаями, опять же, плохо определены.
Другая возможность мимикрии -- претензии на результат-"формулировку", хотя проблема была более-менее очевидна в потоке нормальной науки. Такую попытку может сделать гермесид в сильной позиции, которому одни побоятся возражать, а другие будут с восторгом вторить.
Приматологическое упражнение
Поискать в описанной типологии другие возможности паразитизма с передёргиванием и продавливанием границ.
***
Восприятие мейнстримом любых результатов -- в первую очередь сделанных из слабых позиций -- может произойти не сразу: ведь подражают альфе, а у неальф слишком часто сначала пытаются спижить.
В случае опровержения больших лажевых пузырей (типа "теории" БКЛФ или "метода" правил сумм КХД/ИТЭФ) инерция такова, что "далеко не сразу" означает десятилетия -- но это только увеличивает Заслугу опровержения.
[Upd 2019-04-09 Последняя мысль может давать некую точку психологической опоры автору опровержения, нередко не просто игнорируемому, но подвергающемуся агрессии со стороны солдат мейнстрима и прочих псоидов >> лажевый блок (3) его агрессивность].
В версии 2 (сентябрь 22, 2017, 13:23) добавлены результаты-"вычисления" + запись причёсана.
В версии 3 добавлен пункт о "подтверждающих вычислениях" (по следам семинара С.Волкова).
виды научных результатов (теория) (2) две разновидности методов
Для практических целей понадобилось выделить и назвать некоторые типы научных результатов.
Речь сейчас пойдёт о позитивной теории -- нас не интересует гипотезокидательство космолажеского типа, когда гипотезы-фантазмы (маскируемые словами "сценарий", "идея" и проч.) становятся энергетически выгодной самоцелью. Хотя, разумеется, гипотеза как промежуточный шаг поиска решения -- законный инструмент исследователя, и тут тоже, come to think of it, можно было бы навести типологию. Но не сейчас.
Вот интересующие нас типы результатов: "вычисления", "открытия", "формулировки", "решения" и "опровержения".
(На результаты-"формулировки" указал комментатор, создав себе Заслугу.)
Как часто бывает, однозначные разграничения сделать можно не всегда -- вездесущая de finibus controversia.
Эту типологию удобно проиллюстрировать примерами из области деятельности, которую можно назвать позитивной квантовой теорией поля (в отличие от деятельности разнообразных двумерных, суперсимметристов, дуалистов и т.п.) -- причём из той её части, где всё вертится вокруг расчётов по теории возмущений в квантовой теории поля для поддержки экспериментов на разных БАКах [Upd расчёты на решётке остаются полностью за кадром].
Здесь имеет место процесс, представляющий собой частный случай описанной Томасом Куном последовательности "нормальная наука-революция-нормальная наука-...".
В центре этой деятельности -- расчёты измеряемых физических "величин" (от чисел до генераторов событий; это, кстати, нетривиальная связка, но не теперь; кроме того, здесь очень много "структурной" деятельности с формализмом квантовой теории поля -- но мы будем говорить о расчётах, потому что применение к расчётам -- это тот итинг, которым доказывается пудинг игр с формализмом).
Расчёты можно делать с разной точностью (в зависимости от того, сколько учитывается членов ряда теории возмущений) -- чем точнее, тем труднее. Когда количество переходит в качество, возникают барьеры, преодолеть которые числом и упорством вычислителей не удаётся. Нужен качественный прорыв, после чего сообщество вновь входит в фазу нормальных вычислений.
***
Результаты-"вычисления". Здесь имеется спектр. Грубо говоря, в начале каждой новой нормальной фазы есть масса сравнительно простых расчётов -- их делают наперегонки. В конце фазы расчёты трудны и доступны только избранным.
Пример был в записи о Диме Бардине: там из 12 стартовавших команд до финиша дошли только две.
В более широком контексте: в 1940-х гг. кто-то из пионеров квантовой теории (не то Дирак, не то в письме Дираку [Upd память подсовывает Макса Борна]) жаловался, мол, стало трудно получать новые результаты; то ли дело раньше, в 1930-х.
В обсуждении семинара С.Волкова всплыл ещё один подтип со своим параметром: вычисление-подтверждение. В самом деле, важные вычисления (как и важные измерения) должны быть подтверждены независимым расчётом (экспериментом). Чем важнее результат, тем важнее и его подтверждение. Здесь возникает параметр -- свой вариант возраста (ср. ниже), т.е. сколько лет понадобилось для независимого повторения результата.
Остальные типы результатов выходят за границы старательной нормальности.
***
Результаты-"открытия" -- это находки, мейнстримом, так сказать, непредусмотренные (>> Невообразимое, то есть новое с дозой Несравнимости) и открывающие новые возможности для нормальной трудовой комбинаторики.
Это не обязательно обнаружение нового метода, чаще это просто обнаружение непредвиденной структуры, которая тем или иным способом будет включена в бананостремительную комбинаторику (>> теорема о всеядности).
Способы включения возможны разные:
1) для построения новых "решающих комбинаций";
2) для надувания лажевого пузыря (ср. фетиш "аналитических вычислений");
В логическом плане результат-"открытие" делится на "формулировку" и "решение" (ср. в учебниках формулировки теорем и следующие за ними доказательства).
В реальном процессе эти две части зачастую сплетены так, что формулировка кристаллизуется одновременно с решением.
Тем не менее каждая из этих двух частей может отделиться в особый результат, см. ниже.
"Формулировки" -- это как бы цветочки на древе Накопления понимания,
а "решения" -- ягодки.
***
Результаты-"формулировки" -- задачи Гильберта, гипотеза Пуанкаре и т.п.
Или пример ближе к телу: поставленная Наблюдателем задача эффективного построения дифференциальных операторов обобщённых тождеств Гельфанда-Бернштейна-Сато (математики активно изучают соответствующие бета-функции, сами дифоператоры им, похоже, не особо интересны).
Нередко проблемы, с которыми сталкивается нормальная наука, принимают вид "формулировок" как бы сами по себе, хотя при желании можно проследить их происхождение. Пример из прикладной квантовой теории поля -- задача оптимального определения адронных струй (решённая Наблюдателем, см.); при желании её можно возвести к работе Стермана и Вайнберга (см. запись о нобелеате-гермесиде ...), но реально она открыто встала только с повышением точности ускорительных экспериментов (ср. активность Стивом Эллисом, из пары зажигательных докладов которого Наблюдатель и вынес себе представление о задаче и её важности).
***
Говорить о результате-"решении" можно, когда задача стояла нерешённой сколько-то лет на виду у мейнстрима.
Эти "сколько-то лет" -- "возраст" задачи. Это не столько прямой измеритель, сколько нижняя граница для трудности задачи: ведь неизвестно, сколько ещё лет она оставалась бы нерешённой, не реши её конкретный примат, который может быть очень силён интеллектусом и решать всё, что под руку попадёт.
Upd 2019-04-09 Параметр осознался и эксплицировался у математиков раньше прочих: они веками соревнуются, кто первый докажет гипотезу какого-нибудь гольдбаха-римана-пуанкаре-...
Например, он уже возникал у математика Васильева.
Вот ещё пара текстов от другого математика, открытых в декабре 2016, где всплывало понятие "возраста" задачи.
Точный "возраст" задачи не всегда хорошо определён, и для пущей наглядности его допустимо округлять (10-15-20-...-100-...).
Например, задача учёта априорной информации в интервальном оценивании, для которой Фельдман и Казинс дали лажевое решение ( обсуждение), стояла и до них, но именно они осознали (указав на некорректность бытовавших практик) и водрузили её на виду у всего мейнстрима.
[Upd 2019-04-09 Эта задача обсуждалась ещё в трёхтомном талмуде Кендалла и Стьюарта не позже 1960-х гг. >> обсуждение в записи лажевый пузырь (5) рецепт Фельдмана-Казинса.]
***
Результаты-"опровержения" -- это когда протыкается какой-нибудь лажевый пузырь (см. там ссылки в списке на обсуждение Мish'ыного "метода", "теории" БКЛФ, "вакуумной" интерпретации эффекта Унру, аксион ...).
Опять же, "опровержение" из слабой позиции мейнстримом обычно игнорируется -- тем упорней, чем более застарелая лажа и чем больше паразитов чавкает в этом пузыре -- они же не хотят бросать налаженную трофику и отправляться "искать новую жизнь" -- распахивать новую полянку с негарантированным результатом. [Upd 2019-04-09 >> когнитивная винсоризация]
Неприятный аспект чистых "опровержений" в том, что даже если результат не игнорируется, им заканчивается история лажевого пузыря, так что много цитирований "опровержение" набрать не может. Пример -- наше опровержение "теории" БКЛФ, в котором нет никакого нового "открытия", скорее, приведение ситуации к норме, известной по другим задачам. Аналогично с нашим старым опровержением Мish'ыного "метода", хотя там есть некий сюрприз -- контактные члены, но они всё дело только крепче закрывают, добавляя новые параметры в фит, чем значение "метода" уменьшается ещё сильнее.
Приятный аспект -- для решений-"опровержений" может быть указан масштаб лажевого пузыря -- округлённое число цитирований опровергаемых работ. На него автор опровержения может m-активироваться вместо числа цитирований своей работы-опровержения. Приятно ещё умножать этот масштаб на возраст опровергаемых работ.
***
Результат может одновременно допускать разные характеризации из вышеперечисленных, так что границу провести может быть трудно (опять de finibus controversia).
В самом деле, возрастная задача обычно одевается лажевым пузырём, а её решение протыкает этот пузырь, нередко преподнося сюрпризик-"открытие".
Тем не менее, полезно смотреть на результаты с этих разных сторон.
Во всяком случае "возраст" задачи или лажевого пузыря, для которых даются соответственно решение или опровержение, -- это довольно ясный показатель для оценки учёного, особенно когда таких решений у него набегает несколько -- или, что бывает гораздо чаще, нет вовсе.
***
Мимикрия с продавливанием границ возможна в том случае, когда результат-"вычисление", которое не было сделано просто потому, что всё сразу не вычислишь, продаётся как "открытие": в любом сложном вычислении есть какая-нибудь необычность, которую и можно раздувать.
Эта мимикрия может быть честной (от наивности), лажевой (очень хочется, отчего возникает самообман) и шарлатанской. Границы между этими случаями, опять же, плохо определены.
Другая возможность мимикрии -- претензии на результат-"формулировку", хотя проблема была более-менее очевидна в потоке нормальной науки. Такую попытку может сделать гермесид в сильной позиции, которому одни побоятся возражать, а другие будут с восторгом вторить.
Приматологическое упражнение
Поискать в описанной типологии другие возможности паразитизма с передёргиванием и продавливанием границ.
***
Восприятие мейнстримом любых результатов -- в первую очередь сделанных из слабых позиций -- может произойти не сразу: ведь подражают альфе, а у неальф слишком часто сначала пытаются спижить.
В случае опровержения больших лажевых пузырей (типа "теории" БКЛФ или "метода" правил сумм КХД/ИТЭФ) инерция такова, что "далеко не сразу" означает десятилетия -- но это только увеличивает Заслугу опровержения.
[Upd 2019-04-09 Последняя мысль может давать некую точку психологической опоры автору опровержения, нередко не просто игнорируемому, но подвергающемуся агрессии со стороны солдат мейнстрима и прочих псоидов >> лажевый блок (3) его агрессивность].