标签档案：范畴理论

范畴理论的先驱•6

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

Hilbert和Ackermann•数学逻辑原理（1928年）对于我们迄今为止所依据的谓词演算的直观解释，句子和谓词必须与作为…继续阅读→

发布于 抽象，阿克曼，亚里士多德，C.S.皮尔斯，卡纳普，范畴理论，希尔伯特，康德，逻辑，亲属逻辑，数学，皮尔斯，皮尔士的分类，关系理论，莱恩，签署关系，类型理论 | 已标记 ，，，，，，，，，，，，，，，， | 1条评论

范畴理论的前身•5

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

演示需要有限的步骤。G.斯宾塞·布朗•形式法则大卫·希尔伯特•《论无限》（1925）最后，让我们回顾一下我们真正的主题，就无限而言，画出…继续阅读→

发布于 抽象，阿克曼，亚里士多德，C.S.皮尔斯，卡纳普，范畴理论，希尔伯特，康德，逻辑，亲属逻辑，数学，皮尔斯，皮尔士的分类，关系理论，莱恩，签署关系，类型理论 | 已标记 ，，，，，，，，，，，，，，，， | 1条评论

范畴理论前身•4

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

C.S.皮尔士•《为语用学道歉的序言》（1906年），我现在将对你所称的范畴说几句话，但我更喜欢用“困境”这个名称，你把它解释为谓词的谓词…继续阅读→

发布于 抽象，阿克曼，亚里士多德，C.S.皮尔斯，卡纳普，范畴理论，希尔伯特，康德，逻辑，亲属逻辑，数学，皮尔斯，皮尔士的分类，关系理论，莱恩，签署关系，类型理论 | 已标记 ，，，，，，，，，，，，，，，， | 1条评论

范畴理论的先驱•3

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

只有按照这一格言行事，你才能同时将其视为普遍规律。伊曼纽尔·康德（1785）C.S.皮尔士•《新类别列表》（1867）§1.本文基于…继续阅读→

发布于 抽象，阿克曼，亚里士多德，C.S.皮尔斯，卡纳普，范畴理论，希尔伯特，康德，逻辑，亲属逻辑，数学，皮尔斯，皮尔士的分类，关系理论，莱恩，签署关系，类型理论 | 已标记 ，，，，，，，，，，，，，，，， | 1条评论

范畴理论的前身•2

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

多亏了艺术，我们看到的不是一个世界，而是我们自己的世界，而是这个世界在不断繁衍，我们拥有的世界和原创艺术家一样多……马塞尔·普鲁斯特（Marcel Proust）…继续阅读→

发布于 抽象，阿克曼，亚里士多德，C.S.皮尔斯，卡纳普，范畴理论，希尔伯特，康德，逻辑，亲属逻辑，数学，皮尔斯，皮尔士的分类，关系理论，莱恩，签署关系，类型理论 | 已标记 ，，，，，，，，，，，，，，，， | 2评论

范畴理论的前身•1

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

几年前，我开始写一篇关于“范畴理论的先驱”的素描，追溯范畴概念从亚里士多德到康德和皮尔斯，再到希尔伯特和阿克曼，再到当代数学实践的连续性。我关于这个项目的笔记…继续阅读→

发布于 抽象，阿克曼，亚里士多德，C.S.皮尔斯，卡纳普，范畴理论，希尔伯特，康德，逻辑，亲属逻辑，数学，皮尔斯，皮尔士的分类，关系理论，莱恩，签署关系，类型理论 | 已标记 ，，，，，，，，，，，，，，，， | 1条评论

范畴理论先驱综述•5

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

几年前，我开始写一篇关于“范畴理论的先驱”的素描，追溯范畴概念从亚里士多德到康德和皮尔斯，再到希尔伯特和阿克曼，再到当代数学实践的连续性。关于…的资源调查…继续阅读→

发布于 抽象，阿克曼，类比，亚里士多德，C.S.皮尔斯，卡纳普，范畴理论，图表，数学基础，功能逻辑，希尔伯特，数学史，实体抽象，康德，逻辑，数学，皮尔斯，命题作为类型类比，关系理论，莱恩，符号学，类型理论，通用 | 已标记 ，，，，，，，，，，，，，，，，，，，，，， | 6评论

关系理论综述•8

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

在当前的关系理论博客和维基资源调查中，关系是从组合学的角度来看待的，换句话说，作为离散数学的一个主题，特别关注有限结构和具体的集合论结构，许多…继续阅读→

发布于 代数，逻辑代数，C.S.皮尔斯，范畴理论，组合数学，离散数学，二元性，二元关系，数学基础，图论，逻辑，亲属逻辑，数学，皮尔斯，关系理论，符号学，集合理论，符号关系流形，签署关系，调查，三位一体关系，审判，类型理论 | 已标记 ，，，，，，，，，，，，，，，，，，，，，， | 留下评论

微分逻辑综述•7

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

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

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

微分命题演算•讨论9

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

考虑一下你认为你的概念对象可能产生的实际影响。那么，你对这些效果的概念就是你对物体的整体概念C.S.皮尔士•…格言…继续阅读→

发布于 安切克，布尔函数，C.S.皮尔斯，仙人掌图形，范畴理论，更改，计算复杂性，控制论，微分分析图灵自动机，微分学，微分逻辑，离散动力学，动力系统，赤道推断，功能逻辑，梯度下降，图论，群论，全息发光体，指示器功能，逻辑，逻辑图，数学模型，数学，最小否定算子，彩绘仙人掌，皮尔斯，命题微积分，命题方程推理系统，时间，可视化 | 已标记 ，，，，，，，，，，，，，，，，，，，，，，，，，，，，，， | 2评论