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