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

Jack Dilindjer, может, вы знаете что-нибудь касательно моего вопроса о переводе начала цепочки "карта и территория"? А то, откровенно говоря, лень регится на ещё на одном сайте.