类别档案：莱布尼兹

微分逻辑综述•7

发布时间： 2024年2月25日 通过 乔恩·奥布里

这是对微分逻辑方面正在进行的工作的综述，目前正在开发更系统的资源。微分逻辑是逻辑的组成部分，其对象是对变化的描述——变化、差异、分布等方面…继续阅读→

发布于 安切克，阿尼马塔，布尔代数，布尔函数，C.S.皮尔斯，仙人掌图形，范畴理论，更改，控制论，微分分析图灵自动机，微分学，微分逻辑，离散动力学，赤道推断，弗兰克尔猜想，功能逻辑，梯度下降，图论，全息发光体，指示器功能，查询驱动系统，莱布尼兹，逻辑，逻辑图，数学，最小否定算子，彩绘仙人掌，皮尔斯，命题微积分，调查，时间，拓扑结构，可视化，零阶逻辑 | 已标记 ，，，，，，，，，，，，，，，，，，，，，，，，，，，，，，，，， | 1条评论

微分逻辑综述•6

发布时间： 2023年11月10日 通过 乔恩·奥布里

这是对微分逻辑方面正在进行的工作的综述，目前正在开发更系统的资源。微分逻辑是逻辑的组成部分，其对象是对变化的描述——变化、差异、分布等方面…继续阅读→

发布于 安切克，阿尼马塔，布尔代数，布尔函数，C.S.皮尔斯，仙人掌图形，范畴理论，更改，控制论，微分分析图灵自动机，微分学，微分逻辑，离散动力学，赤道推断，弗兰克尔猜想，功能逻辑，梯度下降，图论，全息发光体，指示器功能，查询驱动系统，莱布尼兹，逻辑，逻辑图，数学，最小否定算子，彩绘仙人掌，皮尔斯，命题微积分，调查，时间，拓扑结构，可视化，零阶逻辑 | 已标记 ，，，，，，，，，，，，，，，，，，，，，，，，，，，，，，，，， | 留下评论

Praeclarum定理•3

发布时间： 2023年10月15日 通过 乔恩·奥布里

主题：Praeclarum Theorema•（1）•（2）证明步骤在以下动画中重放。参考Leibniz，Gottfried W.（1679–1686？），“通用微积分样本附录”，G.H.R.Parkinson（ed.，trans.，1966）第40-46页，Leibniz…继续阅读→

发布于 阿尼马塔，C.S.皮尔斯，仙人掌图形，演绎，赤道推断，形式，形式法则，莱布尼兹，逻辑，逻辑图，数学，模型理论，彩绘仙人掌，Praeclarum定理，证明理论，命题微积分，命题方程推理系统，关系理论，符号学，斯宾塞·布朗，可视化 | 已标记 ，，，，，，，，，，，，，，，，，，，， | 3评论

Praeclarum定理•2

发布时间： 2023年10月14日 通过 乔恩·奥布里

关于：普拉卡鲁姆定理•1这里有一个很好的定理证明-参考莱布尼茨，戈特弗里德·W（1679–1686？），“通用微积分样本补遗”，G.H.R.帕金森（1966年编辑、翻译），莱布尼兹：逻辑论文，第40–46页…继续阅读→

发布于 阿尼马塔，C.S.皮尔斯，仙人掌图形，演绎，赤道推断，形式，形式法则，莱布尼兹，逻辑，逻辑图，数学，模型理论，彩绘仙人掌，Praeclarum定理，证明理论，命题微积分，命题方程推理系统，关系理论，符号学，斯宾塞·布朗，可视化 | 已标记 ，，，，，，，，，，，，，，，，，，，， | 4评论

Praeclarum定理•1

发布时间： 2023年10月13日 通过 乔恩·奥布里

praelarum定理，或称辉煌定理，是一个命题演算定理，由G.W.莱布尼茨提出并命名，莱布尼兹用以下方式陈述并证明了它。如果a是b，d是c，那么ad就是bc。这个…继续阅读→

发布于 阿尼马塔，C.S.皮尔斯，仙人掌图形，演绎，赤道推断，形式，形式法则，莱布尼兹，逻辑，逻辑图，数学，模型理论，彩绘仙人掌，Praeclarum定理，证明理论，命题微积分，命题方程推理系统，关系理论，符号学，斯宾塞·布朗，可视化 | 已标记 ，，，，，，，，，，，，，，，，，，，， | 5条评论

