逻辑中的形式语言
Formal languages in logic
Catarina Dutilh Novaes · 初版 2012 年
- 2次提及
- 1人推荐
- 2位 HN 评论者
简介
“逻辑学中的形式语言 形式语言被广泛视为首要的数学对象，并因而在逻辑学探究中催生出更高水平的精确性与技术复杂性。然而，仅仅以此种方式定义形式语言，对于其使用（以及形式体系在其他领域的更广泛运用）所产生的实际影响，只能提供部分且局限的解释。在本书中，Catarina Dutilh Novaes对形式语言采取了宽泛得多的理解，从而更广泛地探究当理论家使用这些工具时，究竟发生了什么
Hacker News 读者推荐
试试卡塔琳娜·杜蒂尔·诺瓦埃斯的《逻辑中的形式语言：哲学与认知分析》（Formal Languages in Logic: A Philosophical and Cognitive Analysis）。这可能是我读过该领域最棒的著作了，GitHub 列表里的书我基本都看过了。我那本的 md5sum 是 6d62f3c0a63242a318ddd691d3974cd2，……
gue5t 在 HN 的推荐
找书
数据整理自 Hacker News 公开评论，数据来源 hackerbooks.org 与 Open Library。