类别档案：通用

范畴理论先驱综述•5

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

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

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

范畴理论先驱综述•4

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

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

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

范畴理论先驱综述•3

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

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

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

范畴理论先驱综述•2

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

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

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

范畴理论先驱综述•1

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

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

发布于 抽象,阿克曼,类比,亚里士多德,C.S.皮尔斯,卡纳普,范畴理论,图表,二元关系,等式推理,表格,数学基础,功能逻辑,希尔伯特,数学史,实体抽象,康德,逻辑,亲属逻辑,数学,皮尔斯,命题作为类型类比,关系理论,莱恩,符号学,签署关系,调查,三位一体关系,类型理论,通用 | 已标记 ,,,,,,,,,,,,,,,,,,,,,,,,,,,,, | 18条评论

甲骨文

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

从计算的角度看，科学从更广泛的角度来看，都涉及到看似有限的东西与看似不有限的东西之间的关系。无论你是否相信神性，无论你是否认为人性中蕴含着神性的火花…继续阅读→

发布于 通信,可计算性,计算,查询,甲骨文,相对可计算性,科学类,通用 | 已标记 ,,,,,,, | 2评论