Записки Летучего/Летающего Медведя

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