### mathematics
- [Эти пугающие производные, градиенты, матрицы Якоби и Гессе](https://habr.com/ru/companies/ruvds/articles/938950/)
- [Царский путь к пониманию комплексных чисел. Часть I](https://habr.com/ru/articles/981234/)
### Turing
- [[AI ⊂ TM] Машина Тьюринга и искусственный интеллект](https://habr.com/ru/articles/982124/)
- [Машина, которая никогда не останавливается: как одно предложение поставило предел человеческому познанию](https://habr.com/ru/articles/981908/)
### programm
- [Регулярная катастрофа и как её избежать. Подход к регулярным выражениям](https://habr.com/ru/companies/sberdevices/articles/954296/)
### также
- [BPM/workflow/math](https://github.com/bpmbpm/doc/tree/main/BPM/workflow/math)
- [Математика креативности](https://habr.com/ru/articles/946764/)
- Теория связей https://github.com/bpmbpm/doc/tree/main/METAMODEL/LINK
- https://github.com/bpmbpm/doc/tree/main/METAMODEL
### Теория всего
- [Теория всего или С(Х,Y) Парадигма](https://habr.com/ru/articles/973460/)
- [Единая теория информации: от стохастической метрики к непрерывному пространству и эффективной гравитации](https://habr.com/ru/articles/971362/) ; [Единый Принцип Организации (ЕПО)](https://github.com/Jobsbka/UPO)
### formalism
#### Isabelle
- [wiki](https://ru.wikipedia.org/wiki/Isabelle#:~:text=Isabelle%20%E2%80%94%20%D0%B8%D0%BD%D1%82%D0%B5%D1%80%D0%B0%D0%BA%D1%82%D0%B8%D0%B2%D0%BD%D1%8B%D0%B9%20%D0%B8%D0%BD%D1%81%D1%82%D1%80%D1%83%D0%BC%D0%B5%D0%BD%D1%82%20%D0%B4%D0%BB%D1%8F%20%D0%B0%D0%B2%D1%82%D0%BE%D0%BC%D0%B0%D1%82%D0%B8%D1%87%D0%B5%D1%81%D0%BA%D0%BE%D0%B3%D0%BE,%D0%BD%D0%B0%D0%BF%D0%B8%D1%81%D0%B0%D0%BD%20%D0%BD%D0%B0%20%D1%8F%D0%B7%D1%8B%D0%BA%D0%B5%20Standard%20ML.) серьёзные разработки в области теории множеств проводились с использованием Isabelle/ZF.
- [reddit](https://www.reddit.com/r/math/comments/10z1uah/learning_mathematics_with_a_formal_proof_assistant/?tl=ru) "Математика в Lean" имеет схожую цель с твоей: https://github.com/leanprover-community/mathematics_in_lean.  
Я думаю, что темы компьютерных наук (такие как семантика языков программирования, см. книгу "Concrete Semantics") лучше подходят для введения,
#### Функциональный анализ
- [wiki](https://ru.wikipedia.org/wiki/%D0%A4%D1%83%D0%BD%D0%BA%D1%86%D0%B8%D0%BE%D0%BD%D0%B0%D0%BB%D1%8C%D0%BD%D1%8B%D0%B9_%D0%B0%D0%BD%D0%B0%D0%BB%D0%B8%D0%B7)
- [ifmo](https://neerc.ifmo.ru/wiki/index.php?title=%D0%A4%D1%83%D0%BD%D0%BA%D1%86%D0%B8%D0%BE%D0%BD%D0%B0%D0%BB%D1%8C%D0%BD%D1%8B%D0%B9_%D0%B0%D0%BD%D0%B0%D0%BB%D0%B8%D0%B7)
- [studfile](https://studfile.net/preview/9996436/page:5/) Функциональный анализ – это разновидность анализа, предполагающая рассмотрение объекта как комплекса выполняемых им функций, а не как материально-вещественных структур. Например, электрическая лампа накаливания рассматривается как носитель функции "излучать свет", а не только как совокупность конструктивных элементов (колба, цоколь, нить накаливания и др.).
- [math.hse.ru](https://math.hse.ru/data/2011/09/05/1267101190/fa_lec_01.pdf) А. Ю. Пирковский, pdf
#### ZF
- [wiki](https://ru.wikipedia.org/wiki/%D0%A1%D0%B8%D1%81%D1%82%D0%B5%D0%BC%D0%B0_%D0%A6%D0%B5%D1%80%D0%BC%D0%B5%D0%BB%D0%BE_%E2%80%94_%D0%A4%D1%80%D0%B5%D0%BD%D0%BA%D0%B5%D0%BB%D1%8F) ZFC, англ. Zermelo—Fraenkel set theory with the axiom of Choice
#### MTC
- МТС это последовательность связей, всё есть связь, связи играют роли всё остальное, сорта, операции, предикаты есть роли связей https://t.me/rusontology/12682

### formalism list
- https://www.reddit.com/r/math/wiki/everythingaboutx/
- https://t.me/rusontology/12663 у меня в голове длинного списка нет. из технологий сем-веба вспоминается SHACL, формальные языки OMG это отдельная песня вокруг DOL, ну а как написали Coq-цы, которые теперь Rocq-цы пруф-ассистенты все здесь https://proofassistants.stackexchange.com/tags 
### Обзоры
- [Сверхтьюринговые вычисления и гиперкомпьютеры. Тезис Чёрча-Тьюринга как универсальный предел познания](https://habr.com/ru/articles/961020/)

### link
- https://t.me/rusontology/12644 Таким образом, МТС — это «онтология», а TL — «логика + вычисления».
- https://tensor-logic.org/
- https://github.com/deep-foundation/deep-theory
- [Теория групп для всех: пульт для управления реальностью прямо из палаты](https://habr.com/ru/articles/979748/)
- теория множеств, 

### matrix
- [Транспонированная матрица](https://ru.wikipedia.org/wiki/%D0%A2%D1%80%D0%B0%D0%BD%D1%81%D0%BF%D0%BE%D0%BD%D0%B8%D1%80%D0%BE%D0%B2%D0%B0%D0%BD%D0%BD%D0%B0%D1%8F_%D0%BC%D0%B0%D1%82%D1%80%D0%B8%D1%86%D0%B0)
- [Почему мы трансформируем трёхмерные векторы матрицами 4х4?](https://habr.com/ru/articles/540632/) функция вида y=ax+b линейная, а вот преобразование, как пишет автор, свойством линейности действительно не обладает (образ суммы не равен сумме образов).   
из электротехники. Там нелинейные цепи — порождающие новые гармоники. А линейные — нет. Так что тут использование термина «нелинейное» — весьма и весьма спорно. И система уравнений вида ax+by+cz=d… не зря называется системой линейных уравнений. Вот проективная геометрия(я ей занимался) — нелинейна, несмотря на то что прямые переходят в прямые (или точки) и наоборот. Ну так там есть нелинейная нормализация на последний член.