标志的标志•4

重新:迈克尔·哈里斯语言关于语言

但随后,我不可避免地会想,一个证明助理,甚至一个正式系统,是否能够区分“技术”和“基本”问题。似乎没有逻辑上的区别。形式主义的答案可能涉及算法复杂性,但我不认为这对这个问题有任何帮助。唯物主义者的回答(通常是)相当于简单的故事,涉及达尔文、大草原上的狮子、大象,或者至少是猛犸象。我也不觉得这些很令人满意,我宁愿在两者之间找到一些东西,如果能证明(在我不知道什么正式制度中)做出这种区分的能力需要欣赏音乐,我会觉得自己是对的。

皮尔士建议区分推论的理论上的在我看来,数学推理与迈克尔·哈里斯寻求的区别类似技术的基本的问题。

我不能说我对这条线是如何画的有很多见解,但我记得许多传统都指向定理与观察对象和实践有关,这些对象和实践的细节深度总是无法通过任何数量的局部视图进行全面说明。

关于音乐,我只有这个附带的东西-

🙞裂痕和腐烂

也许需要一个数字理论家来理解它…

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

2对的回应标志的标志•4

  1. 关于音乐方面,爱德华·罗斯斯坦在他的《心灵的象征》中提到了这一点。这并不是对这个问题的回答,而是对这个问题更详细的思考。但是,至少这表明哈里斯并不是唯一对此感到怀疑的人。

    • 我得调查一下。当然,古人——中国人、希腊人,尤其是毕达哥拉斯人——对数学和音乐的血缘关系有很多话要说,但对我的tin-ear来说,这些话大多过于神谕。

留下评论

此网站使用Akismet来减少垃圾邮件。了解如何处理您的评论数据