我前几天写了一篇 《我决定 发展推广 一个 物理学 学派 “逻辑物理学”》 https://www.cnblogs.com/KSongKing/p/11413349.html ，
之所以 会 产生 逻辑数学 这个 想法， 是 看了 反相吧 冥河乘船人 的 一个 帖 《搞数学也是不能钻牛角尖的，否则微积分不成立》 ，
见 《收录 搞数学也是不能钻牛角尖的，否则微积分不成立》 https://www.cnblogs.com/KSongKing/p/11531171.html 。
逻辑数学 以 直观 和 逻辑思辨 为 基础， 演算 为 方法， 注重 需求分析 和 建立模型， 以 解决 实际问题 为 导向 。
逻辑数学 注重 演绎 和 计算机辅助 ， 演绎 就是 有 “执行步骤” ， 或者说 程序， 或者说 逻辑 。
一般来说， 纯数学 方法 是指 纯 代数式 推导 计算， 演绎 则 可以 用 一些 步骤 把 多个 代数式 组合起来 。
总的来说， 微积分 擅长 解决 的 问题 是 因变量 之间（也 包括 因变量 自己 和 自己） 没有 函数关系， 或者说 这个 函数关系 可以用 初等数学 表达式 描述 的 常用函数 的 微分 和 积分 。
所谓 常用函数 就是 常用函数， 哈哈哈， 我举个 “不常用函数” 的例， 比如 随便 写一个 高次多项式 方程， 高次多项式方程 不好求解， 作为 函数， 也 不容易 求微分 ， 简单的说 就是 代数式 难以变换 。
又或者， dy / dx = 高次多项式 ， 这样一个 微分方程， 解这个 微分方程， 也就是 对 这个 微分表达式 求 积分， 这个 积分 也不好求 ， 原因 和 上面 一样， 代数式 难以变换 。
所以， 这些 “奇形怪状” 的 代数式 （通常 是 高次多项式） 表示 的 函数， 求 导数（微分） 不好求， 求 原函数（积分） 也 不好求 。
这些 就是 “不常用函数” 。