标签档案：逻辑

主题一计划•激励4

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

从Zipf定律和“与频率成反比的事物”这一类别中，我第一次接触到这样的想法：跟踪使用频率是构建高效代码的重要组成部分。在其首次应用中…继续阅读→

发布于 算法,阿尼马塔,人工智能,布尔函数,C.S.皮尔斯,仙人掌图形,计算,计算复杂性,控制论,数据结构,微分逻辑,表格,形式语言,图论,查询,查询驱动系统,智能系统,形式法则,学习,逻辑,逻辑图,数学,最小否定算子,彩绘仙人掌,皮尔斯,语用学,编程,命题微积分,命题方程推理系统,推理,语义学,符号学,签署关系,斯宾塞·布朗,语法,可视化 | 已标记 ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, | 1条评论

主题一计划•激励3

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

大约在1970年左右，约翰·B·尤伦伯格（John B.Eulenberg）从斯坦福大学（Stanford）来到密歇根州立大学（Michigan State）人工语言实验室（Artificial Language Lab）执导，我在那里度过了许多有趣的时光，一直到70年代和80年代。实验室的研究计划…继续阅读→

发布于 算法,阿尼马塔,人工智能,布尔函数,C.S.皮尔斯,仙人掌图形,计算,计算复杂性,控制论,数据结构,微分逻辑,表格,形式语言,图论,查询,查询驱动系统,智能系统,形式法则,学习,逻辑,逻辑图,数学,最小否定算子,彩绘仙人掌,皮尔斯,语用学,编程,命题微积分,命题方程推理系统,推理,语义学,符号学,签署关系,斯宾塞·布朗,语法,可视化 | 已标记 ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, | 1条评论

主题一计划•激励2

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

十年来致力于主题一项目的一个副作用是，它让我了解了为什么经验主义者和理性主义者在相互理解方面如此困难，即使这些人…继续阅读→

发布于 算法,阿尼马塔,人工智能,布尔函数,C.S.皮尔斯,仙人掌图形,计算,计算复杂性,控制论,数据结构,微分逻辑,表格,形式语言,图论,查询,查询驱动系统,智能系统,形式法则,学习,逻辑,逻辑图,数学,最小否定算子,彩绘仙人掌,皮尔斯,语用学,编程,命题微积分,命题方程推理系统,推理,语义学,符号学,签署关系,斯宾塞·布朗,语法,可视化 | 已标记 ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, | 1条评论

主题一计划•激励1

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

Theme One程序的主要思想是在“学习”和“推理”任务中有效地使用图形理论数据结构。我正在考虑从学习环境的意义上学习，本质上是获取有关……的信息…继续阅读→

发布于 算法,阿尼马塔,人工智能,布尔函数,C.S.皮尔斯,仙人掌图形,计算,计算复杂性,控制论,数据结构,微分逻辑,表格,形式语言,图论,查询,查询驱动系统,智能系统,形式法则,学习,逻辑,逻辑图,数学,最小否定算子,彩绘仙人掌,皮尔斯,语用学,编程,命题微积分,命题方程推理系统,推理,语义学,符号学,签署关系,斯宾塞·布朗,语法,可视化 | 已标记 ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, | 1条评论

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