Мне очень нравится вступительная лекция Bartosz Milewski по теории категорий, в которой он замечает, что морфизмы имеют форму стрелочек потому, что иначе дикий зверь на охоте мог бы легко избавиться от попавшего в него морфизма. Иными словами, математическая терминология не могла появиться откуда-либо, кроме понятийного аппарата выживания охотников-собирателей, или ещё более глубокого.
Теория множеств, из которой с неизбежностью следует почти вся современная математика, вся построена на одной идее: принадлежности. Я думаю, можно приравнять эту идею к идее границы, а она истекает из возможности промахнуться, метая в мамонта морфизмы — наличие у мамонта границы и определяет возможность промаха и смерти неудачливого (если не сказать просто плохого) первобытного математика от голода.
Теория множеств, из которой с неизбежностью следует почти вся современная математика, вся построена на одной идее: принадлежности. Я думаю, можно приравнять эту идею к идее границы, а она истекает из возможности промахнуться, метая в мамонта морфизмы — наличие у мамонта границы и определяет возможность промаха и смерти неудачливого (если не сказать просто плохого) первобытного математика от голода.
I really like Bartosz Milewski's introductory lecture on category theory, in which he notes that morphisms are in the form of arrows because otherwise a wild beast on the hunt could easily get rid of the morphism that got into it. In other words, mathematical terminology could not have come from anywhere other than the conceptual apparatus of survival of hunter-gatherers, or even deeper.
Set theory, from which almost all modern mathematics inevitably follows, is all based on one idea: belonging. I think you can equate this idea with the idea of a border, and it expires from the possibility of overshooting, throwing morphisms into a mammoth - the mammoth has a border and determines the possibility of a miss and the death of an unsuccessful (if not just bad) primitive mathematician from hunger.
Set theory, from which almost all modern mathematics inevitably follows, is all based on one idea: belonging. I think you can equate this idea with the idea of a border, and it expires from the possibility of overshooting, throwing morphisms into a mammoth - the mammoth has a border and determines the possibility of a miss and the death of an unsuccessful (if not just bad) primitive mathematician from hunger.
У записи 4 лайков,
0 репостов,
388 просмотров.
0 репостов,
388 просмотров.
Эту запись оставил(а) на своей стене Key-G B-Tee
