Типы, функции, переменные. Теория категорий.
https://deep-econom.livejournal.com/521293.html
1. математика эффективна по причине того, что люди ее сделали таковой, а иначе бы она не была нужна людям
2. т.е. математика индуцирована окружающей реальностью
3. далее математика ушла далеко от реальности, аналогия как многократные искаженные отражения в зеркале или сделали фото пейзажа и потом многократно преобразовывали в компе изображение, в этом случае невозможно понять осталось ли вобще хоть чтото от реальности
4. исторически математика это такая башня отражений в фундаменте которого лежит реальность, но поскольку башня поднялась высоко, то не видно исторического фундамента
5. математика ложится на физиологию по причине того, что любое живое существо это моделирующее устройство
6. чтобы жить надо моделировать, поэтому эволюция живого это эволюция алгоритмов моделирования, на начальных этапах эволюции эти алгоритмы моделирования были вшиты в мясо
7. в любое мясо и в саму структуру мяса вшита куча алгоритмов моделирования, само структурное устройство любого алгоритма определяет группу алгоритмов моделирования
8. со временем с развитием математики (суть методов моделирования) люди поняли, что такое моделирование, а именно развили теорию формальных языков, теорию автоматов, теорию алгоритмов, теорию вычислений, и венцом стала (я так считаю) идея метаматематики (второе офиц.название теория моделей)
9. фундаментальной вещью является моделирование, это чисто мое открытие, думаю, тут я первый сложил пазл всей этой картины и поднял на флаг лозунг "модели наше всё"
10. в связи с вышеизложенным совсем не удивительно, что моделирование хорошо ложится на все живые организмы, также моделирование есть суть математики
вот и вся глубинная причина "нейрофизиологического основания математических способностей"
(ну и не забываем, что любая цепочка причинно-следственных связей это суть вычисление, а вычисление суть моделирование)
11. я не знаю конкретных деталей реализации природой механизмов биофизических подробностей, но а функциональном уровне это так, и данный функционал может реализовываться очень многими конкретными биохимическими способами и структурами точно также как универсальный вычислитель может иметь очень разное физическое устройство такие как машина Тьюринга, машина Поста, лямбда-исчисление и т.п. и т.д.
конкретная реализация неважна, важна функция
а главная функция это моделирование