类别档案：希尔伯特

范畴理论的先驱•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评论

范畴理论先驱综述•4

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

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

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

范畴理论先驱综述•3

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

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

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

范畴理论先驱•讨论3

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

在《伟大的曼陀罗》中占据你的位置，因为它在你短暂的时间里移动。现在赢或输，你必须现在选择。如果你输了，你只会失去你的生命。Peter Yarrow Re:Ontolog论坛•Alex…继续阅读→

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