Только что завершился семинар по математическим основам КТП в Стоуни-Бруке и я хотел бы остановиться на лекции Артура Джаффи (Arthur Jaffe), известного математического физика, о конструктивной КТП. Он напоминает, что в физике раньше удавалось выделить некий круг явлений, для которого писались уравнения и получались решения (isolate, explain). Это были Ньютоновская механика с ее дифференциальным и интегральным исчислениями, электродинамика Максвелла с волнами, статистическая физика Гиббса-Больцмана с вероятностями, теория относительности с симметриями и геометриями, и квантовая механика с Гильбертовым пространством и задачей на собственные функции и собственные значения. Было все так зашибись, что сам великий Гильберт в 1900 году даже предложил аксиоматизироватъ физику или математические основы физики. Лектор сообщает, что и его учитель Вайтман, и великий Эйнштейн подчеркивали важность математики для физики. Ну и конечно, КТП тоже требует строгого математического обоснования.