January 13th, 2019

смутные мысли о типах

а не типизировать ли нам типы? ))
типизирование типов с точностью до изоморфизмов/гомоморфизмов
типа типизируем типы примерно
есть данные и есть операции, на операции можно смотреть как на данные
данные бывают какихто типов
операции бывают какихто типов
т.е. бывают типы данных и типы операций
значит бывают и типы типов
надо подумать и формализовать это
Collapse )

Библиотеки, содержащие физико-математическую литературу

ПУБЛИЧНАЯ БИБЛИОТЕКА
(Электронные книжные полки Вадима Ершова и К°)
http://publ.lib.ru/publib.html

https://www.twirpx.org/
https://www.twirpx.com/


Учебно-образовательная физико-математическая библиотека

http://eqworld.ipmnet.ru/ru/library.htm

Библиотеки, содержащие физико-математическую литературу

Collapse )

ПУБЛИЧНАЯ БИБЛИОТЕКА
(Электронные книжные полки Вадима Ершова и К°)
http://publ.lib.ru/publib.html

арифметизация реальности

чтобы чтото измерять, вычислять требуется "арифметизация", это условное название оцифровки, кторое тоже условное название, а по сути нам надо какимто объектам и процессам окружающей действительности сопоставить числа
в книге (Фридман А.А. Мир как пространство и время) достаточно просто и подробно расписано как это делать
а так существует целая наука Метрология, там все несложно и просто, но куча технических подробностей нам не нужных для того, чтобы понять принцип
физики же обычно это все опускают как очевидное
в школе особо этому процессу к сожалению не уделяется внимание, а это одна из универсальнейших вещей, поэтому я не могу не сказать пару слов
Collapse )