doc/math

mathematics

• Эти пугающие производные, градиенты, матрицы Якоби и Гессе

programm

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

также

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

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

formalism list

• https://www.reddit.com/r/math/wiki/everythingaboutx/

Обзоры

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