Praeclarum定理

发布时间： 2023年10月5日 通过 乔恩·奥布里

引言：praeclarum定理，或称壮丽定理，是一个命题演算定理，由G.W.莱布尼茨（G.W.Leibniz）提出并命名，莱布尼兹用以下方式陈述并证明了它。如果a是b，d是c，那么ad将是bc…继续阅读→

发布于 阿尼马塔，C.S.皮尔斯，仙人掌图形，演绎，赤道推断，形式，形式法则，莱布尼兹，逻辑，逻辑图，数学，模型理论，彩绘仙人掌，Praeclarum定理，证明理论，命题微积分，命题方程推理系统，关系理论，符号学，斯宾塞·布朗，可视化 | 已标记 ，，，，，，，，，，，，，，，，，，，， | 5条评论

微分逻辑•变化与差异的逻辑

发布时间： 2023年8月22日 通过 乔恩·奥布里

微分逻辑是变化的逻辑——变化和差异的逻辑。微分逻辑是逻辑的组成部分，其目标是描述宇宙中的变化——变化、差异、分布和多样性等方面…继续阅读→

发布于 阿尼马塔，布尔差分微积分，布尔函数，C.S.皮尔斯，微分逻辑，微分命题，离散动力系统，莱布尼兹，逻辑，逻辑图，最小否定算子，可视化 | 已标记 ，，，，，，，，，，， | 3评论

微分逻辑概述•5

发布时间： 2023年4月25日 通过 乔恩·奥布里

这是对微分逻辑方面正在进行的工作的综述，目前正在开发更系统的资源。微分逻辑是逻辑的组成部分，其对象是对变化的描述——变化、差异、分布等方面…继续阅读→

发布于 安切克，阿尼马塔，布尔代数，布尔函数，C.S.皮尔斯，仙人掌图形，范畴理论，更改，控制论，微分分析图灵自动机，微分学，微分逻辑，离散动力学，赤道推断，弗兰克尔猜想，功能逻辑，梯度下降，图论，全息发光体，指示器功能，查询驱动系统，莱布尼兹，逻辑，逻辑图，数学，最小否定算子，彩绘仙人掌，皮尔斯，命题微积分，调查，时间，拓扑结构，可视化，零阶逻辑 | 已标记 ，，，，，，，，，，，，，，，，，，，，，，，，，，，，，，，，， | 留下评论

微分逻辑综述•4

发布时间： 2022年11月20日 通过 乔恩·奥布里

这是一篇关于Differential Logic的博客和维基帖子的调查，我计划开发一种更紧凑、更系统的材料。元素微分命题演算第1部分•第2部分•附录•参考微分逻辑•…继续阅读→

发布于 安切克，阿尼马塔，布尔代数，布尔函数，C.S.皮尔斯，仙人掌图形，范畴理论，更改，控制论，微分分析图灵自动机，微分学，微分逻辑，离散动力学，赤道推断，弗兰克尔猜想，功能逻辑，梯度下降，图论，全息发光体，指示器功能，查询驱动系统，莱布尼兹，逻辑，逻辑图，数学，最小否定算子，彩绘仙人掌，皮尔斯，命题微积分，调查，时间，拓扑结构，可视化，零阶逻辑 | 已标记 ，，，，，，，，，，，，，，，，，，，，，，，，，，，，，，，，， | 留下评论

微分逻辑•讨论16

发布时间： 2022年5月11日 通过 乔恩·奥布里

回复：微分逻辑调查•3回复：形式定律•莱尔·安德森洛杉矶：谢谢你发布这篇文章。特别是微分逻辑和动态系统。这似乎是连接形式和张量的一部分。嗨…继续阅读→

发布于 安切克，阿尼马塔，布尔代数，布尔函数，C.S.皮尔斯，仙人掌图形，范畴理论，更改，控制论，微分分析图灵自动机，微分学，微分逻辑，离散动力学，赤道推断，弗兰克尔猜想，功能逻辑，梯度下降，图论，全息发光体，指示器功能，查询驱动系统，莱布尼兹，逻辑，逻辑图，数学，最小否定算子，彩绘仙人掌，皮尔斯，命题微积分，调查，时间，拓扑结构，可视化，零阶逻辑 | 已标记 ，，，，，，，，，，，，，，，，，，，，，，，，，，，，，，，，， | 5条评论