标签档案：数学基础

范畴理论先驱综述•5

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

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

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

关系理论综述•8

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

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

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

范畴理论先驱综述•4

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

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

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

关系理论综述•7

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

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

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

数学证明与个人主义

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

从C.S.皮尔士的《相对逻辑》（1870）中选择。在个人主义方面，应该记住两个区别。逻辑原子或不能进行逻辑除法的术语必须是每个谓词都可以…继续阅读→

发布于 C.S.皮尔斯,演绎,个人主义,数学基础,身份,信息=理解×扩展,逻辑,亲属逻辑,数学演示,数学,关系理论 | 已标记 ,,,,,,,,,, | 5条评论

数学证明与个人主义

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

从C.S.皮尔士的《相对论的逻辑》（1870）中选出的所谓数学证明是基于特定情况的假设。几何家画一个图形；代数学家假设一个字母表示满足所需条件的单个量。  …继续阅读→

发布于 C.S.皮尔斯,演绎,个人主义,数学基础,身份,信息=理解×扩展,逻辑,亲属逻辑,数学演示,数学,关系理论 | 已标记 ,,,,,,,,,, | 5条评论

关系理论•讨论5

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

回复：关系理论综述回复：Ontolog论坛•Ravi Sharma RS：是否也尝试整合这些关系概念？就像关系的元模型？亲爱的Ravi，我之前还没有接触过元模型的概念…继续阅读→

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

关系理论•讨论4

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

回复：关系理论综述回复：Ontolog论坛•Ravi Sharma RS：是否也尝试整合这些关系概念？就像关系的元模型？亲爱的拉维，谢谢你的提问。我相信我会同意…继续阅读→

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

范畴理论先驱综述•3

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

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

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

关系理论综述•6

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

在这篇关于关系理论的博客和wiki文章的综述中，关系是从组合学的角度来看的，换句话说，作为离散数学的一个主题，特别关注有限结构和具体的集合论结构，许多…继续阅读→

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