Настроение:	tired
Музыка:	Allerseelen - STURMLIEDER

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

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

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

Аналогом этого в физике является эксперимент.
Впрочем, в последние 20 лет физика экспериментальных
данных не получает, ибо после конца Холодной Войны
науку было решено расформировать и самый большой
ускоритель закопали и замуровали бетоном. Это
страшно дезориентирует физиков, которые (особенно
продвинутые, то есть струнные и квантово
гравитационные) лишились самого главного.

Те из физиков, которые поумнее, используют математику
в качестве экспериментальной физики - раньше они
предсказывали поведение частиц, а сейчас они делают
предсказания о структуре математических объектов.
А потом математики эти предсказания с удовольствием
проверяют. В сущности математика превратилась в
департмент экспериментальной физики при струнных
физиках.

Математикам такое положение нравится
просто сил нет, правда-правда.

(Это я готовлюсь к завтрашнему докладу;
анонсированному следующим образом -

Hypercomplex manifolds are manifolds with a triple
of complex structure operators I, J, K, satisfying
quaternionic relations IJ = - JI = K. Hypercomplex
manifolds appear frequently in string physics and
supergravity, as moduli of 5-dimensional massive
black holes and as target spaces for supersymmetric
sigma models. Algebraic geometry of hypercomplex
manifolds is not particularly well understood,
because most examples are not algebraic or
even Kaehler.

Using HKT-metrics, we show that any hypercomplex
manifold admitting a Kaehler metric on (M, I)
(not necessarily compatible in any way
with J and K) is in fact hyperkaehler.

О да.

Привет