[дед] популярная лекция в Музее Москвы 2014-11-24

Nov 26, 2014 20:48

Лектор нас сильно порадовал. Даже успокоил.

Этот bias нужно, наверное, учитывать при чтении приматологического отчёта.
Хотя пленных мы по-прежнему брать не намерены -- Методология не позволяет (и Гиму тоже).


Read more... )

сын_неба, ктп, дед_(фаддеев_лд), правило_1, фок_ва, глоток_кислороду, ложь_в_наукоценозе, наблюдатель

Leave a comment

__gastrit November 27 2014, 16:34:15 UTC
> Через функции, функторы etc.

Это те же множества, вид в профиль. Функция - это "множество пар таких, что". Категория - опять же "множество (а то и собственный класс) такое, что".

> пример выхлопа от этих эвристик -- наш метод квазиоптимальных весов,

Если я правильно понял, то там (грубо говоря) просто констатация того факта, что при гладкой зависимости неизвестного вектора состояния
от параметра асимптотически наименьшая дисперсия оценки этого параметра получается при оперировании с наблюдаемой A вида
. Это, безусловно, интересно - но где тут хоть какой-то функтор?

С уважением,
Гастрит

P.S.: Кстати, я правильно понимаю (исходя из списка литературы и упоминаний эпохи "after Kolmogorov postulated his axioms"), что вот этот текст 1918-го года Вам неизвестен?

Reply

vteninn November 27 2014, 18:57:10 UTC
Вот ыменно, что в профиль.

Все аксиоматизации аксиоматизируют одни и те же математические факты конструктивного универсума :)

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

Функторы нужны как инструмент построения соотв. теории:
Гольдблатт. Топосы
http://www.twirpx.com/file/253459/

Там, кажется, вторая глава.

В блоге это обсуждалось.
(Может, правда, пора открыть блог для поисковиков?)

Reply

__gastrit November 27 2014, 21:09:17 UTC
> Все аксиоматизации аксиоматизируют одни и те же математические факты конструктивного универсума :)

Зачитался. Вот бы про браны что-нибудь столь же красивое увидеть - а то всё "шарлатаны" да "лажевые пузыри" :-)

> Функторы нужны как инструмент построения соотв. теории

А борелизация - она для чего-то другого нужна?

Я действительно не вижу, почему Ваш текст (реальное содержание которого, на мой взгляд, лежит исключительно в области геометрии гильбертовых пространств - или я чего-то не понял?) свидетельствует о благотворности теоретико-категорного пустословия. Что в этом тексте без него пропадёт (кроме опровергаемого на контрпримерах "continuous therefore constructive" - которого как раз и не жалко)?

С уважением,
Гастрит

Reply

vteninn November 28 2014, 01:28:51 UTC
Хосподи. Не категорного, а функционального.
Функторы можете вычеркнуть.
Они упомянуты из-за Гольдблатта и из-за вопроса, который задавал в раннем обсуждении ansobol (кажется), типа, а что вы думаете про пропаганду такого-то, пропаганда там была чисто категорная, как у гольдбатта. Г. указал связь с функциональщиной, а тот чел -- нет.

О.И.Завьялов тоже считал теорию обобщённых функций пустословием, потому что это те же интегралы, только в профиль.

Эвристика в том, что думать нужно НАЧИНАТЬ не со значений в точках f(x), а со средних.
Так Вы сразу возьмёте, например, метод Бубнова-Галеркина и не будете мучиться с приравниванием значений в точках.

Вы же понимаете, что такое "эвристика"?

Reply

vteninn November 27 2014, 18:58:00 UTC
"интеграл Даниэля (1918)" -- известен,
сам текст -- нет.

Reply

__gastrit November 28 2014, 00:04:32 UTC
А что такое "интеграл Даниэля (1918)", если не в точности "functional-analytic interpretation of probability distributions", при котором "a measure is defined as a linear functional"? Вообще-то, ровно за это автор Вашего [4] этот интеграл прямо ненавидел (см. его предисловие ко 2-му изданию совместных с Фоминым "Элементов теории функций"). Отсутствие ссылок - особенно при акцентировании внимания на вопросе - тут несколько странно смотрится.

С уважением,
Гастрит

Reply

vteninn November 28 2014, 01:53:40 UTC
Большое спасибо, учту.

Раз в предисловии -- это важно.
У Вас случайно нет ссылки на скан, почитать?

Получается, вроде, пример цензурирования со стороны А.Н.?

Reply

__gastrit November 28 2014, 08:27:49 UTC
Да вот, например, стр.11.

> Эвристика в том, что думать нужно НАЧИНАТЬ не с f(x), а с

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

С уважением,
Гастрит

Reply

vteninn November 28 2014, 11:04:33 UTC
Не то чтобы множеств не было в теории вероятностей изначально -- просто обобщение с конечных множеств на континуальный случай допускает варианты -- и наивное обобщение не самое удачное.

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

Reply

__gastrit November 28 2014, 11:36:35 UTC
Вообще-то надо не "обобщать", а просто изучать то, что есть, не притягивая за уши посторонних аналогий. А в теории вероятностей есть одно - события, их комбинации и их нормировки. Что в конечном случае элементы алгебры событий допускают представление в виде объединения элементарных - полнейшая случайность (каковая, причём, в некоммутативной ситуации даже и тут развалится).

> и наивное обобщение

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

> Опять же, удобство точки зрения может зависеть от задач

Вот именно!

С уважением,
Гастрит

Reply

vteninn November 28 2014, 19:01:31 UTC
Считаю, дискуссия полезная.
Постараюсь не забыть.
Спасибо ещё раз.

Reply

vteninn November 28 2014, 11:10:35 UTC
Проскочил было первую ссылку.

Большое спасибо!

Для неподготовленного абзац звучит вполне невинно.

Как мне повезло, что сначала "нарвался" на Анализ Шварца, а не на Колмогорова-Фомина :)

Reply


Leave a comment

Up