December 25th, 2019

(no subject)

Категория: суть композиции
Стрелки как функции
Свойства композиции
Композиция — суть программирования
https://henrychern.wordpress.com/2017/08/07/типы-и-функции/

Кому нужны типы
Типы нужны для компонуемости
Что такое типы?
Зачем нам математическая модель?
Чистые и грязные функции
Примеры типов
https://henrychern.wordpress.com/2017/08/07/типы-и-функции/

https://henrychern.wordpress.com/
Теория категорий для программистов (перевод глав книги Б. Милевски)

https://bartoszmilewski.com/

нейрофизиологические основания математических способностей

каковы нейрофизиологические основания математических способностей?
ответ: моделирование

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

ограниченность познания и прочие вопросы искусственного интеллекта

ограниченность познания и прочие вопросы искусственного интеллекта в интерпретации от ника "phenik"
я со многим не согласен, но текст интересный

я выделил наиболее значимые места с моей точки зрения
--------------------
коммент юзера "phenik" 15 октября 2019 в 18:34
https://habr.com/post/471324/#comment_20759022

из темы: Мечтают ли нейросети о Джоконде?
https://habr.com/ru/post/471324/

Присоединяюсь к аргументам Nehc, и добавлю свои. Это упрощенное понимание научного поиска и их результата — научных теорий. В еще большей степени это относится к искусству, как еще менее формализованной области.

Получилось несколько пространно...

Collapse )