月度档案：2015年5月

标志的标志•4

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

回复：Michael Harris•关于语言的语言但是我不可避免地会想，一个证明助理，甚至一个正式的系统，是否能够区分“技术”和“基本”问题。似乎没有逻辑上的区别。…继续阅读→

发布于 美学,C.S.皮尔斯,范畴理论,连贯性,通信,内涵,表格,形式语言,数学基础,高阶命题,错觉,问询处,信息论,查询,调查调查,解释,解释性框架,直觉,语言,逻辑,数学,音乐,目标框架,客观主义,皮尔斯,数学哲学,布拉马塔,语用学,实用主义,递归,反射,裂谷和腐烂,语义学,符号学,集合理论,签署关系,语法,翻译,三位一体关系,类型理论 | 已标记 ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, | 2评论

标志的标志•3

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

回复：迈克尔·哈里斯•关于语言的语言如果我们不这样做，谁会把我们拒之门外？一个人对这个问题的回答，或者至少是最初的回答，将取决于他对正式现实的感受。据我所知，现实…继续阅读→

发布于 美学,范畴理论,连贯性,通信,内涵,表格,形式语言,数学基础,高阶命题,错觉,问询处,信息论,查询,调查调查,解释,解释性框架,直觉,语言,逻辑,数学,目标框架,客观主义,皮尔斯,哲学,数学哲学,布拉马塔,语用学,实用主义,递归,反射,语义学,符号学,集合理论,签署关系,语法,翻译,三位一体关系,类型理论 | 已标记 ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, | 留下评论

标志的标志•2

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

回复：Michael Harris•Language About Language I将数学比作“合意幻觉”，比如虚拟现实，我继续认为目的是（合意地）让幻觉成为第二天性。我…继续阅读→

发布于 美学,范畴理论,连贯性,通信,内涵,表格,形式语言,数学基础,高阶命题,错觉,问询处,信息论,查询,调查调查,解释,解释性框架,直觉,语言,逻辑,数学,目标框架,客观主义,皮尔斯,哲学,数学哲学,布拉马塔,语用学,实用主义,递归,反射,语义学,符号学,集合理论,签署关系,语法,翻译,三位一体关系,类型理论 | 已标记 ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, | 留下评论

标志的标志•1

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

回复：Michael Harris•语言关于语言有一种语言和相应的文献将逻辑和数学视为沟通和信息收集的相关物种，即通过一生的努力传递给我们的语用符号学传统…继续阅读→

发布于 美学,范畴理论,连贯性,通信,内涵,表格,形式语言,数学基础,高阶命题,错觉,问询处,信息论,查询,调查调查,解释,解释性框架,直觉,语言,逻辑,数学,目标框架,客观主义,皮尔斯,哲学,数学哲学,布拉马塔,语用学,实用主义,递归,反射,语义学,符号学,集合理论,签署关系,语法,翻译,三位一体关系,类型理论 | 已标记 ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, | 留下评论

动画逻辑图•9

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

回复：Ken Regan•The Shapes of Computations为理论领域找到简洁公理集所需的洞察力属于溯及推理或溯及推理的范畴，这是一种尚难对付计算攻击的诀窍，但…继续阅读→

发布于 安切克,阿尼马塔,布尔代数,布尔函数,C.S.皮尔斯,仙人掌图形,约束满足问题,演绎,图解推理,二元性,等式推理,图论,形式法则,逻辑,逻辑图,数学,最小否定算子,模型理论,彩绘仙人掌,皮尔斯,证明理论,命题微积分,命题方程推理系统,斯宾塞·布朗,定理证明,可视化 | 已标记 ,,,,,,,,,,,,,,,,,,,,,,,,, | 8评论

动画逻辑图•8

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

关于：Ken Regan•The Shapes of Computations我所知的“原始洞察力证明”（PIP❢）最引人注目的例子是Dawes–Utting证明命题逻辑的CSP–GSB公理中的双重否定定理。有一个…继续阅读→

发布于 安切克,阿尼马塔,布尔代数,布尔函数,C.S.皮尔斯,仙人掌图形,约束满足问题,演绎,图解推理,二元性,等式推理,图论,形式法则,逻辑,逻辑图,数学,最小否定算子,模型理论,彩绘仙人掌,皮尔斯,证明理论,命题微积分,命题方程推理系统,斯宾塞·布朗,定理证明,可视化 | 已标记 ,,,,,,,,,,,,,,,,,,,,,,,,, | 9评论

动画逻辑图•7

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

关于：Ken Regan•The Shapes of Computations有几个关于计算形状和证明风格的问题，它们已经在布尔函数和命题演算的逻辑基础层面上引起了人们的注意。据我所见，有…继续阅读→

发布于 安切克,阿尼马塔,布尔代数,布尔函数,C.S.皮尔斯,仙人掌图形,约束满足问题,演绎,图解推理,二元性,等式推理,图论,形式法则,逻辑,逻辑图,数学,最小否定算子,模型理论,彩绘仙人掌,皮尔斯,证明理论,命题微积分,命题方程推理系统,斯宾塞·布朗,定理证明,可视化 | 已标记 ,,,,,,,,,,,,,,,,,,,,,,,,, | 9评论

主题一计划概览•1

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

这是一份关于我在20世纪80年代参与的主题一计划的博客和维基帖子的调查。目的是开发基本算法和数据结构，以支持集成的学习和推理接口…继续阅读→

发布于 算法,阿尼马塔,人工智能,布尔函数,C.S.皮尔斯,仙人掌图形,认知,计算,约束满足问题,数据结构,微分逻辑,等式推理,形式语言,图论,查询驱动系统,形式法则,学习理论,逻辑,逻辑图,数学,最小否定算子,彩绘仙人掌,皮尔斯,命题微积分,符号学,斯宾塞·布朗,可视化 | 已标记 ,,,,,,,,,,,,,,,,,,,,,,,,,, | 留下评论

信息符号学理论综述

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

这是对以前关于信息符号学理论的博客和维基帖子的调查。我所有的项目在本质上都是探索性的，但这种探索比大多数项目都更加开放。问题是：什么是信息以及如何…继续阅读→

发布于 绑架,C.S.皮尔斯,通信,控制,控制论,演绎,确定,发现,怀疑,认识论,信仰的固定,归纳,问询处,信息=理解×扩展,信息论,查询,查询驱动系统,调查调查,解释,发明,知识,学习理论,逻辑,亲属逻辑,科学的逻辑,数学,皮尔斯,哲学,科学哲学,实用信息,可能推理,过程思维,关系理论,科学调查,科学方法,精神病学,精神病学,符号学信息,符号学,符号关系流形,签署关系,调查,三位一体关系,不确定性 | 已标记 ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, | 留下评论

关系理论综述•1

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

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

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