Теоретическая математика - это очень сильная абстракция, а реальная дискретная или численная математика вполне конкретна. Они довольно сильно отличаются, на столько, что можно сказать, что это разные математики. Когда-то проф.А.И.Орлов и я написали об этом книгу:
Орлов А.И., Луценко Е.В.
Системная нечеткая интервальная математика. Монография (научное издание). – Краснодар, КубГАУ. 2014. – 600 с. ISBN 978-5-94672-757-0,
http://lc.kubagro.ru/aidos/aidos14_OL/index.htm,
http://lc.kubagro.ru/aidos/aidos14_OL/Monografy_OL.rarhttp://lc.kubagro.ru/aidos/aidos14_OL/O ... A3-max.jpgВ монографии, состоящей из двух взаимосвязанных частей, рассматриваются перспективы и некоторые «точки роста» современной теоретической и вычислительной математики.
В 1-й части освещаются следующие вопросы: числа и множества - основа современной математики; математические, прагматические и компьютерные числа; от обычных множеств - к нечетким; теория нечетких множеств и «нечеткое удвоение» математики; о сведении теории нечетких множеств к теории случайных множеств; интервальные числа как частный случай нечетких множеств; развитие интервальной математики (интервальное удвоение математики).
2-я часть посвящена вопросам системного обобщения математики: система как обобщение множества; системное обобщение математики и задачи, возникающие при этом; системное обобщение операций над множествами (на примере операции объединения булеанов); системное обобщение понятия функции и функциональной зависимости; когнитивные функции; матрицы знаний как нечеткое с расчетной степенью истинности отображение системы аргументов на систему значений функции; модификация метода наименьших квадратов при аппроксимации когнитивных функций; развитие идеи системного обобщения математики в области теории информации - системная (эмерджентная) теория информации; информационные меры уровня системности - коэффициенты эмерджентности; прямые и обратные, непосредственные и опосредованные правдоподобные логические рассуждения с расчетной степенью истинности; интеллектуальная система Эйдос-Х++ как инструментарий, реализующий идеи системного нечеткого интервального обобщения математики.
Некоторые мысли, излагаемые в монографии, носят спорный и дискуссионный характер и высказаны в порядке научного обсуждения.