doc/math

mathematics

• Эти пугающие производные, градиенты, матрицы Якоби и Гессе
• Царский путь к пониманию комплексных чисел. Часть I

Turing

• [AI ⊂ TM] Машина Тьюринга и искусственный интеллект
• Машина, которая никогда не останавливается: как одно предложение поставило предел человеческому познанию

programm

• Регулярная катастрофа и как её избежать. Подход к регулярным выражениям

также

• BPM/workflow/math
• Математика креативности
• Теория связей https://github.com/bpmbpm/doc/tree/main/METAMODEL/LINK
• https://github.com/bpmbpm/doc/tree/main/METAMODEL

Теория всего

• Теория всего или С(Х,Y) Парадигма
• Единая теория информации: от стохастической метрики к непрерывному пространству и эффективной гравитации ; Единый Принцип Организации (ЕПО)

formalism

Isabelle

• wiki серьёзные разработки в области теории множеств проводились с использованием Isabelle/ZF.
• reddit "Математика в Lean" имеет схожую цель с твоей: https://github.com/leanprover-community/mathematics_in_lean.
  Я думаю, что темы компьютерных наук (такие как семантика языков программирования, см. книгу "Concrete Semantics") лучше подходят для введения,

Функциональный анализ

• wiki
• ifmo
• studfile Функциональный анализ – это разновидность анализа, предполагающая рассмотрение объекта как комплекса выполняемых им функций, а не как материально-вещественных структур. Например, электрическая лампа накаливания рассматривается как носитель функции "излучать свет", а не только как совокупность конструктивных элементов (колба, цоколь, нить накаливания и др.).
• math.hse.ru А. Ю. Пирковский, pdf

ZF

• wiki 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

Обзоры

• Сверхтьюринговые вычисления и гиперкомпьютеры. Тезис Чёрча-Тьюринга как универсальный предел познания

link

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

matrix

• Транспонированная матрица
• Почему мы трансформируем трёхмерные векторы матрицами 4х4? функция вида y=ax+b линейная, а вот преобразование, как пишет автор, свойством линейности действительно не обладает (образ суммы не равен сумме образов).
  из электротехники. Там нелинейные цепи — порождающие новые гармоники. А линейные — нет. Так что тут использование термина «нелинейное» — весьма и весьма спорно. И система уравнений вида ax+by+cz=d… не зря называется системой линейных уравнений. Вот проективная геометрия(я ей занимался) — нелинейна, несмотря на то что прямые переходят в прямые (или точки) и наоборот. Ну так там есть нелинейная нормализация на последний член.

term

• Имитация, симуляция или эмуляция
• дескриптивная теория множеств Бесконечность, графы и Wi-Fi: неожиданный мост между теорией множеств и информатикой
• tensor от tensus, «напряжённый» wiki ; Магия тензорной алгебры: Часть 1 — что такое тензор и для чего он нужен? ; reddit

2

• Категории типов. Часть 7. Исчисление концов